Logic 404

An Introduction to Mathematical Logic (Dover Books on Mathematics)  eBooks & eLearning

Posted by lengen at Dec. 12, 2017
An Introduction to Mathematical Logic (Dover Books on Mathematics)

An Introduction to Mathematical Logic (Dover Books on Mathematics) by Richard E. Hodel
English | Feb. 20, 2013 | ISBN: 0486497852 | 237 Pages | PDF | 1 MB

Widely praised for its clarity and thorough coverage, this comprehensive overview of mathematical logic is suitable for readers of many different backgrounds. Designed primarily for advanced undergraduates and graduate students of mathematics, the treatment also contains much of interest to advanced students in computer science and philosophy.

Digital Systems: From Logic Gates to Processors [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Dec. 10, 2017
Digital Systems: From Logic Gates to Processors [Repost]

Jean-Pierre Deschamps, Elena Valderrama, Lluís Terés - Digital Systems: From Logic Gates to Processors
Published: 2016-10-13 | ISBN: 3319411977 | PDF | 241 pages | 14.92 MB

Programmable Logic Controller  eBooks & eLearning

Posted by hill0 at Dec. 8, 2017
Programmable Logic Controller

Programmable Logic Controller by Luiz Affonso Guedes
English | 2010 | ISBN: 9789537619633 | 170 Pages | PDF | 23.86 MB

Girl Logic: The Genius and the Absurdity  eBooks & eLearning

Posted by First1 at Dec. 8, 2017
Girl Logic: The Genius and the Absurdity

Girl Logic: The Genius and the Absurdity by Iliza Shlesinger
English | November 7th, 2017 | ASIN: B01NB1FT0G, ISBN: 1602863237 | 243 Pages | EPUB | 11.60 MB

From breakout stand-up comedian Iliza Shlesinger comes a subversively funny collection of essays and observations on a confident woman's approach to friendship, singlehood, and relationships.

Executing Temporal Logic Programs  eBooks & eLearning

Posted by lengen at Dec. 5, 2017
Executing Temporal Logic Programs

Executing Temporal Logic Programs by Ben C. Moszkowski
English | Mar. 31, 1986 | ISBN: 0521310997 | 125 Pages | PDF | 0.50 MB

Temporal logic is gaining recognition as an attractive and versatile formalism for rigorously specifying and reasoning about computer programs, digital circuits and message-passing systems. This book introduces Tempura, a programming language based on temporal logic, Tempura provides a way of directly executing suitable temporal logic specifications of digital circuits, parallel programs and other dynamic systems.
Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev

Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev By Venanzio Raspa
English | PDF,EPUB | 2017 | 176 Pages | ISBN : 3319660853 | 3.39 MB

This volume examines the entire logical and philosophical production of Nicolai A. Vasil’ev, studying his life and activities as a historian and man of letters. Readers will gain a comprehensive understanding of this influential Russian logician, philosopher, psychologist, and poet.

Studies in Legal Logic  eBooks & eLearning

Posted by tanas.olesya at Dec. 4, 2017
Studies in Legal Logic

Studies in Legal Logic by Jaap Hage
English | 17 Jun. 2005 | ISBN: 1402035179 | 348 Pages | PDF | 3 MB

Studies in Legal Logic is a collection of nine interrelated papers about the logic, epistemology and ontology of law. All of the papers were written after the publication of the author's Reasoning with Rules and supplement the issues addressed therein.

A Course in Mathematical Logic [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Dec. 3, 2017
A Course in Mathematical Logic [Repost]

Yu.I. Manin - A Course in Mathematical Logic
Published: 1977-12-19 | ISBN: 0387902430, 3540902430 | PDF + DJVU | 286 pages | 18.2 MB

Lectures in Logic and Set Theory. Volume I: Mathematical Logic [Repost]  eBooks & eLearning

Posted by ChrisRedfield at Dec. 2, 2017
Lectures in Logic and Set Theory. Volume I: Mathematical Logic [Repost]

George Tourlakis - Lectures in Logic and Set Theory. Volume I: Mathematical Logic
Published: 2003-01-13 | ISBN: 0521753732, 0521168481 | PDF + DJVU | 342 pages | 3.83 MB
Hegel on the Proofs and Personhood of God: Studies in Hegel's Logic and Philosophy of Religion [Repost]

Robert R. Williams - Hegel on the Proofs and Personhood of God: Studies in Hegel's Logic and Philosophy of Religion
Published: 2017-03-26 | ISBN: 019879522X | PDF | 352 pages | 1.73 MB