Logic, Meaning and Computation
Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library)
by Alonzo Church and C. Anthony Anderson
- 0 Ratings
- 1 Want to read
- 0 Currently reading
- 0 Have read
This edition doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Symbolic and mathematical LogicShowing 4 featured editions. View all 4 editions?
| Edition | Availability |
|---|---|
1
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
2012, Springer London, Limited
in English
9401005265 9789401005265
|
zzzz
Libraries near you:
WorldCat
|
2
Logic, Meaning and Computation: Essays in Memory of Alonzo Church
Oct 21, 2012, Ingramcontent, Springer
paperback
9401038910 9789401038911
|
zzzz
Libraries near you:
WorldCat
|
3
Logic, Meaning and Computation : Essays in Memory of Alonzo Church (Synthese Library, 305) (Synthese Library)
December 1, 2001, Springer
Hardcover
in English
- 1 edition
140200141X 9781402001413
|
aaaa
Libraries near you:
WorldCat
|
|
4
Logic, meaning, and computation: essays in memory of Alonzo Church
2001, Kluwer Academic Publishers
in English
140200141X 9781402001413
|
zzzz
Libraries near you:
WorldCat
|
Book Details
First Sentence
"Crispin Wright (1983) articulates a position he calls "number-theoretic logicism [1]", the claim that arithmetic is derivable from logic in the strong sense that: it is possible to so define arithmetic concepts in terms of logical ones so that every statement of number-theory has a content preserving transcription in terms of a purely logical vocabulary, and every axiom or theorem of number theory can be so transcribed into a theorem of logic."
The Physical Object
ID Numbers
Source records
Community Reviews (0)
Feedback?
History
- Created April 30, 2008
- 6 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
| April 9, 2019 | Edited by MARC Bot | import existing book |
| April 6, 2014 | Edited by ImportBot | Added IA ID. |
| April 24, 2010 | Edited by Open Library Bot | Fixed duplicate goodreads IDs. |
| April 16, 2010 | Edited by bgimpertBot | Added goodreads ID. |
| April 30, 2008 | Created by an anonymous user | Imported from amazon.com record |