Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

Diagonalization and Self-Reference (Hardcover) Loot Price: R8,443
Discovery Miles 84 430
Repayment Terms: R791 pm x 12*
Add to cart
Diagonalization and Self-Reference (Hardcover): Raymond M Smullyan

Diagonalization and Self-Reference (Hardcover)

Raymond M Smullyan

Series: Oxford Logic Guides, 27

 (sign in to rate)
Loot Price R8,443 Discovery Miles 84 430 | Repayment Terms: R791 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This new book by a renowned logician provides an introduction to self-reference and diagonalization, and presents a unified treatment of fixed points as they occur in Godels incompleteness proofs, recursion theory, combinatory logice, semantics, and metamethamatics. A survey of introductory material, metamathematics, and a summary of recent research are provided. A large number of exercises (with their solutions), are also provided in the introductory chapters.

General

Imprint: Clarendon Press
Country of origin: United Kingdom
Series: Oxford Logic Guides, 27
Release date: September 1994
First published: October 1994
Authors: Raymond M Smullyan (Professor of Philosophy)
Dimensions: 242 x 158 x 26mm (L x W x T)
Format: Hardcover
Pages: 412
ISBN-13: 978-0-19-853450-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
Promotions
LSN: 0-19-853450-7
Barcode: 9780198534501

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Creativity in Computing and DataFlow SuperComputing, Volume 104 (Hardcover): Suyel Namasudra, Veljko Milutinovic
Creativity in Computing and DataFlow…
Suyel Namasudra, Veljko Milutinovic Hardcover R4,204 Discovery Miles 42 040
Agent-Based Modeling and Network Dynamics (Hardcover): Akira Namatame, Shu-Heng Chen
Agent-Based Modeling and Network…
Akira Namatame, Shu-Heng Chen Hardcover R2,970 Discovery Miles 29 700
Fibonacci Cubes With Applications And Variations (Hardcover): Omer Egecioglu, Sandi Klavzar, Michel Mollard
Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,380 Discovery Miles 23 800
Digital Protection for Power Systems (Hardcover, 2nd edition): Salman K. Salman, A.T. Johns
Digital Protection for Power Systems
Salman K. Salman, A.T. Johns Hardcover R3,128 R2,831 Discovery Miles 28 310
Theory and Computation of Tensors - Multi-Dimensional Arrays (Paperback): Yimin Wei, Weiyang Ding
Theory and Computation of Tensors…
Yimin Wei, Weiyang Ding Paperback R1,372 Discovery Miles 13 720
Advanced Topics in Bisimulation and Coinduction (Hardcover): Davide Sangiorgi, Jan Rutten
Advanced Topics in Bisimulation and…
Davide Sangiorgi, Jan Rutten Hardcover R3,205 Discovery Miles 32 050
Numerical Time-Dependent Partial Differential Equations for Scientists and Engineers, Volume 213 (Hardcover): Moysey Brio, Gary...
Numerical Time-Dependent Partial…
Moysey Brio, Gary M. Webb, … Hardcover R3,033 R2,850 Discovery Miles 28 500
Restricted Congruences in Computing (Hardcover): Khodakhast Bibak
Restricted Congruences in Computing
Khodakhast Bibak Hardcover R1,666 Discovery Miles 16 660
Conceptual Spaces: Elaborations and Applications (Hardcover, 1st ed. 2019): Mauri Kaipainen, Frank Zenker, Antti Hautamaki,...
Conceptual Spaces: Elaborations and…
Mauri Kaipainen, Frank Zenker, … Hardcover R3,112 Discovery Miles 31 120
Handbook of Research on Emerging Trends and Applications of Machine Learning (Hardcover, 2 Volumes): Arun Solanki, Sandeep...
Handbook of Research on Emerging Trends…
Arun Solanki, Sandeep Kumar, … Hardcover R10,356 Discovery Miles 103 560
Numerical Methods for Linear Control Systems (Hardcover): Biswa Datta
Numerical Methods for Linear Control…
Biswa Datta Hardcover R2,251 Discovery Miles 22 510
Essential Linear Algebra with Applications - A Problem-Solving Approach (Hardcover, 2014 ed.): Titu Andreescu
Essential Linear Algebra with…
Titu Andreescu Hardcover R2,882 Discovery Miles 28 820

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners