Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/S0049-237X(09)70129-6> ?p ?o }
Showing triples 1 to 18 of
18
with 100 triples per page.
- S0049-237X(09)70129-6 chapter "The effective topos".
- S0049-237X(09)70129-6 doi "10.1016/S0049-237X70129-6".
- S0049-237X(09)70129-6 editor1First "A. S.".
- S0049-237X(09)70129-6 editor1Last "Troelstra".
- S0049-237X(09)70129-6 editor2First "D. van".
- S0049-237X(09)70129-6 editor2Last "Dalen".
- S0049-237X(09)70129-6 first1 "J. M. E.".
- S0049-237X(09)70129-6 isCitedBy Effective_topos.
- S0049-237X(09)70129-6 isbn "978-0-444-86494-9".
- S0049-237X(09)70129-6 last1 "Hyland".
- S0049-237X(09)70129-6 location "Amsterdam".
- S0049-237X(09)70129-6 mr "717245".
- S0049-237X(09)70129-6 pages "165–216".
- S0049-237X(09)70129-6 publisher "North-Holland".
- S0049-237X(09)70129-6 series "Studies in Logic and the Foundations of Mathematics".
- S0049-237X(09)70129-6 title "The L.E.J. Brouwer Centenary Symposium".
- S0049-237X(09)70129-6 volume "110".
- S0049-237X(09)70129-6 year "1982".