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

Elements of Intuitionism

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

Contenu

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.

Informations bibliographiques

juin 2000, 344 Pages, Oxford Logic Guides, Anglais
Oxford Academic
978-0-19-850524-2

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

Humanismo-animalismo
Arena Libros S.L., 2112
978-84-95897-98-5
env. 36.50 CHF
disponible dès décembre 2112
Methods of Clinical Epidemiology
Springer Nature EN, 3000
978-3-319-65333-4
env. 146.00 CHF
disponible dès juin 3000
Momentos estelares
Baile del Sol SRL, 2103
978-84-15700-41-8
env. 21.50 CHF
disponible dès décembre 2103
Economics of Immigration
The Impact of Immigration on the Australian Economy
Springer Nature EN, 2119
978-1-349-71716-3
env. 109.00 CHF
disponible dès janvier 2119
Muerte por ausencia
Editorial de la Luna Libros, 2107
978-84-92847-53-2
env. 24.50 CHF
disponible dès septembre 2107
270º poemas
Diputación Provincial de Ciudad Real, 2917
978-84-7789-348-6
env. 16.90 CHF
disponible dès décembre 2917
Libro del lago
Ardora Ediciones, 2104
978-84-88020-52-9
env. 31.50 CHF
disponible dès novembre 2104
NATSUKO VERSCHWINDET
Erzählung aus Japan
Edition Signathur, 9242
978-3-906273-72-3
18.00 CHF
disponible de suite
Ladran los hombres
Pepitas de Calabaza, 2107
978-84-15862-89-5
env. 31.50 CHF
disponible dès juillet 2107