Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Ergebnisse zu
Logik / Mengenlehre

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics

The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics

von Elena Anne Corie Marchisotto; Francisco..

Buch | Hardcover

2021 | Birkhauser Boston Inc

ISBN: 9780817648220

CHF 239,⁶⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Diagonalization in Formal Mathematics

Diagonalization in Formal Mathematics

von Paulo Guilherme Santos

Buch | Softcover

2020 | Springer Fachmedien Wiesbaden GmbH

ISBN: 9783658291105

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

(Co)end Calculus

(Co)end Calculus

von Fosco Loregian

Buch | Softcover

2021 | Cambridge University Press

ISBN: 9781108746120

CHF 104,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

Handbook of Computability and Complexity in Analysis

Handbook of Computability and Complexity in Analysis

von Vasco Brattka; Peter Hertling

Buch | Hardcover

2021 | Springer International Publishing

ISBN: 9783030592332

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Paradoxes and Inconsistent Mathematics

Paradoxes and Inconsistent Mathematics

von Zach Weber

Buch | Hardcover

2021 | Cambridge University Press

ISBN: 9781108834414

CHF 136,¹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Prawitz's Epistemic Grounding

Prawitz's Epistemic Grounding

An Investigation into the Power of Deduction

von Antonio Piccolomini d'Aragona

Buch | Softcover

2023 | Springer

ISBN: 9783031202957

CHF 69,⁸⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

A Concrete Introduction to Real Analysis

A Concrete Introduction to Real Analysis

von Robert Carlson

Buch | Softcover

2023 | Chapman & Hall/CRC

ISBN: 9781032476438

CHF 81,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

An Introduction to Proof Theory

An Introduction to Proof Theory

Normalization, Cut-Elimination, and Consistency Proofs

von Paolo Mancosu; Sergio Galvan; Richard Zach

Buch | Hardcover

2021 | Oxford University Press

ISBN: 9780192895936

CHF 145,¹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

Biological Models via Interval Type-2 Fuzzy Sets

Biological Models via Interval Type-2 Fuzzy Sets

von Rosana Sueli da Motta Jafelice; Ana Maria Amarillo..

Buch | Softcover

2021 | Springer International Publishing

ISBN: 9783030645298

CHF 89,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Computable Structure Theory

Computable Structure Theory

Within the Arithmetic

von Antonio Montalbán

Buch | Hardcover

2021 | Cambridge University Press

ISBN: 9781108423298

CHF 198,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen