عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
3211826467
370919394X
9783211826461
9783709193945
b587796
Collegium Logicum.
[Book]
Kurt Gödel Society.
Vienna
Springer Vienna
1995
(VII, 122 pages 2 illustrations)
Collegium Logicum, Annals of the Kurt-Gödel-Society,, 1.
P. Vihan: The Last Month of Gerhard Gentzen in Prague. --; F.A. Rodríguez-Consuegra: Some Issues on Gödel's Unpublished Philosophical Manuscripts. --; D.D. Spalt: Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie. --; E. Engeler: Existenz und Negation in Mathematik und Logik. --; W.J. Gutjahr: Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse. --; R. Hähnle: Automated Deduction and Integer Programming. --; M. Baaz, A. Leitsch: Methods of Functional Extension.
Computer science.
Computer software.
Mathematics.
Kurt Gödel Society.
Kurt Gödel Society.
مطالعه متن کتاب [Book]
Y
