Matches in DBpedia 2016-04 for { <http://books.google.com/books?vid=ISBN9780198566519> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- books?vid=ISBN9780198566519 authorlink "Thomas Streicher".
- books?vid=ISBN9780198566519 booktitle "From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics".
- books?vid=ISBN9780198566519 date "2006".
- books?vid=ISBN9780198566519 first "Thomas".
- books?vid=ISBN9780198566519 isCitedBy Grothendieck_universe.
- books?vid=ISBN9780198566519 isbn "9780198566519".
- books?vid=ISBN9780198566519 last "Streicher".
- books?vid=ISBN9780198566519 pages "78–90".
- books?vid=ISBN9780198566519 publisher "Clarendon Press".
- books?vid=ISBN9780198566519 title "Universes in Toposes".
- books?vid=ISBN9780198566519 url UniTop.pdf.