Refine your search
Availability
-
Authors
- Anglin, W.S. (2)
- Baaz, Matthias...[et... (1)
- Beaney, Michael (1)
- Colyvan, Mark (2)
- Dales, H.G. (1)
- Feng, D.H....[et al.... (1)
- George, Alexander (1)
- Gila, Hanna (1)
- Gold, Bonnie (1)
- Grattan-Guinness, I. (1)
- Hart, W.D. (1)
- Hartimo, Mirja (1)
- Heller, Michael (1)
- Hersh, Reuben (3)
- Polkinghorne, John (1)
- Putnam, Hilary (2)
- Russell, Bertrand (2)
- Schirn, Matthias (2)
- Tieszen, Richard L. (1)
- Show more
- Show less
-
Item types
- Books (93)
- Reference Books (1)
-
Locations
-
Series
- Advances in computer... (1)
- ANSI /IEEE std. 680-... (1)
- Avebury series in ph... (1)
- BSI 7259 : 1989 (1)
- Cambridge Introducti... (1)
- De Gruyter Textbook (1)
- Design Automation se... (1)
- Historical studies s... (1)
- History of sience, p... (1)
- ISI 10026 : part - 3... (1)
- ISI S 8576 : 1977 (2)
- Lecture notes in com... (1)
- Logic and computatio... (1)
- Oxford handbooks in ... (1)
- Oxford readings in p... (1)
- Oxford studies in ph... (1)
- Phenomenologica ; 19... (1)
- Philosophical issues... (1)
- Vienna circle collec... (1)
- Show more
- Show less
-
Topics
- Computable functions... (2)
- Fourth dimension (1)
- Intuition (2)
- Logic (3)
- Logic, Symbolic and ... (5)
- Logic, Symbolic and ... (2)
- Mathematics (29)
- Mathematics-History (5)
- Mathematics-Philosop... (52)
- Mathematics-Philosop... (4)
- Mathematics-Philosop... (4)
- Mathematics-Philosop... (2)
- Mathematics-Philosop... (1)
- Mathematics-Philosop... (1)
- Mathematics-Study an... (1)
- Natural Sciences (2)
- Philosophy (2)
- Proof theory , Mathe... (2)
- Science-Philosophy (3)
- Show more
- Show less