D. van Dalen – författare
Visar alla böcker från författaren D. van Dalen. Handla med fri frakt och snabb leverans.
9 produkter
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 …
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 …
Logic Colloquium '80
Av D. Lascar, T.J. Smiley m. fl.
E-bok, 2009
237 kr
Lägg i varukorg
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 under the auspices of the …
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 …
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 …
Brouwer's Cambridge Lectures on Intuitionism
Av Luitzen Egbertus Jan Brouwer, D. van Dalen
Häftad, 2011
667 kr
Lägg i varukorg
Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but …
Sets: Naive, Axiomatic and Applied
A Basic Compendium with Exercises for Use in Set Theory for Non Logicians, Working and Teaching Mathematicians and Students
Av H. De Swart, H. C. Doets m. fl.
E-bok, 2014
807 kr
Lägg i varukorg
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 of set theory. Applications of …
Sets and integration An outline of the development
Av D. van Dalen
E-bok, 2012
734 kr
Lägg i varukorg
The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on ''History of Contemporary Mathematics''. The need for such an enterprise was generally felt, since the curriculum at many universities is designed to suit an …
Sets and integration An outline of the development
Av D. van Dalen
Häftad, 2011
552 kr
Lägg i varukorg
The present text resulted from lectures given by the authors at the Rijks Universiteit at Utrecht. These lectures were part of a series on 'History of Contemporary Mathematics'. The need for such an enterprise was generally felt, since the curriculum at many universities is designed to suit an …
