Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Gerhard_Gentzen> }
Showing triples 1 to 97 of
97
with 100 triples per page.
- Paul_Bernays doctoralStudent Gerhard_Gentzen.
- Gentzen wikiPageRedirects Gerhard_Gentzen.
- Gentzenian wikiPageRedirects Gerhard_Gentzen.
- Gentzenization wikiPageRedirects Gerhard_Gentzen.
- Gerhard_Karl_Erich_Gentzen wikiPageRedirects Gerhard_Gentzen.
- Gerhard_gentzen wikiPageRedirects Gerhard_Gentzen.
- 1909 wikiPageWikiLink Gerhard_Gentzen.
- 1909_in_science wikiPageWikiLink Gerhard_Gentzen.
- 1945_in_science wikiPageWikiLink Gerhard_Gentzen.
- Analytic_proof wikiPageWikiLink Gerhard_Gentzen.
- Bergen_auf_Rügen wikiPageWikiLink Gerhard_Gentzen.
- Charles_University_in_Prague wikiPageWikiLink Gerhard_Gentzen.
- Curry–Howard_correspondence wikiPageWikiLink Gerhard_Gentzen.
- Cut-elimination_theorem wikiPageWikiLink Gerhard_Gentzen.
- Deaths_of_philosophers wikiPageWikiLink Gerhard_Gentzen.
- Disjunction_and_existence_properties wikiPageWikiLink Gerhard_Gentzen.
- Double-negation_translation wikiPageWikiLink Gerhard_Gentzen.
- Epsilon_numbers_(mathematics) wikiPageWikiLink Gerhard_Gentzen.
- Evert_Willem_Beth wikiPageWikiLink Gerhard_Gentzen.
- Expulsion_of_Germans_from_Czechoslovakia wikiPageWikiLink Gerhard_Gentzen.
- Formal_semantics_(logic) wikiPageWikiLink Gerhard_Gentzen.
- Foundations_of_mathematics wikiPageWikiLink Gerhard_Gentzen.
- Gentzen wikiPageWikiLink Gerhard_Gentzen.
- Gentzenian wikiPageWikiLink Gerhard_Gentzen.
- Gentzenization wikiPageWikiLink Gerhard_Gentzen.
- Gentzens_consistency_proof wikiPageWikiLink Gerhard_Gentzen.
- Gerhard_Karl_Erich_Gentzen wikiPageWikiLink Gerhard_Gentzen.
- Gerhard_gentzen wikiPageWikiLink Gerhard_Gentzen.
- Goodsteins_theorem wikiPageWikiLink Gerhard_Gentzen.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Gerhard_Gentzen.
- Halting_problem wikiPageWikiLink Gerhard_Gentzen.
- Herbrands_theorem wikiPageWikiLink Gerhard_Gentzen.
- Hilberts_problems wikiPageWikiLink Gerhard_Gentzen.
- Hilberts_program wikiPageWikiLink Gerhard_Gentzen.
- Hilberts_second_problem wikiPageWikiLink Gerhard_Gentzen.
- History_of_logic wikiPageWikiLink Gerhard_Gentzen.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Gerhard_Gentzen.
- Intuitionistic_logic wikiPageWikiLink Gerhard_Gentzen.
- LJ wikiPageWikiLink Gerhard_Gentzen.
- Large_countable_ordinal wikiPageWikiLink Gerhard_Gentzen.
- List_of_Georg-August_University_of_Göttingen_people wikiPageWikiLink Gerhard_Gentzen.
- List_of_Nazis_(F–K) wikiPageWikiLink Gerhard_Gentzen.
- List_of_logicians wikiPageWikiLink Gerhard_Gentzen.
- List_of_mathematical_logic_topics wikiPageWikiLink Gerhard_Gentzen.
- List_of_mathematicians_(G) wikiPageWikiLink Gerhard_Gentzen.
- List_of_multiple_discoveries wikiPageWikiLink Gerhard_Gentzen.
- List_of_philosophers_(D–H) wikiPageWikiLink Gerhard_Gentzen.
- List_of_philosophers_born_in_the_20th_century wikiPageWikiLink Gerhard_Gentzen.
- Logic wikiPageWikiLink Gerhard_Gentzen.
- Logical_Investigations wikiPageWikiLink Gerhard_Gentzen.
- Logical_connective wikiPageWikiLink Gerhard_Gentzen.
- Logical_harmony wikiPageWikiLink Gerhard_Gentzen.
- Logical_quality wikiPageWikiLink Gerhard_Gentzen.
- Ludics wikiPageWikiLink Gerhard_Gentzen.
- Mathematical_logic wikiPageWikiLink Gerhard_Gentzen.
- Metamath wikiPageWikiLink Gerhard_Gentzen.
- Natural_deduction wikiPageWikiLink Gerhard_Gentzen.
- November_1909 wikiPageWikiLink Gerhard_Gentzen.
- Ordinal_analysis wikiPageWikiLink Gerhard_Gentzen.
- Paul_Bernays wikiPageWikiLink Gerhard_Gentzen.
- Paul_Lorenzen wikiPageWikiLink Gerhard_Gentzen.
- Peano_axioms wikiPageWikiLink Gerhard_Gentzen.
- Proof-theoretic_semantics wikiPageWikiLink Gerhard_Gentzen.
- Proof_calculus wikiPageWikiLink Gerhard_Gentzen.
- Proof_procedure wikiPageWikiLink Gerhard_Gentzen.
- Proof_theory wikiPageWikiLink Gerhard_Gentzen.
- Propositional_calculus wikiPageWikiLink Gerhard_Gentzen.
- Quantifier_(logic) wikiPageWikiLink Gerhard_Gentzen.
- Quantum_information wikiPageWikiLink Gerhard_Gentzen.
- Relevance_logic wikiPageWikiLink Gerhard_Gentzen.
- Sequent wikiPageWikiLink Gerhard_Gentzen.
- Sequent_calculus wikiPageWikiLink Gerhard_Gentzen.
- Stanisław_Jaśkowski wikiPageWikiLink Gerhard_Gentzen.
- Structural_proof_theory wikiPageWikiLink Gerhard_Gentzen.
- System_L wikiPageWikiLink Gerhard_Gentzen.
- Table_of_mathematical_symbols_by_introduction_date wikiPageWikiLink Gerhard_Gentzen.
- Takeutis_conjecture wikiPageWikiLink Gerhard_Gentzen.
- Universal_instantiation wikiPageWikiLink Gerhard_Gentzen.
- Paul_Bernays doctoralStudents Gerhard_Gentzen.
- ?PPN=GDZPPN002042649 isCitedBy Gerhard_Gentzen.
- books?vid=ISBN0-7204-2254-X isCitedBy Gerhard_Gentzen.
- books?vid=ISBN3-7643-6574-9 isCitedBy Gerhard_Gentzen.
- books?vid=ISBN978-0-8218-3550-0 isCitedBy Gerhard_Gentzen.
- 356c89d559dee7ff0e9f8b7d1cb2be3befe2ba4de11ecdbf435a4a362ee3386b isCitedBy Gerhard_Gentzen.
- 58219a4496f05b3226046a0ee82d07ef8d0a249005d275cc2c9d872552178e71 isCitedBy Gerhard_Gentzen.
- 7a16b737e69c50b1dda542a031bcc5283a4bef1b9de921b74a7d965ff0237c02 isCitedBy Gerhard_Gentzen.
- af9f880db7d9cccb36d35b7b96c11b5f466938d7274135812d8a894f6b25ab13 isCitedBy Gerhard_Gentzen.
- bf01180425 isCitedBy Gerhard_Gentzen.
- bf01201353 isCitedBy Gerhard_Gentzen.
- bf01201363 isCitedBy Gerhard_Gentzen.
- bf01448897 isCitedBy Gerhard_Gentzen.
- bf01564760 isCitedBy Gerhard_Gentzen.
- bf01565428 isCitedBy Gerhard_Gentzen.
- bf02015370 isCitedBy Gerhard_Gentzen.
- bf02015371 isCitedBy Gerhard_Gentzen.
- s0002-9904-1939-07067-5 isCitedBy Gerhard_Gentzen.
- Gerhard_Gentzen primaryTopic Gerhard_Gentzen.