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

Diagonalization and Self-Reference

Livre (relié)386.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, 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
100.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
220.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
300.00 CHF
livrable dans env. 10-20 jours
Elements of Intuitionism
Oxford Academic, 2000
978-0-19-850524-2
356.00 CHF
livrable dans env. 10-20 jours
Fibring Logics
Oxford Academic, 1998
978-0-19-850381-1
196.00 CHF
livrable dans env. 10-20 jours
Elementary Categories, Elementary Toposes
Oxford Academic, 1995
978-0-19-851473-2
220.00 CHF
livrable dans env. 10-20 jours
Arithmetic, Proof Theory, and Computational Complexity
Oxford Academic, 1993
978-0-19-853690-1
146.00 CHF
livrable dans env. 10-20 jours
Cantorian Set Theory and Limitation of Size
Oxford Academic, 1986
978-0-19-853283-5
296.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Artificial Intelligence in Cyber-Physical Systems
Principles and Applications
Taylor and Francis, 2025
978-1-032-16484-7
75.00 CHF
livrable dans env. 10-20 jours
Quantum Technology Applications, Impact, and Future Challenges
Taylor and Francis, 2025
978-1-032-88330-4
env. 149.00 CHF
disponible dès mars 2025
Computational Literacy for the Humanities
Taylor and Francis, 2025
978-1-032-82072-9
env. 235.00 CHF
disponible dès juin 2025
AI-Based Metaheuristics for Information Security and Digital Media
Taylor and Francis, 2025
978-1-032-52455-9
75.00 CHF
livrable dans env. 10-20 jours
Graph Learning Techniques
Taylor and Francis, 2025
978-1-032-85112-9
env. 79.00 CHF
disponible dès février 2025
Machine Learning and Optimization Models for Optimization in Cloud
Taylor and Francis, 2025
978-1-032-02824-8
env. 79.00 CHF
disponible dès mars 2025
Artificial Intelligence Assisted Structural Optimization
Taylor and Francis, 2025
978-1-032-50885-6
env. 195.00 CHF
disponible dès février 2025
Blockchain and Digital Twin Applications in Smart Agriculture
Taylor and Francis, 2025
978-1-032-81746-0
env. 315.00 CHF
disponible dès avril 2025
Artificial Intelligence and Cybersecurity
Advances and Innovations
Taylor and Francis, 2025
978-0-367-56395-0
env. 95.00 CHF
disponible dès mars 2025
Statistical Outliers and Related Topics
Taylor and Francis, 2025
978-1-032-46056-7
275.00 CHF
livrable dans env. 10-20 jours