Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db author "Andrews, Peter".
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db edition "2".
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db isCitedBy Second-order_logic.
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db publisher "Kluwer Academic Publishers".
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db title "An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof".
- c59b4322b11fc0aada009fd5b3e7d3a7673a78aeb658315e1a0c22f65c6b09db year "2002".