close
1.

電子ブック
ＥＢ
1. The Selected Correspondence of L.E.J. Brouwer
by Dirk Dalen
出版情報: London : Springer-Verlag London Limited, 2011
シリーズ名: Sources and Studies in the History of Mathematics and Physical Sciences ;
オンライン: http://dx.doi.org/10.1007/978-0-85729-537-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Logicism, Intuitionism, and Formalism : What has Become of Them?
edited by Vincent F. Hendricks, John Symons, Dirk Dalen, Theo A.F. Kuipers, Teddy Seidenfeld, Patrick Suppes, Jan WoleńSki, Sten Lindström, Erik Palmgren, Krister Segerberg, Viggo Stoltenberg-Hansen
出版情報: Dordrecht : Springer Netherlands, 2009
シリーズ名: Synthese Library, Studies In Epistemology. Logic, Methodology, and Philosophy of Science ; 341
オンライン: http://dx.doi.org/10.1007/978-1-4020-8926-8
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. Logic and Structure. 5th ed. 2013
by Dirk Dalen
出版情報: London : Springer London : Imprint: Springer, 2013
シリーズ名: Universitext ;
オンライン: http://dx.doi.org/10.1007/978-1-4471-4558-5
所蔵情報: loading…
目次情報: 続きを見る
Introduction
Propositional Logic
Predicate Logic
Completeness and Applications
Second Order Logic
Intuitionistic Logic
Normalization
Gödel's theorem
Introduction
Propositional Logic
Predicate Logic
4.

電子ブック
ＥＢ
4. L.E.J. Brouwer – Topologist, Intuitionist, Philosopher : How Mathematics Is Rooted in Life
by Dirk Dalen
出版情報: London : Springer London : Imprint: Springer, 2013
オンライン: http://dx.doi.org/10.1007/978-1-4471-4616-2
所蔵情報: loading…
目次情報: 続きを見る
Child and Student
Mathematics and Mysticism
The Dissertation.-Cantor-Schoenflies Topology
The New Topology
Making a Career
The War Years
Mathematics after the War
Politics and Mathematics
The Breakthrough
The Fathers of Dimension
Progress, Recognition, and Frictions
From Berlin to Vienna
The Three Battles
The Thirties
War and Occupation
Post-War Events
The Restless Emeritus
Child and Student
Mathematics and Mysticism
The Dissertation.-Cantor-Schoenflies Topology