Completeness, compactness, and undecidability : an introduction to mathematical logic
Alfred B. Manaster
Bok Engelsk 1975
| Utgitt | Englewood Cliffs, N.J. : Prentice-Hall , [1975]
|
|---|---|
| Omfang | vi, 154 s.
|
| Opplysninger | Bibliography: p. 149-150.. - Includes index.
|
| Emner | |
| ISBN | 0131646249
|
