Anne S. Troelstra's Documents

Anne S. Troelstra's Documents

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
Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)
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
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

Basic Proof Theory
Read more
Basic proof theory

Basic proof theory
Read more
Basic proof theory

Basic proof theory
Read more
Principles of Intuitionism

Principles of Intuitionism
Read more
From Colony to Nation: Women Activists and the Gendering of Politics in Belize, 1912-1982 (Engendering Latin America)

From Colony to Nation: Women Activists and the Gendering of Politics in Belize, 1912-1982 (Engendering Latin America)
Read more
Assessing Fitness for Military Enlistment: Physical, Medical, And Mental Health Standards

Assessing Fitness for Military Enlistment: Physical, Medical, And Mental Health Standards
Read more
China's Domestic Private Firms: Multidisciplinary Perspectives on Management And Performance

China's Domestic Private Firms: Multidisciplinary Perspectives on Management And Performance
Read more
Channa

Channa
Read more
Mitochondrial Function: Mitochondrial Protein Kinases, Protein Phosphatases and Mitochondrial Diseases

Mitochondrial Function: Mitochondrial Protein Kinases, Protein Phosphatases and Mitochondrial Diseases
Read more
The City Who Fought

The City Who Fought
Read more
L.E.J.Brouwer Centenary Symposium Proceedings

L.E.J.Brouwer Centenary Symposium Proceedings
Read more
Model Theory

Model Theory
Read more
Exit to Eden

Exit to Eden
Read more
The Partnering Imperative: Making Business Partnerships Work

The Partnering Imperative: Making Business Partnerships Work
Read more
The Partnering Imperative: Making Business Partnerships Work

The Partnering Imperative: Making Business Partnerships Work
Read more
Exit to Eden

Exit to Eden
Read more
Exit to Eden

Exit to Eden
Read more
Exit to Eden

Exit to Eden
Read more
Imaging of Gynecological Disorders in Infants and Children

Imaging of Gynecological Disorders in Infants and Children
Read more
Imaging of Gynecological Disorders in Infants and Children

Imaging of Gynecological Disorders in Infants and Children
Read more
Environmental Monitoring for Cleanrooms and Controlled Environments

Environmental Monitoring for Cleanrooms and Controlled Environments
Read more