By Troelstra A.S.   in Theoretical Computer Science

ISSN:0304-3975|211|1|233-252

Elsevier‎(1999)‎

Access to resources Favorite 15.839182

By Troelstra A.S.   in Studia Logica

ISSN:0039-3215|62|2|291-303

Springer Publishing Company ‎(1999)‎

Access to resources Favorite 15.839182

Bibliography of Natural History Travel Narratives‎

By Troelstra Anne S.  

ISBN:9789004343788

Brill‎(2017)‎

Access to resources Favorite 2.8007286

Constructivism in Mathematics, Vol 1‎

By Troelstra   A. S.;Dalen   D. van  

ISBN:9780080570884

Elsevier Science‎(1988)‎

Access to resources Favorite 2.4506376

Constructivism in Mathematics, Vol 2‎

By Troelstra   A. S.;Dalen   D. van  

ISBN:9780080955100

Elsevier Science‎(2014)‎

Access to resources Favorite 2.4506376