Mathematical logic

New York: Springer Verlag (1976)
  Copy   BIBTEX

Abstract

" There are 31 chapters in 5 parts and approximately 320 exercises marked by difficulty and whether or not they are necessary for further work in the book.

Categories

Keywords

Reprint years

Call number

QA9.M68

ISBN(s)

0387901701

DOI

10.2307/2273743

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,733

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Mathematical logic.John Sidney Turner - 1928 - Ames, Ia.: Collegiate Press.
Mathematical logic.Alan Mathison Turing - 2001 - New York: Elsevier Science. Edited by R. O. Gandy & C. E. M. Yates.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
Mathematical Logic.I︠U︡riĭ Leonidovich Ershov & Evgeniĭ Andreevich Pali︠u︡tin - 1984 - Mir.
Mathematical logic.Reuben Louis Goodstein - 1957 - [Leicester, Eng.]: Leicester University Press.
Mathematical logic.Daniel Ponasse - 1973 - New York,: Gordon and Breach Science Publishers.
Mathematical Logic.Mariko Yasugi - 1967 - Journal of Symbolic Logic 35 (3):438-440.
Mathematical Logic.E. A. Palyutin - 1986 - Journal of Symbolic Logic 51 (3):829-829.
Mathematical Logic.Ian Chiswell & Wilfrid Hodges - 2008 - Bulletin of Symbolic Logic 14 (2):265-267.

Analytics

Added to PP
2009-01-28

Downloads
66 (#317,230)

6 months
6 (#833,792)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Against Fregean Quantification.Bryan Pickel & Brian Rabern - 2023 - Ergo: An Open Access Journal of Philosophy 9 (37):971-1007.
Scientific progress.Ilkka Niiniluoto - 1980 - Synthese 45 (3):427 - 462.
Logicism, Interpretability, and Knowledge of Arithmetic.Sean Walsh - 2014 - Review of Symbolic Logic 7 (1):84-119.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.

View all 49 citations / Add more citations

References found in this work

No references found.

Add more references