عنوان
پدید آورنده
موضوع
رده
QA 9 .G5313 1986
QA
9
.
G5313
1986
کتابخانه
محل استقرار
101739
90736
151605
بهار۴۷
English
)20(
Godel, Kurt
Collected works
Oxford ]Oxfordshire[
Clarendon Press, Oxford University Press
1986-)1990 (
v. : port. ; 25 cm
German text, parallel English translation
Includes bibliographies and indexes
Contents: v. 1. Publications 9291-6391 -- v. 2. Publications, 8391-4791
Works. English & German. 5891
، Logic, Symbolic and mathematical
QA
9
.
G5313
1986
AU
Kurt Godel ; editors, Solomon Feferman ... ]et al.[
AU nomoloS ,namrefeF
TI
02
02
02
