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...
Corporate Author: | SpringerLink (Online service) |
---|---|
Other Authors: | Beziau, Jean-Yves. (Editor, http://id.loc.gov/vocabulary/relators/edt) |
Language: | English |
Published: |
Basel :
Birkhäuser Basel : Imprint: Birkhäuser,
2007.
|
Edition: | 2nd ed. 2007. |
Subjects: | |
Online Access: | https://doi.org/10.1007/978-3-7643-8354-1 |
Similar Items
-
Logica Volume 1 - Dimostrazioni e modelli al primo ordine / by Vito Michele Abrusci, Lorenzo Tortora de Falco.
by: Abrusci, Vito Michele., et al.
Published: (2014) -
Logic and Structure by Dirk van Dalen.
by: van Dalen, Dirk., et al.
Published: (2013) -
Completeness Theory for Propositional Logics by Witold A. Pogorzelski, Piotr Wojtylak.
by: Pogorzelski, Witold A., et al.
Published: (2008) -
Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2013) -
Advances in Proof Theory edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.
Published: (2016)