BOOKS EBOOKS RARE BOOKS CLASSICAL CDs DVDs PRINTED MUSIC PODCASTS OFFERS
Click here to take a virtual tour of Blackwells, Oxford

Logic

Back to Mathematics


  

Logic eBooks

Refine your search:

 

£25.99
Available for download

ISBN: 9780415690850 - Goedel's Way Goedel's Way
Chaitin, Gregory

ISBN10: 9780203169575  ISBN13: 9780203169575
Publisher: CRC Press
Format: Electronic Book

£83.99
Available for download

ISBN: 9780720420432 - Cylindric Algebras: Part II. Studies in Logic and the Foundations of Mathematics, Volume 115. Cylindric Algebras: Part II. Studies in Logic and the Foundations of Mathematics, Volume 115.
Henkin, L

ISBN10: 9780080887586  ISBN13: 9780080887586
Publisher: Elsevier Science & Technology North-Holland
Format: Electronic Book
Volume II completes the description of the main aspects of the theory, covering representation questions, model theory and decision problems for them, translations from logic to algebra and vice-versa, and relationships with other algebraic... More

£88.80
Available for download

ISBN: 9780720422702 - Foundations of Set Theory. Studies in Logic and the Foundations of Mathematics, Volume 67. Foundations of Set Theory. Studies in Logic and the Foundations of Mathematics, Volume 67.
Fraenkel, A A A ; Bar-Hillel Y ; Levy

ISBN10: 9780080887050  ISBN13: 9780080887050
Publisher: Elsevier Science & Technology North-Holland
Format: Electronic Book
Not provided More

£93.60
Available for download

ISBN: 9780444703682 - Categories, Allegories. North-Holland Mathematical Library, Volume 39. Categories, Allegories. North-Holland Mathematical Library, Volume 39.
Freyd, A Peter; Scedrot Andre; Scedrov

ISBN10: 9780080887012  ISBN13: 9780080887012
Publisher: Elsevier Science & Technology North-Holland
Format: Electronic Book
General concepts and methods that occur throughout mathematics - and now also in theoretical computer science - are the subject of this book. It is a thorough introduction to Categories, emphasizing the geometric nature of the subject and... More

£133.20
Available for download

ISBN: 9780080887043 - Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics, Volume 128. Computability, Complexity, Logic. Studies in Logic and the Foundations of Mathematics, Volume 128.
Borger, Egon

ISBN10: 9780080887043  ISBN13: 9780080887043
Publisher: Elsevier Science & Technology North-Holland
Format: Electronic Book
The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the... More

£110.00
Available for download

ISBN: 9780198516200 - Mystic, Geometer, and Intuitionist Mystic, Geometer, and Intuitionist
Dalen, Dirk van

ISBN10: 9780191513626  ISBN13: 9780191513626
Publisher: Oxford University Press, UK
Format: Electronic Book

£89.40
Available for download

ISBN: 9780444894472 - Recursive Functionals Recursive Functionals
Sanchis, L E

ISBN10: 9780080887173  ISBN13: 9780080887173
Publisher: Elsevier Science North Holland
Format: Electronic Book
This work is a self-contained elementary exposition of the theory of recursive functionals, that also includes a number of advanced results. Although aiming basically at a theory of higher order computability, attention is restricted to second... More

£157.80
Available for download

ISBN: 9780444898227 - Selected Papers on Automath, Volume 133 Selected Papers on Automath, Volume 133
Nederpelt, R C R P ; Geuvers J H ; de Vrijer

ISBN10: 9780080887180  ISBN13: 9780080887180
Publisher: Elsevier Science & Technology Elsevier Publishing Company
Format: Electronic Book
The present volume contains a considered choice of the existing literature on Automath. Many of the papers included in the book have been published in journals or conference proceedings, but a number have only circulated as research reports or... More

£58.79
Available for download

ISBN: 9780123849588 - Computability Theory Computability Theory
Enderton, Herbert B

ISBN10: 9780123849595  ISBN13: 9780123849595
Publisher: Elsevier Science Academic Press
Format: Electronic Book
Computability Theory: An Introduction to Recursion Theory, provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory... More

£18.31
Available for download

ISBN: 9780195139198 - Moment of Proof Mathematical Epiphanies Moment of Proof Mathematical Epiphanies
C, BENSON DONALD

ISBN10: 9780198027744  ISBN13: 9780198027744
Publisher: Oxford University Press
Format: Electronic Book
In The Moment of Proof, Benson attempts to convey to general readers the feeling of Eureka, the joy of discovery that mathematicians feel when they first encounter an elegant proof. The book is packed with intriguing puzzles: Loyd's Fifteen... More