Logic Recursion

Logic Sets and Recursion  

Posted by step778 at May 19, 2015
Logic Sets and Recursion

Robert L. Causey, "Logic Sets and Recursion"
1994 | pages: 440 | ISBN: 086720463X | PDF | 17,8 mb

Fundamentals of Mathematical Logic (repost)  

Posted by interes at Jan. 28, 2014
Fundamentals of Mathematical Logic (repost)

Fundamentals of Mathematical Logic by Peter G. Hinman
English | 2005-11-15 | ISBN: 1568812620 | DJVU | 896 pages | 6,6 MB

This introductory graduate text covers modern mathematical logic from propositional, first-order, higher-order and infinitary logic and Gödel’s Incompleteness Theorems to extensive introductions to set theory, model theory and recursion (computability) theory.
A Tour Through Mathematical Logic (Carus Mathematical Monographs)

A Tour Through Mathematical Logic (Carus Mathematical Monographs) by Robert S. Wolf
English | 2005 | ISBN: 0883850362 | ISBN-13: 9780883850367 | 414 pages | DJVU | 4,8 MB

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level.

Set Theory, Logic and their Limitations by Moshé Machover  eBooks & eLearning

Posted by pepoimc at Feb. 3, 2011
Set Theory, Logic and their Limitations by Moshé Machover

Set Theory, Logic and their Limitations by Moshé Machover
Publisher: Cambridge University Press (June 13, 1996) | ISBN: 0521474930 | Pages: 298 | DJVU | 3.08 MB

In this introduction to set theory and logic, the author discusses first order logic, and gives a rigorous axiomatic presentation of Zermelo-Fraenkel set theory. He includes many methodological remarks and explanations, and demonstrates how the basic concepts of mathematics can be reduced to set theory. He explains concepts and results of recursion theory in intuitive terms, and reaches the limitative results of Skolem, Tarski, Church and Gödel (the celebrated incompleteness theorems).

Diagonalization and Self-Reference (Oxford Logic Guides) by Raymond M. Smullyan  eBooks & eLearning

Posted by pepoimc at Jan. 31, 2011
Diagonalization and Self-Reference (Oxford Logic Guides) by Raymond M. Smullyan

Diagonalization and Self-Reference (Oxford Logic Guides) by Raymond M. Smullyan
Publisher: Oxford University Press, USA; illustrated edition (October 13, 1994) | ISBN: 0198534507 | Pages: 416 | DJVU | 2.44 MB

This book presents a systematic, unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logic, semantics, and metamathematics. Packed with instructive problems and solutions, the book offers an excellent introduction to the subject and highlights recent research.

Frege's Conception of Logic (repost)  eBooks & eLearning

Posted by libr at Dec. 11, 2016
Frege's Conception of Logic (repost)

Frege's Conception of Logic by Patricia A. Blanchette
English | 2012 | ISBN: 0199891613 | 208 pages | PDF | 0,8 MB

Furry Logic: The Physics of Animal Life  eBooks & eLearning

Posted by libr at Dec. 10, 2016
Furry Logic: The Physics of Animal Life

Furry Logic: The Physics of Animal Life by Matin Durrani and Liz Kalaugher
English | 2017 | ISBN: 1472914090 | 304 pages | EPUB | 6 MB

High-Logic FontCreator Professional Edition 10.1.0.2257 Portable  Software

Posted by speedzodiac_ at Dec. 10, 2016
High-Logic FontCreator Professional Edition 10.1.0.2257 Portable

High-Logic FontCreator Professional Edition 10.1.0.2257 Portable | 38 MB

This professional font editor allows you to create and edit TrueType and OpenType fonts. It has the powerful drawing tools that typographers and graphic designers require, and an intuitive interface that allows beginners to become productive immediately.

Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System  eBooks & eLearning

Posted by arundhati at Dec. 10, 2016
Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System

Jameel Ahmed, Mohammed Yakoob Siyal, "Fuzzy Logic Based Power-Efficient Real-Time Multi-Core System"
2016 | ISBN-10: 9811031193 | 62 pages | PDF | 2 MB

Payoff: The Hidden Logic That Shapes Our Motivations [Audiobook]  eBooks & eLearning

Posted by IrGens at Dec. 9, 2016
Payoff: The Hidden Logic That Shapes Our Motivations [Audiobook]

Payoff: The Hidden Logic That Shapes Our Motivations [Audiobook] by Dan Ariely
English | November 15, 2016 | ASIN: B01M2CA3N8 | [email protected] kbps | 2 hrs 37 mins | 71 MB
Narrator: Simon Jones