Anne S. Troelstra

Anne S. Troelstra's books

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

3.91 avg rating — 11 ratings

Lectures on Linear Logic (Volume 29) (Lecture Notes)

3.33 avg rating — 3 ratings

Bibliography of Natural History Travel Narratives

really liked it 4.00 avg rating — 2 ratings

Choice Sequences: A Chapter of Instuitionistic Mathematics

it was amazing 5.00 avg rating — 1 rating

Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)

0.00 avg rating — 0 ratings

Principles of Intuitionism: Lectures presented at the Summer Conference on Intuitionism and Proof Theory (1968) at SUNY at Buffalo, NY (Lecture Notes in Mathematics, 95)

0.00 avg rating — 0 ratings

Constructivism in Mathematics, Vol 1 (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121)

0.00 avg rating — 0 ratings

Kolibries in de oren

0.00 avg rating — 0 ratings

Tijgers op de Ararat

0.00 avg rating — 0 ratings

Provability, Computability and Reflection

0.00 avg rating — 0 ratings