Dirk van Dalen
Autor(a) de Logic and Structure
About the Author
Obras de Dirk van Dalen
L.E.J. Brouwer - Topologist, Intuitionist, Philosopher: How Mathematics Is Rooted in Life (2012) 11 cópias
Mystic, geometer, and intuitionist. The life of L.E.J. Brouwer, 1881-1966. Vol. 2, Hope and disillusion (2005) 5 cópias
The L.E.J. Brouwer Centenary Symposium. Proceedings of the conference held in Noordwijkerhout, 8-13 June, 1981 (1982) — Editor — 5 cópias
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer Volume 1: The Dawning Revolution (1999) 5 cópias
Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic (1982) 3 cópias
Sets : naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians,… (1978) 3 cópias
Sets: Naïve, axiomatic, and applied : a basic compendium with exercises for use in set theory for non logicians, (1975) 3 cópias
Logic and Foundations of Mathematics 2 cópias
Associated Works
Etiquetado
Conhecimento Comum
- Data de nascimento
- 1932-12-20
- Sexo
- male
- Nacionalidade
- Netherlands
- Local de nascimento
- Amsterdam, Netherlands
- Locais de residência
- Amsterdam, Netherlands
- Educação
- University of Amsterdam
- Ocupação
- mathematician
historian of science - Organizações
- University of Utrecht
- Agente
- Academy Medal of the Royal Dutch Academy of Sciences (2003)
Membros
Resenhas
Logic and Structure de Dirk van Dalen
This book is exceedingly dense and very high on formalisms, and I'd say more for a grad course, or at least upper level honors undergrad. It is comprehensive and concise no doubt, but it is one of those books where the author "leaves things as an exercise to the reader" in crucial proofs. Only after having read other introductions to set theory, advanced mathematics, and logic books first would I approach this book.
You May Also Like
Associated Authors
Estatísticas
- Obras
- 18
- Also by
- 1
- Membros
- 192
- Popularidade
- #113,797
- Avaliação
- 3.8
- Resenhas
- 1
- ISBNs
- 37
- Idiomas
- 3