Télécharger le livre :  Constructivism in Mathematics, Vol 2
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...

Editeur : Elsevier Science
Parution : 2014-06-28
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Sets: Naïve, Axiomatic and Applied
Sets: Naïve, Axiomatic and Applied is a basic compendium on naïve, axiomatic, and applied set theory and covers topics ranging from Boolean operations to union, intersection, and relative complement as well as the reflection principle, measurable cardinals, and models...

Editeur : Pergamon
Parution : 2014-05-09
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Logic Colloquium '80
The papers appearing in this volume are part of those originally intended for presentation at the conference: Logic Colloquium '80 - European Summer Meeting of the Association for Symbolic Logic (A.S.L.) which was to takeplace in Prague, August 24·30, 1980, principally...

Editeur : North Holland
Parution : 2009-06-05
PDF sans DRM

19,99

Téléchargement immédiat
Dès validation de votre commande
Télécharger le livre :  Constructivism in Mathematics, Vol 1
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...

Editeur : Elsevier Science
Parution : 1988-07-01
PDF sans DRM

57,97

Téléchargement immédiat
Dès validation de votre commande