1.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED200

Binding:	Paperback
Release:	01 Jan 1969
Language:	English

International Edition

Ships within 10-12 Days Explain..

2.

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

By: Anne S. Troelstra

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED235

Binding:	Paperback
Release:	14 Nov 1973
Language:	English

Available

Ships within 14-16 Days Explain..

3.

Constructivism in Mathematics, Vol 2

By: A.S. Troelstra, D. Van Dalen

Publisher: Elsevier Science & Technology

No Review Yet

AED221

Binding:	Hardback
Release:	01 Nov 1988
Language:	English

Available

Ships within 14-16 Days Explain..

4.

Basic Proof Theory

By: H. Schwichtenberg, A. S. Troelstra

Publisher: Cambridge University Press

No Review Yet

AED299

Binding:	Paperback
Release:	27 Jul 2000
Language:	English

International Edition

Ships within 10-12 Days Explain..

5.

Bibliography of Natural History Travel Narratives

By: Anne S. Troelstra

Publisher: KNNV Uitgeverij

No Review Yet

AED741

Binding:	Hardback
Release:	17 Jan 2017
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

6.

Constructivism in Mathematics

By: Anne S Troelstra, Van Dalen D

Publisher: Elsevier Science & Technology

No Review Yet

AED69

Binding:	Digital (delivered electronically)
Release:	01 Dec 1999

Out of Stock

Notify me when this book is in stockNotify Me

7.

Harvey Friedman's Research on the Foundations of Mathematics

By: A Cedrov, Barwise Troelstra, L a Harrington, M D Morley, S G Simpson

Publisher: North-Holland

No Review Yet

AED61

Binding:	Digital (delivered electronically)
Release:	01 Nov 1985

Out of Stock

Notify me when this book is in stockNotify Me

8.

Basic Proof Theory

By: H. Schwichtenberg, A. S. Troelstra

Publisher: Cambridge University Press

No Review Yet

AED0

Binding:	Digital download and online
Release:	27 Jul 2000
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

9.

Omega-Bibliography of Mathematical Logic

By: Anne S. Troelstra, Jane E. Kister, Dirk Van Dalen, Gert H. Muller

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

AED561

Binding:	Hardback
Release:	31 Dec 1987
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

10.

Choice Sequences

By: A. S. Troelstra

Publisher: Oxford University Press

No Review Yet

AED62

Binding:	Hardback
Release:	/05/1977
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

11.

Principles of Intuitionism

By: Anne S Troelstra

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

12.

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

By: Anne S Troelstra

Publisher: Springer

No Review Yet

AED88

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

13.

Bibliography of Natural History Travel Narratives

By: Anne S. Troelstra

Publisher: Brill

No Review Yet

AED885

Binding:	Digital download
Release:	01 Jun 2017
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

14.

Logical Frameworks for Truth and Abstraction

By: S Artemov, A Cantini, J Barwise, H J Kiesler, A S Troelstra (Universiteit van Amsterdam)

Publisher: North-Holland

No Review Yet

AED34

Binding:	Digital (delivered electronically)
Release:	01 Jan 1996

Out of Stock

Notify me when this book is in stockNotify Me

15.

Constructivism in Mathematics

By: D Van Dalen, Anne S Troelstra, A S Troelstra, Lev D Beklemishev, Van Dalen D

Publisher: Elsevier Science & Technology

No Review Yet

AED769

Binding:	Digital (delivered electronically)
Release:	14 May 2014
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

16.

Constructivism in Mathematics Vol.1

By: D Van Dalen, Anne S Troelstra, A S Troelstra

Publisher: Elsevier Science

No Review Yet

AED302

Binding:	Digital (delivered electronically)
Release:	09 May 2014

Out of Stock

Notify me when this book is in stockNotify Me

17.

L.E.J.Brouwer Centenary Symposium Proceedings

By: Dirk Van Dalen, A. S. Troelstra

Publisher: Elsevier Science & Technology

No Review Yet

AED336

Binding:	Hardback
Release:	/11/1982

Out of Stock

Notify me when this book is in stockNotify Me

Refine your Search

Availability

Shipping Time

Source

Binding

Language

Publication Year

Filter