A. S. Troelstra

May 9, 2014

Constructivism in Mathematics Vol.1

Jan 1, 2014

Constructivism in Mathematics Vol.2 (Constructivism in Mathematics, #2)

Sep 5, 1996

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science)

Jun 15, 1992

Lectures on Linear Logic (Center for the Study of Language and Information Publication Lecture Notes, #29)

Nov 1, 1988

Constructivism in Mathematics, Vol 2 (Studies in Logic and the Foundations of Mathematics)

Aug 1, 1988

Constructivism in Mathematics (Studies in Logic and the Foundations of Mathematics)

Jul 1, 1988

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

May 1977

Choice Sequences (Oxford Logic Guides)