Logic

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity [Repost]

Shawn Hedman - A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity
Published: 2004-09-09 | ISBN: 0198529813, 0198529805 | PDF | 452 pages | 6.84 MB

Logic: A Very Short Introduction [Repost]  eBooks & eLearning

Posted by ChrisRedfield at July 20, 2017
Logic: A Very Short Introduction [Repost]

Graham Priest - Logic: A Very Short Introduction
Published: 2001-01-18 | ISBN: 0192893203, 0195682629 | PDF | 128 pages | 6.01 MB

Programming with Higher-Order Logic (Repost)  eBooks & eLearning

Posted by nebulae at July 19, 2017
Programming with Higher-Order Logic (Repost)

Dale Miller, Gopalan Nadathur, "Programming with Higher-Order Logic"
2012 | ISBN: 052187940X | PDF | 320 pages | 3 MB

Fundamentals of Logic Design (7th edition) [Repost]  eBooks & eLearning

Posted by ChrisRedfield at July 18, 2017
Fundamentals of Logic Design (7th edition) [Repost]

Charles H. Roth, Larry L Kinney - Fundamentals of Logic Design (7th edition)
Published: 2013-02-25 | ISBN: 1133628478 | PDF | 816 pages | 24.5 MB

Logic, Language, Information, and Computation  eBooks & eLearning

Posted by hill0 at July 12, 2017
Logic, Language, Information, and Computation

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings (Lecture Notes in Computer Science) by Juliette Kennedy
English | 30 Jun. 2017 | ISBN: 3662553856 | 412 Pages | PDF | 7.4 MB

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 24th Workshop on Logic, Language, Information and Communication, WoLLIC 2017, held in London, UK, in August 2017.

A Profile of Mathematical Logic  eBooks & eLearning

Posted by First1 at July 11, 2017
A Profile of Mathematical Logic

A Profile of Mathematical Logic by Howard DeLong
English | September 26th, 2012 | ASIN: B00A73BNQ0, ISBN: 0486434753 | 322 pages | EPUB | 5.03 MB

Anyone seeking a readable and relatively brief guide to logic can do no better than this classic introduction. A treat for both the intellect and the imagination, it profiles the development of logic from ancient to modern times and compellingly examines the nature of logic and its philosophical implications.

Thinking about Logic: Classic Essays (repost)  eBooks & eLearning

Posted by libr at July 11, 2017
Thinking about Logic: Classic Essays (repost)

Thinking about Logic: Classic Essays by Steven M. Cahn, Robert B. Talisse and Scott F. Aikin
English | 2010 | ISBN-10: 0813344697 | PDF | 224 pages | 0,7 MB

Foundations of Mathematical Logic, 2nd Edition  eBooks & eLearning

Posted by nebulae at July 11, 2017
Foundations of Mathematical Logic, 2nd Edition

Haskell B. Curry, "Foundations of Mathematical Logic, 2nd Edition"
English | ISBN: 0486634620 | 2010 | 416 pages | EPUB | 8 MB

Logic: The Basics, Second Edition  eBooks & eLearning

Posted by Underaglassmoon at June 18, 2017
Logic: The Basics, Second Edition

Logic: The Basics, Second Edition
Routledge | English | 2017 | ISBN-10: 1138852260 | 312 pages | PDF | 4.92 mb

by Jc Beall (Author), Shay A. Logan (Author)

Logic For Dummies (repost)  eBooks & eLearning

Posted by libr at June 11, 2017
Logic For Dummies (repost)

Logic For Dummies by Mark Zegarelli
English | 2006-11-29 | ISBN: 0471799416 | 384 pages | PDF | 3,6 MB