- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Troelstra, A. S.

Showing 1 - 8 of 8 results

Search Results

Cover image for Constructivism in Mathematics

Constructivism in Mathematics

by Troelstra, A. S.
1988
Format: Electronic

Location
Access Content Online

Cover image for The L.E.J. Brouwer Centenary Symposium

The L.E.J. Brouwer Centenary Symposium

by L.E.J. Brouwer Centenary Symposium
1982
Format: Electronic

Location
Access Content Online

Cover image for Basic proof theory

Basic proof theory

by Troelstra, A. S.
1996
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.54 .T76 1996	✔ Available

Cover image for Principles of intuitionism

Principles of intuitionism

by Troelstra, A. S.
1969
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA3 .L28 NO. 95	✔ Available

Cover image for Metamathematical investigation of intuitionistic arithmetic and analysis

Metamathematical investigation of intuitionistic arithmetic and analysis

by Troelstra, A. S.
1973
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA3 .L28 NO. 344	✔ Available

Cover image for Choice sequences

Choice sequences

by Troelstra, A. S.
1977
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.47 .T77	✔ Available

Cover image for Constructivism in Mathematics

Constructivism in Mathematics

by Troelstra, A. S.
1988
Format: Electronic

Location
Access Content Online

Cover image for Basic proof theory

Basic proof theory

by Troelstra, A. S.
2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA9.54 .T76 2000	✔ Available