ロード中...

Completeness,compactness and undecidability an introduction to mathematical logic

書誌詳細
第一著者: Manaster,Alfred B
フォーマット: Printed Book
言語:English
出版事項: New Delhi Prentice Hall of India 1978
主題:
LEADER 00564nam a22001577a 4500
005 20160820112653.0
008 091201t xxu||||| |||| 00| 0 eng d
082 |a 51:16  |b MAN 
100 |a Manaster,Alfred B  |9 6497 
245 |a Completeness,compactness and undecidability  |b an introduction to mathematical logic 
300 |a vi,154p. 
653 |a mathematical logic 
942 |c BK  |6 _ 
260 |a New Delhi  |b Prentice Hall of India  |c 1978 
999 |c 174218  |d 174218 
952 |0 0  |1 0  |2 ddc  |4 0  |6 5116_MAN  |7 0  |9 225797  |a DAE  |b DAE  |d 2009-12-01  |o 51:16 MAN  |p ECO05132  |r 2016-08-20  |w 2016-08-20  |y BK