Nicht aus der Schweiz? Besuchen Sie lehmanns.de

Erweiterte
Suche

Artikel

Ergebnisse zu
Logik / Mengenlehre

Suche verfeinern

Darstellung

Sortierung

je Seite

Sprache

Jahr

Medienart

Logical Foundations of Proof Complexity

von Stephen Cook; Phuong Nguyen

Buch | Softcover

2014 | Cambridge University Press

ISBN: 9781107694118

CHF 99,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Theories of Computability

von Nicholas Pippenger

Buch | Hardcover

1997 | Cambridge University Press

ISBN: 9780521553803

CHF 189,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Categories for Types

von Roy L. Crole

Buch | Softcover

1994 | Cambridge University Press

ISBN: 9780521457019

CHF 109,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Set Theory for the Working Mathematician

von Krzysztof Ciesielski

Buch | Softcover

1997 | Cambridge University Press

ISBN: 9780521594653

CHF 79,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Introduction to Logic and to the Methodology of Deductive Sciences

von The late Alfred Tarski

Buch | Hardcover

1994 | Oxford University Press Inc

ISBN: 9780195044720

CHF 169,¹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Model Theory and Modules

von M. Prest

Buch | Softcover

1988 | Cambridge University Press

ISBN: 9780521348331

CHF 129,¹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Model Theory

von Wilfrid Hodges

Buch | Hardcover

1993 | Cambridge University Press

ISBN: 9780521304429

CHF 389,³⁰ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Multidimensional Programming

von E. A. Ashcroft; A. A. Faustini; R. Jaggannathan;..

Buch | Hardcover

1995 | Oxford University Press Inc

ISBN: 9780195075977

CHF 105,¹⁰ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Locally Presentable and Accessible Categories

von J. Adamek; J. Rosicky

Buch | Softcover

1994 | Cambridge University Press

ISBN: 9780521422611

CHF 153,⁶⁰ (inkl. MwSt)

in den Warenkorb

Versand in 15-20 Tagen

Groupoid Metrization Theory

With Applications to Analysis on Quasi-Metric Spaces and Functional Analysis

von Dorina Mitrea; Irina Mitrea; Marius Mitrea; Sylvie..

Buch | Hardcover

2012 | Birkhauser Boston Inc

ISBN: 9780817683962

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Effective Mathematics of the Uncountable

von Noam Greenberg; Denis Hirschfeldt; Joel David..

Buch | Hardcover

2013 | Cambridge University Press

ISBN: 9781107014510

CHF 199,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Categorical Combinators, Sequential Algorithms, and Functional Programming

von P.-L. Curien

Buch | Softcover

2012 | Springer-Verlag New York Inc.

ISBN: 9781461267041

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Mathematical Logic

von Petio P. Petkov

Buch | Softcover

2011 | Springer-Verlag New York Inc.

ISBN: 9781461278900

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Automated Theorem Proving

Theory and Practice

von Monty Newborn

Buch | Softcover

2013 | Springer-Verlag New York Inc.

ISBN: 9781461265191

CHF 179,⁷⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Chow Rings, Decomposition of the Diagonal, and the Topology of Families

von Claire Voisin

Buch | Softcover

2014 | Princeton University Press

ISBN: 9780691160511

CHF 139,⁶⁵ (inkl. MwSt)

in den Warenkorb

Lieferbar (Termin unbekannt)

Basic Category Theory

von Tom Leinster

Buch | Hardcover

2014 | Cambridge University Press

ISBN: 9781107044241

CHF 99,⁰⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

Type Theory and Formal Proof

An Introduction

von Rob Nederpelt; Herman Geuvers

Buch | Hardcover

2014 | Cambridge University Press

ISBN: 9781107036505

CHF 116,⁹⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

Reflections on Quanta, Symmetries, and Supersymmetries

von V.S. Varadarajan

Buch | Softcover

2014 | Springer-Verlag New York Inc.

ISBN: 9781489989444

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Larch: Languages and Tools for Formal Specification

von John V. Guttag; James J. Horning

Buch | Softcover

2011 | Springer-Verlag New York Inc.

ISBN: 9781461276364

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

Versand in 10-15 Tagen

Quantum Physics and Linguistics

A Compositional, Diagrammatic Discourse

von Chris Heunen; Mehrnoosh Sadrzadeh; Edward..

Buch | Hardcover

2013 | Oxford University Press

ISBN: 9780199646296

CHF 135,¹⁰ (inkl. MwSt)

in den Warenkorb

Versand in 10-20 Tagen

Ergebnisse zu Logik / Mengenlehre

Ergebnisse zu
Logik / Mengenlehre