2 research outputs found
The Interplay Between Logic and Mathematics: Intuitionism
- Author
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1981
- Field of study
The Confluence of Ideas in 1936
- Author
- A Church
- A Church
- A Church
- A Church
- A Church
- A Church
- A Hodges
- A Hyman
- A.M. Turing
- AM Turing
- AM Turing
- ARed Anderson
- B Randell
- C.A. Smorynski
- CA Smorynski
- D Hilbert
- D Hilbert
- D Hilbert
- D Stein
- D. Hilbert
- DR Hartrec
- E.L. Post
- E.L. Post
- EL Post
- EL Post
- FP Ramsey
- GH Hardy
- GP Baker
- H Behmann
- H Schwichtenberg
- H Wang
- H.B. Curry
- H.B. Curry
- Hao Wang
- HB Curry
- J Heijenoort van
- J Herbrand
- J Ketonen
- J Neumann von
- JB Rosser
- JB Harrington,^L Paris
- JC Shepherdson
- JME Hyland
- JNed Crossley
- JR Lucas
- JW Dawson
- K Gödel
- K Schütte
- Ked Reidemeister
- L Löwenheim
- L Wittgenstein
- LEJ Brouwer
- LF Menabrea
- M Davis
- M Dehn
- M Schönfinkel
- MHA Newman
- P Bernays
- P Engelmann
- RO Gandy
- S Feferman
- S.C. Kleene
- S.C. Kleene
- S.C. Kleene
- S.C. Kleene
- S.C. Kleene
- SA Kripke
- SC Kleene
- SC Kleene
- SC Kleene
- TA Skolem
- V Bush
- W Ackermann
- W Ackermann
- WS McCulloch
- Publication venue
- 'Springer Science and Business Media LLC'
- Publication date
- 01/01/1995
- Field of study