Fokusthemen
Publikationen
Services
Autorinnen/Autoren
Verlag
Shop
LEXIA
Zeitschriften
SachbuchLOKISemaphor
Logo
DE | FR
cover

Diagonalization and Self-Reference

Buch (gebunden)266.00 CHF
lieferbar in ca. 10-20 Arbeitstagen

Inhalt

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.

Bibliografische Angaben

September 1994, 412 Seiten, Oxford Logic Guides, Englisch
Oxford Academic
978-0-19-853450-1

Schlagworte

Weitere Titel der Reihe: Oxford Logic Guides

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

Weitere Titel zum Thema

An excursion into Markov chains
Springer Nature EN, 3000
978-3-319-12831-3
ca. 55.50 CHF
erhältlich ab Juni 3000
¡Socorro!, tengo un hijo adolescente
Ediciones Temas de Hoy, 2209
978-84-8460-579-9
ca. 33.90 CHF
erhältlich ab Juni 2209
The Senses
A Philosophical Introduction
Taylor and Francis, 2100
978-1-138-92155-9
ca. 165.00 CHF
erhältlich ab Juni 2100
Material Flow Management
Systems, Technology and Finance for a Sustainable Future
Springer Nature EN, 3000
978-3-540-36015-5
ca. 146.00 CHF
erhältlich ab Oktober 3000
El juzgador de ajedrez
Ardora Ediciones, 2104
978-84-88020-51-2
ca. 39.90 CHF
erhältlich ab November 2104
Wild Ember
Brenne für mich | Mit wunderschönem Farbschnitt
Nova MD, 6042
978-3-98942-770-9
ca. 26.50 CHF
erhältlich ab Februar 6042
MAAXIMUS - More Affordable Aircraft through Extended, Integrated and Mature ...
Springer Nature EN, 3000
978-3-319-48949-0
ca. 294.00 CHF
erhältlich ab Juni 3000
NATSUKO VERSCHWINDET
Erzählung aus Japan
Edition Signathur, 9242
978-3-906273-72-3
18.00 CHF
sofort lieferbar
El robot que amaba a Platón : (Grecia, libro I)
Aebius, 2103
978-84-15402-96-1
ca. 27.90 CHF
erhältlich ab Juli 2103