عنوان
پدید آورنده
موضوع
رده
QA9 .C58 2006
QA9
.
C58
2006
کتابخانه
محل استقرار
3938793090 (hd.bd.)
9783938793091 (hd.bd.)
dltt
Church's Thesis after 70 years /
[Book]
Adam Olszewski, Jan Woleński, Robert Janusz (eds.)
New Brunswick, NJ :
Ontos,
2006
551 p. :
ill. ;
22 cm
Ontos mathematical logic ;
v. 1
Includes bibliographical references and index
Church's Thesis after seventy years
Church, Alonzo,1903-1995
Logic, Symbolic and mathematical
QA
QA9
.
C58
2006
Church, Alonzo,1903-1995
Janusz, Robert
Olszewski, Adam
Woleński, Jan
20080423000 000.0
مطالعه متن کتاب [Book]
Y
