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
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
»In der Regel sind Probleme, mit denen man in seiner Gegenwart konfrontiert ist, gar nicht so neu, wie man fürchtet, und oft fürchtet man sie nur, weil man sie für neu hält.«
Atlas der Sternenhimmel und Schöpfungsmythen der Menschheit
Untertitel
Beschreibung
Ein einzigartiges Buchprojekt: Raoul Schrotts großer Atlas der Sternenhimmel ermöglicht einen vollkommen neuen Blick auf die Menschheit und ihre weit zurückreichende Geschichte.
„Höchst anregend … jedes Kapitel fragt nach den Bedingungen, die ein freies Leben erst möglich machen, und ist als Ermutigung gedacht: Es liegt in unserer Hand.“
Philosophie Magazin, Elisa Primavera-Levy