Tag: A. S. Troelstra

Constructivism in Mathematics: An Introduction (Volume 121) (Studies in Logic and the Foundations of Mathematics, Volume 121) 1st Edition by A.S. Troelstra (PDF)

Mathematical
  Ebook Info Published: 1988 Number of pages: 376 pages Format: PDF File Size: 34.90 MB Authors: A.S....
Read more

Lectures on Linear Logic (Lecture Notes Book 29) by A. S. Troelstra (PDF)

Mathematical
  Ebook Info Published: 2015 Number of pages: 210 pages Format: PDF File Size: 5.72 MB Authors: A....
Read more

Constructivism in Mathematics, Vol 2 (ISSN Book 123) 1st Edition by A. S. Troelstra (PDF)

Science
  Ebook Info Published: 2014 Number of pages: 129 pages Format: PDF File Size: 6.83 MB Authors: A....
Read more

Choice Sequences: A Chapter of Intuitionistic Mathematics by A. S. Troelstra (PDF)

  Ebook Info Published: 1977 Number of pages: Format: PDF File Size: 10.37 MB Authors: A. S....
Read more

Basic Proof Theory (Cambridge Tracts in Theoretical Computer Science, Series Number 43) 2nd Edition by A. S. Troelstra (PDF)

Computer
  Ebook Info Published: 2000 Number of pages: 432 pages Format: PDF File Size: 12.56 MB Authors: A....
Read more

Advertisement

spot_img