Diagonalization and Self-Reference

Name: Diagonalization and Self-Reference
Author: Indiana University) Professor of Philosophy Raymond M. (Professor of Philosophy Smullyan

Indiana University) Professor of Philosophy Raymond M. (Professor of Philosophy Smullyan

Oxford University Press

Knihu koupíte v 1 e-shopu

Bookshop.cz

8 852 Kč

Není skladem

Do obchodu

Krátký popis

BL An introduction to the topic - pitched at an elementary level This Oxford Logic Guide presents a unified treatment of fixed points, self-reference, and diagonalization as they occur in Gödel's incompleteness proofs, recursion theory, combinatory logics, semantics, and metamathematics. There is also a presentation of new results - partly in these areas, but mostly in their synthesis.

Výběr knih vydavatele Oxford University Press