Loading...

Completeness, compactness and undecidability: an introduction to mathematical logic/

Bibliographic Details
Main Author: Manaster, Alfred B
Format: Printed Book
Language:English
Published: Prentice Hall, 1978.
LEADER 00443nam a2200109Ia 4500
008 120707s9999 xx 000 0 eng d
100 |a Manaster, Alfred B 
245 0 |a Completeness, compactness and undecidability: an introduction to mathematical logic/ 
260 |b Prentice Hall,  |c 1978. 
942 |c BK 
999 |c 131201  |d 131201 
952 |0 0  |1 0  |4 0  |6 03_000000000000000_MAN  |7 0  |9 145067  |a MAT  |b MAT  |c ST1  |d 2012-07-10  |i 1222  |l 0  |o 03 MAN  |p MAT1222  |r 2013-08-01  |w 2013-08-01  |y BK