A Mathematical Introduction to Logic by Herbert B. Enderton, Herbert Enderton

A Mathematical Introduction to Logic



Download eBook




A Mathematical Introduction to Logic Herbert B. Enderton, Herbert Enderton ebook
Page: 330
Publisher: Academic Press
ISBN: 0122384520, 9780122384523
Format: pdf


Ash C.J, Crossley J.N., & williams N. - Handbook of Mathematical Logic. Research in mathematical logic has contributed to, and been motivated by, the study of foundations of mathematics, but mathematical logic also contains areas of pure mathematics not directly related to foundational questions. San Diego: Harcourt/Academic Press, 2001. One unifying theme in mathematical logic is the study of the expressive power of formal . A Mathematical Introduction to Logic. The following is exercise 1.1.2 of "A Mathematical Introduction to Logic", by Herbert Enderton: Show that there are no [well-formed formulas] of length 2, 3, or 6, but that any other positive length is possible. Copi, Cohen C.- Introduction to logic. H .- What is mathematical logic. A problem course in mathematical logic (v1.6).

Links:
The Eye: Basic Sciences in Practice download