Matches in DBpedia 2016-04 for { <https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-271.pdf> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- UCAM-CL-TR-271.pdf author "Lawrence Paulson".
- UCAM-CL-TR-271.pdf isCitedBy Cantors_theorem.
- UCAM-CL-TR-271.pdf page "14".
- UCAM-CL-TR-271.pdf publisher "University of Cambridge Computer Laboratory".
- UCAM-CL-TR-271.pdf title "Set Theory as a Computational Logic".
- UCAM-CL-TR-271.pdf url "https://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-271.pdf".
- UCAM-CL-TR-271.pdf year "1992".