图书信息：
0次推荐
5次浏览
0次下载
| 书名： | Studies in Logic and the Foundations of Mathematics | |
|---|---|---|
| 作者： | ||
| 出版时间： | 2017-01-01 | |
| ISBN： | 9780444702111 (P-ISBN) | |
| 摘要： | ||
| 摘要： | ||
书目详情：
Copyright PageDedicationPrefaceList of LecturesMessage Du Directeur General De L'organisation Des Nations Unies Pour L'education, La Science Et La Culture A L'occasion De La Reunion De L'association De Logique Symbolique. (Orsay, juillet 1985)Jean Van Heijenoort (1912–1986)La Mouche Dans La Bouteille (En mémoire de Jean van Heijenoort, Institut Henri Poincaré, 14 mai 1986)J. v. H. (En mémoire de Jean van Heijenoort, Institut Henri Poincaré, 14 mai 1986)Almost Strongly Minimal Totally Categorical TheoriesOn Lascar Rank in Non-Multidimensional ω-Stable Theories“Geometrical” Stability TheoryHomogeneous Directed Graphs. The Imprimitive CaseProofs of Partial Correctness for Iterative and Recursive ComputationsSystème et Métasystème Chez RussellConcepts Mathématiques et Informatiques Formalisés dans le Calcul des ConstructionsArithmetical Truth and Hidden Higher-Order ConceptsSome Proof-Theoretic Contributions to Theories of SetsLogic and Conceptual Relationships in MathematicsΠ2-Models of Extensions of Kripke-Platek Set TheoryWeakly Normal GroupsA Propos De Groupes StablesLogique Et Géométrie Algébrique RéelleSome Aspects of Categorical Semantics: Sheaves and GlueingCritéres D'Indépendence D'Équations Diophantiennes De Fragments De L'Arithmétique
评论：
