results
Logic and structure (2nd edition)
Author: ChrisRedfield

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

D. van Dalen - Logic and Structure
Published: 1980-02-01 | ISBN: 3540098933, 0387098933 | PDF | 180 pages | 4.32 MB
Details
Logic and Structure (4th edition) [Repost]
Author: ChrisRedfield

Dirk van Dalen - Logic and Structure (4th edition)
Published: 2008-09-01 | ISBN: 3540208798 | PDF | 263 pages | 3.4 MB
Details
Logic and Structure (3rd edition)
Author: ChrisRedfield

Dirk van Dalen - Logic and Structure (3rd edition)
Published: 1997-05-15 | ISBN: 0387578390, 3540578390 | PDF | 217 pages | 10 MB
Details
Fundamentals of Mathematical Logic (repost)
Author: interes

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. Details
Logic Sets and Recursion
Author: step778

Robert L. Causey, "Logic Sets and Recursion"
1994 | pages: 440 | ISBN: 086720463X | PDF | 17,8 mb
Details
E-Recursion, Forcing and C*-Algebras
Author: nebulae

Chitat Chong, Chitat Chong, Qi Feng, Theodore A Slaman, W Hugh Woodin, Yue Yang, "E-Recursion, Forcing and C*-Algebras"
English | ISBN: 9814602639, 9814603252 | 2014 | 204 pages | PDF | 2 MB
Details
"Computer Science Logic" ed. by Jerzy Marcinkowski, Andrzej Tarlecki
Author: exLib

"Computer Science Logic" ed. by Jerzy Marcinkowski, Andrzej Tarlecki
18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings. Lecture Notes in Computer Science
Springer | 2004 | ISBN: 3540230243 | 536 pages | PDF/djvu | 12/5 MB

The 33 revised full papers presented together with 5 invited contributions were carefully reviewed and selected from 88 papers submitted. All current aspects of logic in computer science are addressed ranging from mathematical logic and logical foundations to methodological issues and applications of logics in various computing contexts.
Details
Logic and Complexity
Author: arundhati

Richard Lassaigne, Michel de Rougemont, "Logic and Complexity"
2004 | ISBN-10: 1852335653 | 361 pages | PDF | 130 MB
Details
Set Theory, Logic and their Limitations by Moshé Machover
Author: pepoimc

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). Details
Found 239 post(s)