Completeness, compactness, and undecidability : an introduction to mathematical logic /
Saved in:
| Author / Creator: | Manaster, Alfred B., 1938- |
|---|---|
| Imprint: | Englewood Cliffs, N.J. : Prentice-Hall, [1975] |
| Description: | vi, 154 p. ; 24 cm. |
| Language: | English |
| Subject: | |
| Format: | Print Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/53433 |