VLB Suche

Das ist ein E-Book

Autor

Béla Bajnok

Titel

An Invitation to Abstract Mathematics

Beschreibung

This undergraduate textbook promotes an active transition to higher mathematics. Problem solving is the heart and soul of this book: each problem is carefully chosen to demonstrate, elucidate, or exte ...mehr

Verlag

Springer International Publishing

Erscheinungsdatum

27.10.2020

ISBN/EAN

978-3-030-56174-1

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

53,49 €

Das ist ein E-Book

Autor

Akihiro Kanamori

Titel

The Higher Infinite

Untertitel

Large Cardinals in Set Theory from Their Beginnings

Beschreibung

The higher in?nite refers to the lofty reaches of the in?nite cardinalities of set t- ory as charted out by large cardinal hypotheses. These hypotheses posit cardinals that prescribe their own transce ...mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

23.11.2008

ISBN/EAN

978-3-540-88867-3

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

139,09 €

Autor

Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring

Titel

Interactive Theorem Proving and Program Development

Untertitel

Coq’Art: The Calculus of Inductive Constructions

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

14.05.2004

ISBN/EAN

978-3-540-20854-9

Format

Einband - fest (Hardcover)

Status

lieferbar

Preis

117,69 €

In den Warenkorb legen

Das ist ein E-Book

Autor

Herausgegeben von V. Wiktor Marek, Herausgegeben von Anil Nerode, Herausgegeben von Miroslaw Truszcynski

Titel

Logic Programming and Nonmonotonic Reasoning

Untertitel

Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings

Beschreibung

This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA ...mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

30.06.2005

ISBN/EAN

978-3-540-49282-5

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

53,49 €

Das ist ein E-Book

Autor

Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring

Titel

Interactive Theorem Proving and Program Development

Untertitel

Coq’Art: The Calculus of Inductive Constructions

Beschreibung

Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. It is based on a theory called the calculus of inductive constructions, a variant of ...mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

14.03.2013

ISBN/EAN

978-3-662-07964-5

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

85,59 €

Autor

Herausgegeben von Eberhard Hohloch, Herausgegeben von Harro Kümmerer, Herausgegeben von Günther Kurz

Titel

Brücken zur Mathematik - Band 1

Untertitel

Grundlagen (4., neubearbeitete Auflage) - Vorkurs für Studienanfänger - Schulbuch mit CD-ROM

Beschreibung

Brücken zur Mathematik schließt die Kluft zwischen Schule und Hochschule, ohne einfach nur den Schulstoff zu wiederholen: Die Bände enthalten das mathematische Wissen, das für ein technisches, nat ...mehr

Verlag

Cornelsen Verlag

Erscheinungsdatum

30.08.2006

ISBN/EAN

978-3-06-455805-2

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

23,50 €

In den Warenkorb legen

Autor

F.D. Kamareddine, T. Laan, Rob Nederpelt

Titel

A Modern Perspective on Type Theory

Untertitel

From its Origins until Today

Beschreibung

mehr

Verlag

Springer Netherland

Erscheinungsdatum

22.10.2010

ISBN/EAN

978-90-481-6639-8

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

139,09 €

In den Warenkorb legen

Autor

W. Kuyk

Titel

Complementarity in Mathematics

Untertitel

A First Introduction to the Foundations of Mathematics and Its History

Beschreibung

mehr

Verlag

Springer Netherland

Erscheinungsdatum

25.12.2010

ISBN/EAN

978-90-481-8348-7

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

160,49 €

In den Warenkorb legen

Autor

Petr Hajek, Pavel Pudlak

Titel

Metamathematics of First-Order Arithmetic

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

17.03.1998

ISBN/EAN

978-3-540-63648-9

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

139,09 €

In den Warenkorb legen

Autor

Alfred Tarski

Titel

Collected Papers

Untertitel

Volume 2: 1935-1944

Beschreibung

mehr

Verlag

Springer International Publishing

Erscheinungsdatum

03.01.2019

ISBN/EAN

978-3-319-95428-8

Format

Einband - fest (Hardcover)

Status

lieferbar

Preis

181,89 €

In den Warenkorb legen