Tools

LEADER 01158cam 2200337 i 4500

001 ocm01091724;

005 20141212135608.0;

008 741003s1975 nju b 001 0 eng ;

010 a| 74022481;

020 a| 0131646249 :c| $12.00;

035 a| (Sirsi) o01091724;

035 a| (OCoLC)1091724;

040 a| DLCc| DLCd| EREd| UtOrBLW;

049 a| ERE*;

050 00 a| QA9b| .M294;

082 0 a| 511/.3;

100 1 a| Manaster, Alfred B.,d| 1938-=| ^A64814;

245 10 a| Completeness, compactness, and undecidability :b| an introduction to mathematical logic /c| Alfred B. Manaster.;

260 a| Englewood Cliffs, N.J. :b| Prentice-Hall,c| [1975];

300 a| vi, 154 pages ;c| 24 cm;

336 a| text2| rdacontent;

337 a| unmediated2| rdamedia;

338 a| volume2| rdacarrier;

500 a| Includes index.;

504 a| Bibliography: p. 149-150.;

650 0 a| Logic, Symbolic and mathematical.=| ^A15706;

650 0 a| Predicate calculus.=| ^A30206;

919 a| BOOK;

596 a| 1;

998 a| 69199;

999 a| QA9 .M294w| LCc| 1i| 310372000768486d| 1/31/2013l| JGESm| JOYNERq| 1r| Ys| Yt| JGESBKu| 3/13/1986x| BOOKz| JSTACKSo| .STAFF. 0o| .STAFF. Copy Statement : c.1;

Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster.

Author/creator	Manaster, Alfred B., 1938-
Format	Book
Publication Info	Englewood Cliffs, N.J. : Prentice-Hall, [1975]
Description	vi, 154 pages ; 24 cm
Subjects	Logic, Symbolic and mathematical. Predicate calculus.

General note	Includes index.
Bibliography note	Bibliography: p. 149-150.
LCCN	74022481
ISBN	0131646249 :

Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster.

Click here for more information about this title