Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Dag_Prawitz> }
Showing triples 1 to 17 of
17
with 100 triples per page.
- Curry–Howard_correspondence wikiPageWikiLink Dag_Prawitz.
- Dag_(name) wikiPageWikiLink Dag_Prawitz.
- Formal_semantics_(logic) wikiPageWikiLink Dag_Prawitz.
- Index_of_philosophy_articles_(D–H) wikiPageWikiLink Dag_Prawitz.
- Jean-Yves_Girard wikiPageWikiLink Dag_Prawitz.
- List_of_logicians wikiPageWikiLink Dag_Prawitz.
- List_of_mathematicians_(P) wikiPageWikiLink Dag_Prawitz.
- List_of_members_of_the_Norwegian_Academy_of_Science_and_Letters_(current) wikiPageWikiLink Dag_Prawitz.
- Natural_deduction wikiPageWikiLink Dag_Prawitz.
- Normal_form_(natural_deduction) wikiPageWikiLink Dag_Prawitz.
- Parameter wikiPageWikiLink Dag_Prawitz.
- Per_Martin-Löf wikiPageWikiLink Dag_Prawitz.
- Proof-theoretic_semantics wikiPageWikiLink Dag_Prawitz.
- Proof_theory wikiPageWikiLink Dag_Prawitz.
- Structural_proof_theory wikiPageWikiLink Dag_Prawitz.
- Theoria_(philosophy_journal) wikiPageWikiLink Dag_Prawitz.
- Dag_Prawitz primaryTopic Dag_Prawitz.