Ditapis dengan
L.E.J. Brouwer topologist, intuitionist, philosopher : how mathematics is roo…
Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific break…
- Edisi
- 1
- ISBN/ISSN
- 9781447146162
- Deskripsi Fisik
- xii, 875 hlm.
- Judul Seri
- -
- No. Panggil
- E437
Logic and structure
Dirk van Dalen’s popular textbook Logic and Structure, now in its fifth edition, provides a comprehensive introduction to the basics of classical and intuitionistic logic, model theory and Gödel’s famous incompleteness theorem. Propositional and predicate logic are presented in an easy-to-read style using Gentzen’s natural deduction. The book proceeds with some basic concepts and facts …
- Edisi
- 5
- ISBN/ISSN
- 9781447145585
- Deskripsi Fisik
- x, 263 hlm.
- Judul Seri
- -
- No. Panggil
- E436
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah