Sökt på: Böcker av D. Van Dalen
totalt 11 träffar
Brouwer's Cambridge Lectures on Intuitionism
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 …
Sets and integration An outline of the development
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'. …
In Pursuit of Holiness
Dr. van Dalen, teaching from a Messianic perspective, attempts to convince the Sunday-Observing part of the Body of Messiah (The Church with Capital "e;C"e;), that …
Sets: Naive, Axiomatic and Applied
Sets: Naive, Axiomatic and Applied is a basic compendium on naive, axiomatic, and applied set theory and covers topics ranging from Boolean operations to union, intersection, and …
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 …
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 …
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, …
Constructivism in Mathematics
Sets and integration An outline of the development
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'. …
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 …
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, …