Logica Universalis: Towards a General Theory of Logic 2e
Universal Logic is not a new logic, but a general theory of logics, considered as mathematical structures. The name was introduced about ten years ago, but the subject is as old as the beginning of modern logic. It was revived after the flowering of thousands of new logics during the last thirty years: there was a need for a systematic theory of logics to put some order in this chaotic multiplicity. The present book contains recent works on universal logic by first-class researchers from all around the world. The book is full of new and challenging ideas that will guide the future of this exciting subject. It will be of interest for people who want to better understand what logic is. It will help those who are lost in the jungle of heterogeneous logical systems to find a way. Tools and concepts are provided here for those who want to study classes of already existing logics or want to design and build new ones.
Yazar | Birkhäuser Basel; 2nd ed. 2007 basım |
---|---|
Yayın Evi | Birkhäuser Basel; 2nd ed. 2007 basım |
tarafından gönderildi | 2 Haziran 2010 |
ADDISON WESLEY 3 Ocak 2017 5 Ocak 2017 4 Ocak 2017 1 Ocak 1980 CreateSpace Independent Publishing Platform Osman Gürkan Kolektif Inigo Creations Kodlab Komisyon Independently Published Cengage Learning PRENTICE HALL Önder Teker 1 Ocak 2018 Documentation Team Pusula Yayıncılık; 1. baskı 18 Haziran 2018
indir okumak internet üzerinden
Baskı Detayları
Yazar | Birkhäuser Basel; 2nd ed. 2007 basım |
---|---|
İsbn 10 | 3764383534 |
İsbn 13 | 978-3764383534 |
Yayın Evi | Birkhäuser Basel; 2nd ed. 2007 basım |
Dil | İngilizce |
tarafından gönderildi Logica Universalis: Towards a General Theory of Logic 2e | 2 Haziran 2010 |
Son kitaplar
İlgili kitaplar
Digital Human Modeling: Second International Conference, ICDHM 2009, Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009, Proceedings: 5620 (Lecture Notes in Computer Science)
indir bedava
Software Goes to School: Teaching For Understanding With New Technology: Teaching for Understanding with New Technologies
indir bedava
Integriertes Qualitäts- und Umweltmanagement: Mehrdimensionale Modellierung und Anwendung in der deutschen Automobilindustrie (neue betriebswirtschaftliche forschung (nbf), Band 345)
indir bedava
Quadpack: A Subroutine Package for Automatic Integration (Springer Series in Computational Mathematics (1), Band 1)
indir bedava
Hands-On Serverless Computing with Google Cloud: Build, deploy, and containerize apps using Cloud Functions, Cloud Run, and cloud-native technologies
indir bedava
Digital Human Modeling: Second International Conference, ICDHM 2009, Held as Part of HCI International 2009 San Diego, CA, USA, July 19-24, 2009, Proceedings: 5620 (Lecture Notes in Computer Science)
indir bedava
Software Goes to School: Teaching For Understanding With New Technology: Teaching for Understanding with New Technologies
indir bedava
Integriertes Qualitäts- und Umweltmanagement: Mehrdimensionale Modellierung und Anwendung in der deutschen Automobilindustrie (neue betriebswirtschaftliche forschung (nbf), Band 345)
indir bedava
Quadpack: A Subroutine Package for Automatic Integration (Springer Series in Computational Mathematics (1), Band 1)
indir bedava
Hands-On Serverless Computing with Google Cloud: Build, deploy, and containerize apps using Cloud Functions, Cloud Run, and cloud-native technologies
indir bedava