Logica Universalis : Towards a General Theory of Logic
"I find this book extremely useful and important, because it signifies the arrival of a new renaissance in logic, a new revival not only of logic, but of the vision of logic as a unifying tool for science as a whole, including mathematics, physics, cosmology, computer science and AI. The book a...
محفوظ في:
| المؤلف الرئيسي: | Beziau, Jean-Yves |
|---|---|
| مؤلفون آخرون: | Béziau, Jean-Yves, 1965-...., logicien (المحرر) |
| التنسيق: | Livre numérique |
| اللغة: | Anglais |
| منشور في: |
Basel :
Birkhäuser Basel
[20..].
Cham : Springer Nature |
| الموضوعات: | |
| الوصول للمادة أونلاين: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| ملاحظة: |
L'impression du document génère 246 p. Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) Version numérique de la seconde édition |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logica universalis, towards a general theory of logic, Jean-Yves Beziau, editor, 2nd ed., Basel, Birkhäuer, 2007, 1 vol. (x-246 p.), 978-3-7643-8353-4 |
مواد مشابهة
-
Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers
(Livre papier)
Keisler, Howard Jerome, 1936-
North-Holland, 1971 -
The logic of information structures
(Livre numérique)
Wansing, Heinrich, 1963- -
Set theory and logic
(Livre papier)
Fraenkel, Abraham Adolf, 1891-1965
Addison-Wesley, 1966 -
First order categorical logic : model-theoretical methods in the theory of topoi and related categories
(Livre numérique)
Makkai, Mihály, 1939-, وآخرون -
Logic colloquium 76 : proceedings of a conference held in Oxford in July 1976
(Livre papier)
North-Holland publishing company, 1977

