Logo
DE | FR
Action newsletter : Abonnez-vous dès maintenant à notre newsletter et bénéficiez de 10 % de réduction sur vos commandes en ligne jusqu’au 8 août 2025. Infos et inscription.
Positive Topology
Télécharger la couverture
Positive Topology

Positive Topology

A New Practice in Constructive Mathematics
Livre (relié)env. 195.00 CHF
paraît en octobre

This book contains the first systematic exposition of a new discipline called positive topology, which brings many conceptual and mathematical innovations and many benefits for mathematical practice and applications, for the first time extending Darwin's evolutionary vision to the practice of mathematics.

octobre 2025, Oxford Logic Guides, Anglais
Oxford Academic
978-0-19-923288-8

Autres titres de la collection: Oxford Logic Guides

Afficher tout
Fragments of First-Order Logic
Oxford Academic, 2023
978-0-19-286796-4
env. 220.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
env. 156.00 CHF
livrable dans env. 10-20 jours
Simplicity Theory
Oxford University Press, 2013
978-0-19-856738-7
env. 169.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford University Press, 2012
978-0-19-965260-0
env. 89.00 CHF
livrable dans env. 10-20 jours
Set Theory
Boolean-Valued Models and Independence Proofs
Oxford University Press, 2011
978-0-19-960916-1
env. 86.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford University Press, 2010
978-0-19-958736-0
env. 219.00 CHF
livrable dans env. 10-20 jours
Category Theory
Oxford Academic, 2010
978-0-19-923718-0
env. 110.00 CHF
livrable dans env. 10-20 jours
Computability and Randomness
Oxford Academic, 2009
978-0-19-923076-1
env. 230.00 CHF
livrable dans env. 10-20 jours
The Structure of Models of Peano Arithmetic
Oxford Academic, 2006
978-0-19-856827-8
env. 239.00 CHF
livrable dans env. 10-20 jours
Interpolation and Definability
Modal and Intuitionistic Logics
Oxford Academic, 2005
978-0-19-851174-8
env. 309.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
env. 256.00 CHF
livrable dans env. 10-20 jours

Autres titres sur ce thème

Introduction to Homotopy Type Theory
Cambridge Academic, 2025
978-1-108-84416-1
env. 85.00 CHF
paraît en août
Polygraphs: From Rewriting to Higher Categories
Cambridge Academic, 2025
978-1-009-49898-2
env. 150.00 CHF
livrable dans env. 10-20 jours
Unstable Homotopy Decompositions
Ingram Publishers Services, 2026
978-981-9806-13-3
env. 205.00 CHF
paraît en avril
One-Dimensional Dynamics
From Poincaré to renormalization
Springer International Publishing, 2025
978-3-031-94881-7
env. 188.00 CHF
paraît en août
Modern Approaches To Differential Geometry And Its Related Fields - Proceedings ...
Ingram Publishers Services, 2025
978-981-1296-70-3
env. 180.00 CHF
livrable dans env. 10-20 jours
Bounding Numerical Invariants Of Algebraic Varieties
Ingram Publishers Services, 2026
978-981-46187-3-1
env. 115.00 CHF
paraît en février
The Krasnoselskii-Mann Method for Common Fixed Point Problems
Springer International Publishing, 2025
978-3-031-85840-6
env. 70.00 CHF
livrable dans env. 20-45 jours
2023 MATRIX Annals
Springer International Publishing, 2025
978-3-031-76737-1
env. 262.00 CHF
livrable dans env. 20-45 jours
Borel Games
Taylor and Francis, 2025
978-1-032-94865-2
env. 125.00 CHF
paraît en novembre
Abelian Model Category Theory
Cambridge Academic, 2025
978-1-009-44946-5
env. 110.00 CHF
livrable dans env. 10-20 jours
An Introduction to Point-Set Topology
A Hybrid Texas Style Approach
Elsevier, 2026
978-0-443-41401-5
env. 135.00 CHF
paraît en janvier