Tags
Language
Tags
<<
April 2024
Su Mo Tu We Th Fr Sa
31 1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 1 2 3 4
  1. Home
  2. eBooks & eLearning

Diagonalization and Self-Reference (Repost)

Posted By: step778
Date: 6 May 2014 08:12:23
Diagonalization and Self-Reference (Repost)

Raymond M. Smullyan, "Diagonalization and Self-Reference"
1994 | pages: 415 | ISBN: 0198534507 | PDF | 28,2 mb

This book presents a systematic, unified treatment of fixed points as they occur in Gödel's 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.

My Links
Uploaded

Turbobit
UPWARDS