Matches in DBpedia 2016-04 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".