Classical Logic

Essays on Non-classical Logic: v. 1  eBooks & eLearning

Posted by nebulae at Jan. 19, 2015
Essays on Non-classical Logic: v. 1

Heinrich Wansing, "Essays on Non-classical Logic: v. 1"
English | ISBN: 9810247354 | 2001 | 276 pages | PDF | 12 MB

Logic of Mathematics: A Modern Course of Classical Logic (Repost)  eBooks & eLearning

Posted by nebulae at May 15, 2014
Logic of Mathematics: A Modern Course of Classical Logic (Repost)

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
English | 1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB

An Introduction to Non-Classical Logic: From If to Is (repost)  eBooks & eLearning

Posted by interes at Jan. 16, 2014
An Introduction to Non-Classical Logic: From If to Is (repost)

An Introduction to Non-Classical Logic: From If to Is by Graham Priest
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.

Logic of Mathematics: A Modern Course of Classical Logic  eBooks & eLearning

Posted by arundhati at Aug. 2, 2013
Logic of Mathematics: A Modern Course of Classical Logic

Zofia Adamowicz, Pawel Zbierski, "Logic of Mathematics: A Modern Course of Classical Logic"
1997 | ISBN-10: 0471060267 | 272 pages | PDF | 7 MB
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | EPUB | 0.1 MB

Logic as a Tool: A Guide to Formal Logical Reasoning  eBooks & eLearning

Posted by tarantoga at March 6, 2017
Logic as a Tool: A Guide to Formal Logical Reasoning

Valentin Goranko, "Logic as a Tool: A Guide to Formal Logical Reasoning"
ISBN: 1118880005 | 2016 | EPUB | 384 pages | 52 MB

The Boundary Stones of Thought: An Essay in the Philosophy of Logic (repost)  eBooks & eLearning

Posted by arundhati at Feb. 9, 2017
The Boundary Stones of Thought: An Essay in the Philosophy of Logic (repost)

Ian Rumfitt, "The Boundary Stones of Thought: An Essay in the Philosophy of Logic"
English | ISBN: 0198733631 | 2015 | 369 pages | PDF | 3 MB
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science)

Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs (Undergraduate Topics in Computer Science) by Mauricio Ayala-Rincón
English | 2 Mar. 2017 | ISBN: 3319516515 | 150 Pages | PDF | 1.88 MB

This book provides an introduction to logic and mathematical induction which are the basis of any deductive computational framework. A strong mathematical foundation of the logical engines available in modern proof assistants, such as the PVS verification system, is essential for computer scientists, mathematicians and engineers to increment their capabilities to provide formal proofs of theorems and to certify the robustness of software and hardware systems.

Logic as a Tool: A Guide to Formal Logical Reasoning  eBooks & eLearning

Posted by interes at Dec. 12, 2016
Logic as a Tool: A Guide to Formal Logical Reasoning

Logic as a Tool: A Guide to Formal Logical Reasoning by Valentin Goranko
English | 2016 | ISBN: 1118880005 | 384 pages | PDF | 2,7 MB

Logic and structure (2nd edition)  eBooks & eLearning

Posted by ChrisRedfield at Oct. 25, 2016
Logic and structure (2nd edition)

D. van Dalen - Logic and structure (2nd edition)
Published: 1983 | ISBN: 038712831X, 354012831X | PDF | 207 pages | 3.95 MB