تحميل...

Completeness,compactness and undecidability /

التفاصيل البيبلوغرافية
المؤلف الرئيسي: Manaster,A.B
التنسيق: Printed Book
اللغة:English
منشور في: New Jersey Prentice -Hall 1975
سلاسل:Introduction to mathematical logic
LEADER 00522nam a22001457a 4500
008 100416t xxu||||| |||| 00| 0 eng d
080 |a 510.633  |b MAN 
100 |a Manaster,A.B.  |9 6018 
245 |a Completeness,compactness and undecidability /  |c A.B.Manaster 
260 |a New Jersey  |b Prentice -Hall  |c 1975 
300 |a vi,154 p. 
490 |a Introduction to mathematical logic 
942 |c BK  |6 _ 
999 |c 219485  |d 219485 
952 |0 0  |1 0  |4 0  |6 510633_MAN  |7 0  |9 284091  |a MAT  |b MAT  |d 2010-04-16  |o 510.633 MAN  |p MAT00297  |r 2010-04-16  |t 1  |w 2010-04-16  |y BK