Besonderhede van voorbeeld: -8158931370707246209

English

Löb did research on proof theory, modal logic and computability theory.

Spanish

Löb hizo investigaciones en teoría de la demostración, lógica modal y teoría de la computabilidad.