Search - List of Books by A. S. Troelstra

Total Books: 11
Basic Proof Theory
2000 - Basic Proof Theory [Cambridge Tracts in Theoretical Computer Science] (Paperback)Hardcover
ISBN-13: 9780521779111
ISBN-10: 0521779111
Genres: Computers & Technology, Science & Math, Medicine, Engineering & Transportation
  ?

Basic Proof Theory
1996 - Basic Proof Theory [Cambridge Tracts in Theoretical Computer Science] (Hardcover)Paperback
ISBN-13: 9780521572231
ISBN-10: 0521572231
Genres: Computers & Technology, Science & Math, Engineering & Transportation, Substores
  ?

Basic Proof Theory
1996 - Basic Proof Theory [Cambridge Tracts in Theoretical Computer Science] (Hardcover)
ISBN-13: 9781417940271
ISBN-10: 1417940271
Genre: Religion & Spirituality
  ?

Lectures on Linear Logic
1992 - Lectures on Linear Logic [Center for the Study of Language and Information - Lecture Notes] (Paperback)Hardcover
ISBN-13: 9780937073773
ISBN-10: 0937073776
Genres: Nonfiction, Science & Math, Engineering & Transportation
  ?

Lectures on Linear Logic
1992 - Lectures on Linear Logic [Center for the Study of Language and Information - Lecture Notes] (Hardcover)Paperback
ISBN-13: 9780937073780
ISBN-10: 0937073784
Genres: Nonfiction, Science & Math, Engineering & Transportation
  ?

Constructivism in Mathematics Vol 2
1988 - Constructivism in Mathematics Vol 2 [Studies in Logic and the Foundations of Mathematics] (Hardcover)
ISBN-13: 9780444703583
ISBN-10: 0444703586
  ?

Constructivism in Mathematics  Constructivism in Mathematics Volume 1
1988 - Constructivism in Mathematics Constructivism in Mathematics Volume 1 (Paperback)
ISBN-13: 9780444705068
ISBN-10: 0444705066
  ?

Constructivism in Mathematics An Introduction
1988 - Constructivism in Mathematics an Introduction [Volume 1 - Studies in Logic and the Foundations of Mathematics] (Hardcover)
ISBN-13: 9780444702661
ISBN-10: 0444702660
  ?