Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
    See More
  • General Material Designation
    See More
  • Location
    See More
  • Language
    See More
Found 3 from your keywords: author=A. S. Troelstra
cover
Choice Sequences: A Chapter of Intuitionistic Mathematics
Comment Share
A. S. Troelstra

A work on intuitionistic mathematics focusing on the theory of choice sequences, published in Oxford in 1977.

Edition
Not available
ISBN/ISSN
-
Collation
Not available
Series Title
Not available
Call Number
515.242 T 843
cover
STUDIES IN LOGIC AND THE FOUNDATION OF MATHEMATICS
Comment Share
H. J. KEISLER.A. MOSTOWSKI,A. ROBINSON,P. SUPPES,A. S. TROELSTRA,

Edition
-
ISBN/ISSN
0 44 10545 X
Collation
-
Series Title
-
Call Number
-

Edition
-
ISBN/ISSN
0 44 10545 X
Collation
-
Series Title
-
Call Number
-
cover
Constructivism in Mathematics
Comment Share
A. S. Troelstra

Edition
-
ISBN/ISSN
0-444-70266-0
Collation
-
Series Title
-
Call Number
511.3/T 843

Edition
-
ISBN/ISSN
0-444-70266-0
Collation
-
Series Title
-
Call Number
511.3/T 843