A.S. Troelstra – författare

Visar alla böcker från författaren A.S. Troelstra. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Constructivism in Mathematics, Vol 1

   Av D. van Dalen, A.S. Troelstra

   E-bok, 1988

   789 kr

   Lägg i varukorg

   These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov''s constructivism and Martin-Lof''s type theory with its …

2. 

   Constructivism in Mathematics, Vol 2

   Av D. van Dalen, A.S. Troelstra

   E-bok, 2014

   781 kr

   Lägg i varukorg

   Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras.The publication first takes a look at the topology of metric …

3. 

   Constructivism in Mathematics, Vol 1

   Av A.S. Troelstra, D. van Dalen

   Inbunden, 1988

   724 kr

   Lägg i varukorg

   These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational …

4. 

   Constructivism in Mathematics, Vol 2

   Av A.S. Troelstra, D. van Dalen

   Inbunden, 1988

   822 kr

   Lägg i varukorg

   Studies in Logic and the Foundations of Mathematics, Volume 123: Constructivism in Mathematics: An Introduction, Vol. II focuses on various studies in mathematics and logic, including metric spaces, polynomial rings, and Heyting algebras. The publication first takes a look at the topology of metric …