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

Elements of Intuitionism

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

Inhalt

This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.

Bibliografische Angaben

Juni 2000, 344 Seiten, Oxford Logic Guides, Englisch
Oxford Academic
978-0-19-850524-2

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
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
Diagonalization and Self-Reference
Oxford Academic, 1994
978-0-19-853450-1
266.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

Como una chica
Babidi-Bú, 2109
978-84-17448-58-5
ca. 33.50 CHF
erhältlich ab Januar 2109
TEST_3
Untertitel_Test
Emons, 2191
978-3-7408-0015-4
ca. 1.90 CHF
erhältlich ab März 2191
The Equidistribution of Lattice Shapes of Rings of Integers of Cubic, Quartic, ...
An Artist's Rendering
Springer International Publishing, 3000
978-3-319-76531-0
ca. 141.00 CHF
erhältlich ab Juni 3000
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
ca. 146.00 CHF
erhältlich ab Juni 3000
An excursion into Markov chains
Springer Nature EN, 3000
978-3-319-12831-3
ca. 55.50 CHF
erhältlich ab Juni 3000
The Senses
A Philosophical Introduction
Taylor and Francis, 2100
978-1-138-92156-6
ca. 43.50 CHF
erhältlich ab Juni 2100
Economics of Immigration
The Impact of Immigration on the Australian Economy
Springer Nature EN, 2119
978-1-349-71716-3
ca. 109.00 CHF
erhältlich ab Januar 2119
Pequeña enciclopedia del masaje
Tikal Ediciones, 2102
978-84-9928-193-3
ca. 20.50 CHF
erhältlich ab Mai 2102
El juzgador de ajedrez
Ardora Ediciones, 2104
978-84-88020-51-2
ca. 39.90 CHF
erhältlich ab November 2104
Motion in Chinese
Event Conceptualization and Grammatical Realization
Springer Nature ENPeking University Press, 3000
978-981-1319-92-1
ca. 116.00 CHF
erhältlich ab Juni 3000