Limit this search to....

  (4 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Basic Proof Theory Revised Edition (Cambridge Tracts in Theoretical Computer Science (Paperback))Troelstra, Anne S.Paperback0521779111 /
9780521779111		07/2000$58.89
Constructivism in Mathematics, Vol 1: Volume 121 (Studies in Logic and the Foundations of Mathematics)Troelstra, A. S.Hardcover0444702660 /
9780444702661		07/1988$222.75
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis 1973 Edition (Lecture Notes in Mathematics)Troelstra, Anne S.Paperback3540064915 /
9783540064916		11/1973$66.49
Principles of Intuitionism: Lectures Presented at the Summer Conference on Intuitionism and Proof Theory (1968) at Suny at Buffalo, NY 1969 Edition (Lecture Notes in Mathematics)Troelstra, Anne S.Paperback3540046143 /
9783540046141		01/1969$37.95
  (4 items found)