Matches in DBpedia 2016-04 for { <http://www.columbia.edu/~hg17/ViewMathLogic/view1-deductive-system.pdf> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- view1-deductive-system.pdf first "Haim".
- view1-deductive-system.pdf format "pdf".
- view1-deductive-system.pdf isCitedBy Hilbert_system.
- view1-deductive-system.pdf last "Gaifman".
- view1-deductive-system.pdf title "A Hilbert Type Deductive System for Sentential Logic, Completeness and Compactness.".
- view1-deductive-system.pdf url view1-deductive-system.pdf.