Posted by **libr** at May 18, 2017

English | 2008 | ISBN: 0521854334 | 646 pages | PDF | 2,9 MB

Posted by **nebulae** at Jan. 19, 2015

English | ISBN: 9810247354 | 2001 | 276 pages | PDF | 12 MB

Posted by **nebulae** at May 15, 2014

English | 1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Posted by **interes** at Jan. 16, 2014

English | 2008 | ISBN: 0521854334 | 646 pages | PDF | 2,9 MB

This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics.

Posted by **arundhati** at Aug. 2, 2013

1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

Posted by **AvaxGenius** at May 20, 2018

English | PDF | 1997 | 466 Pages | ISBN : 1461268559 | 92.78 MB

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics.

Posted by **AvaxGenius** at May 6, 2018

English | PDF | 1997 | 466 Pages | ISBN : 1461268559 | 92.78 MB

In writing this book, our goal was to produce a text suitable for a first course in mathematical logic more attuned than the traditional textbooks to the re cent dramatic growth in the applications oflogic to computer science. Thus, our choice oftopics has been heavily influenced by such applications. Of course, we cover the basic traditional topics: syntax, semantics, soundnes5, completeness and compactness as well as a few more advanced results such as the theorems of Skolem-Lowenheim and Herbrand. Much ofour book, however, deals with other less traditional topics.

Posted by **AvaxGenius** at Feb. 24, 2018

English | PDF,EPUB | 2018 | 173 Pages | ISBN : 3319743562 | 5.04 MB

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers – both new and previously published – it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism.

Posted by **roxul** at Jan. 8, 2018

English | ISBN: 0691160449 | 2014 | 344 pages | PDF | 10 MB

Posted by **AvaxGenius** at Nov. 22, 2017

English | PDF,EPUB | 2017 | 221 Pages | ISBN : 3319661604 | 7.22 MB

This volume offers a wide range of both reconstructions of Nikolai Vasiliev’s original logical ideas and their implementations in the modern logic and philosophy. A collection of works put together through the international workshop "Nikolai Vasiliev’s Logical Legacy and the Modern Logic," this book also covers foundations of logic in the light of Vasiliev’s contradictory ontology. Chapters range from a look at the Heuristic and Conceptual Background of Vasiliev's Imaginary Logic to Generalized Vasiliev-style Propositions.