A. S. Troelstra's Documents

A. S. Troelstra's Documents

Constructivism in mathematics: An introduction

Constructivism in mathematics: An introduction
Read more
History of Constructivism in the 20th Century

History of Constructivism in the 20th Century
Read more
Constructivism in Mathematics: An Introduction

Constructivism in Mathematics: An Introduction
Read more
Lectures on Linear Logic

Lectures on Linear Logic
Read more
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Read more
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
Read more
Basic Proof Theory

Basic Proof Theory
Read more
Basic proof theory

Basic proof theory
Read more
Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)

Basic Proof Theory, 2nd Edition (Cambridge Tracts in Theoretical Computer Science, Volume 43)
Read more
Basic proof theory

Basic proof theory
Read more
Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968

Principles of Intuitionism. Lectures Summer Conference on Intuitionism and Proof Theory, 1968
Read more
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Read more
Principles of Intuitionism

Principles of Intuitionism
Read more
Steel Pen Trade 1930-1980 Used with permission All rights reserved

Steel Pen Trade 1930-1980 Used with permission All rights reserved
Read more
Cursed

Cursed
Read more
Cursed

Cursed
Read more
L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings
Read more
Mathematics and the 21st century: proceedings of the international conference, Cairo, Egypt, 15-20 January 2000

Mathematics and the 21st century: proceedings of the international conference, Cairo, Egypt, 15-20 January 2000
Read more
Mathematics and the 21st Century: Proceedings of the International Conference, Cairo, Egypt, 15-20 January 2000

Mathematics and the 21st Century: Proceedings of the International Conference, Cairo, Egypt, 15-20 January 2000
Read more
No title

No title
Read more
Portrait of a Lady

Portrait of a Lady
Read more
The Children's Book

The Children's Book
Read more
The Bronze Man

The Bronze Man
Read more
Wolf's Cross

Wolf's Cross
Read more
Schiffsjunge Pietro

Schiffsjunge Pietro
Read more
The Princess And The Curse

The Princess And The Curse
Read more
Ionization and Absorption Effects in the Electric Furnace

Ionization and Absorption Effects in the Electric Furnace
Read more
Satellite and Typhoon - Eye to Eye (Science for Everyone)

Satellite and Typhoon - Eye to Eye (Science for Everyone)
Read more
Leviathan Wakes

Leviathan Wakes
Read more
The Children's Book

The Children's Book
Read more