Thèmes principaux
Publications
Services
Auteurs
Éditions
Shop
LEXIA
Revues
Livres spécialisésLOKISemaphor
Logo
DE | FR
cover

Diagonalization and Self-Reference

Livre (relié)266.00 CHF
livrable dans env. 10-20 jours

Contenu

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

Informations bibliographiques

septembre 1994, 412 Pages, Oxford Logic Guides, Anglais
Oxford Academic
978-0-19-853450-1

Mots-clés

Autres titres de la collection: Oxford Logic Guides

Afficher tout
Positive Topology
A New Practice in Constructive Mathematics
Oxford Academic, 2025
978-0-19-923288-8
env. 195.00 CHF
disponible dès mai 2025
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
210.00 CHF
livrable dans env. 10-20 jours
Consequence Relations
An Introduction to the Lindenbaum-Tarski Method
Oxford Academic, 2022
978-0-19-286641-7
146.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
99.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
126.00 CHF
livrable dans env. 10-20 jours
Reductive Logic and Proof-search
Proof Theory, Semantics, and Control
Oxford University Press, 2004
978-0-19-852633-9
256.00 CHF
livrable dans env. 10-20 jours
Algebraic Methods in Philosophical Logic
Oxford Academic, 2001
978-0-19-853192-0
210.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
296.00 CHF
livrable dans env. 10-20 jours
Fibring Logics
Oxford University Press, 1998
978-0-19-850381-1
150.00 CHF
livrable dans env. 10-20 jours
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
126.00 CHF
livrable dans env. 10-20 jours
Arithmetic, Proof Theory, and Computational Complexity
Oxford University Press, 1993
978-0-19-853690-1
236.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Momentos estelares
Baile del Sol SRL, 2103
978-84-15700-41-8
env. 21.50 CHF
disponible dès décembre 2103
An excursion into Markov chains
Springer Nature EN, 3000
978-3-319-12831-3
env. 55.50 CHF
disponible dès juin 3000
Introduction to Design
Springer Nature EN, 3000
978-981-10-8140-8
env. 83.00 CHF
disponible dès juin 3000
Habermas and Feminism
Critical Reflections on Normativity
Springer Nature EN, 3000
978-3-319-33764-7
env. 123.00 CHF
disponible dès juin 3000
Humanismo-animalismo
Arena Libros S.L., 2112
978-84-95897-98-5
env. 36.50 CHF
disponible dès décembre 2112
Muerte por ausencia
Editorial de la Luna Libros, 2107
978-84-92847-53-2
env. 24.50 CHF
disponible dès septembre 2107
El juzgador de ajedrez
Ardora Ediciones, 2104
978-84-88020-51-2
env. 39.90 CHF
disponible dès novembre 2104
Mathematical Competencies in Mathematics Education
Springer Nature EN, 2100
978-3-319-03607-6
env. 173.00 CHF
disponible dès juin 2100
Spaces of Action and the Rights of Students in Chinese Universities
Springer Nature ENHigher Education Press, 3000
978-3-662-47168-5
env. 168.00 CHF
disponible dès août 3000