Skip to contents

Troelstra, Anne S. [Editor]

Metamathematical investigation of intuitionistic arithmetic and analysis

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1973

Published in: Lecture notes in mathematics ; 344
Troelstra, Anne S. [Author]

Lectures on linear logic

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Menlo Park, Calif.: Center for the Study of Language and Information, 1992

Published in: Stanford University: CSLI lecture notes ; 29
Troelstra, Anne S. [Author] ; Summer Conference on Intuitionism and Proof Theory 1968 Buffalo, NY

Principles of intuitionism : lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, N.Y.

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1969

Published in: Lecture notes in mathematics ; 95
Troelstra, Anne S. [Author]; Schwichtenberg, Helmut [Author]

Basic proof theory - [2. ed.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge University Press, 2000

Published in: Cambridge tracts in theoretical computer science ; 43.2000
Troelstra, Anne S. [Author]; Schwichtenberg, Helmut [Author]

Basic proof theory

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge [u.a.]: Cambridge Univ. Press, 1996

Published in: Cambridge tracts in theoretical computer science ; 43
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author]

Constructivism in mathematics / 1

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1988

Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 1 - Studies in logic and the foundations of mathematics ; 121
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author]

Constructivism in mathematics / 2

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1988

Published in: Constructivism in mathematics / A. S. Troelstra; D. van Dalen ; 2 - Studies in logic and the foundations of mathematics ; 123
Troelstra, Anne S. [Author]; Dalen, Dirk van [Author]

Constructivism in mathematics : an introduction

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1988

Published in: Studies in logic and the foundations of mathematics ; .
Troelstra, Anne S. [Editor]; Dalen, Dirk van [Other]; Brouwer, Luitzen E. J. [Honoree] ; L. E. J. Brouwer Centenary Symposium 1981 Noordwijkerhout

The L. E. J. Brouwer Centenary Symposium : proceedings of the conference, held in Noordwijkerhout, 8 - 13 june, 1981

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam [u.a.]: North-Holland Publ. Comp., 1982

Published in: Studies in logic and the foundations of mathematics ; 11000
Troelstra, Anne S. [Compiler]

Bibliography of natural history travel narratives

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Zeist, The Netherlands: KNNV Publishing, 2016

Published in: Brill / Biology E-Books Online
Troelstra, Anne S. [Author]

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1973

Published in: Lecture notes in mathematics ; 344
Troelstra, Anne S. [Author]

Principles of Intuitionism : Lectures presented at the summer conference on Intuitionism and Proof theory (1968) at SUNY at Buffalo, N.Y

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1969

Published in: Lecture notes in mathematics ; 95
Schwichtenberg, Helmut [Contributor]; Troelstra, Anne S. [Contributor]

Mathematische Logik - [published Version]

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach-Walke : Mathematisches Forschungsinstitut Oberwolfach, 2002

Published in: Oberwolfach reports : OWR 18 (2002)
Felscher, Walter [Editor]; Schwichtenberg, Helmut [Editor]; Troelstra, Anne S. [Editor]

Mathematische Logik : 02.04. - 08.04.1995

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach-Walke: Mathematisches Forschungsinstitut, 1995 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1995,13
Felscher, Walter [Editor]; Schwichtenberg, Helmut [Editor]; Troelstra, Anne S. [Editor]

Mathematische Logik : 12.4. bis 18.04.1992

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach: Math. Forschungsinst., 1992 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1992,16
Felscher, Walter [Editor]; Schwichtenberg, Helmut [Editor]; Troelstra, Anne S. [Editor]

Mathematische Logik : 16.12. bis 22.12.1990

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach: Math. Forschungsinst., 1990 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1990,55
Felscher, Walter [Editor]; Schwichtenberg, Helmut [Editor]; Troelstra, Anne S. [Editor]

Mathematische Logik : 6.11. bis 12.11.1988

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach: Math. Forschungsinst., 1988 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1988,47
Felscher, Walter [Editor]; Schwichtenberg, Helmut [Editor]; Troelstra, Anne S. [Editor]

Mathematische Logik : 19.4. bis 25.4.1987

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach, 1987 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1987,17
Müller, Gert H. [Editor]; Troelstra, Anne S. [Editor]

Intuitionistische Metamathematik : 27.1. bis 2.2.1974

View online
Schließen

Access

More information on the full text

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Oberwolfach: Math. Forschungsinst., 1974 ; Online-Ausg.: Oberwolfach: Math. Forschungsinst., 2009

Published in: Mathematisches Forschungsinstitut Oberwolfach: Tagungsbericht ; 1974,5
Troelstra, Anne S. [Other]; Dalen, Dirk van [Other]

Constructivism in mathematics : Volume 1 ; an introduction

View online
Schließen

Access

http://www.sciencedirect.com/science/bookseries/0049237X/121

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Amsterdam: North-Holland, 1988

Published in: Studies in logic and the foundations of mathematics ; v. 121

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication