Sökt på: Sökresultat
totalt 4 träffar
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 …
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, …