Gerhard Gentzen
at
DBpedia LatAm
http://es-la.dbpedia.org/resource/Gerhard_Gentzen
Back to Gerhard Gentzen
Is
dbpedia-owl:
wikiPageWikiLink
of
dbpedia-latam:
Armonía_lógica
dbpedia-latam:
Conectiva_lógica
dbpedia-latam:
Consecuente
dbpedia-latam:
Deducción_natural
dbpedia-latam:
Expulsión_de_alemanes_de_Checoslovaquia
dbpedia-latam:
Lógica_de_primer_orden
dbpedia-latam:
Lógica_matemática
dbpedia-latam:
Metamatemática
dbpedia-latam:
Problemas_de_Hilbert
dbpedia-latam:
Programa_de_Hilbert
dbpedia-latam:
Teoría_de_la_demostración