عنوان
پدید آورنده
موضوع
رده
QA 9 .L5 1990
QA
9
.
L5
1990
کتابخانه
محل استقرار
English
Logic and computer science
Harcourt
Academic Pr.
1990
430 p.
The APIC series v.13
Includes bibliographical references
edited by Piergiorgio Odifreddi
1
، Logic, Symbolic and mathematical
، Computer science
QA
9
.
L5
1990
CA
510
s
TI
AU Odifreddi, Piergiorgio 1950-
SE
