Senza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i c ...mehr
Verlag
Springer Italia
Erscheinungsdatum
01.05.2011
ISBN/EAN
978-88-470-1884-6
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
17,98 €
Das ist ein E-Book
Autor
D.W. Barnes, J.M. Mack
Titel
An Algebraic Introduction to Mathematical Logic
Beschreibung
This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial course on abstract algebra. Consequently, our ...mehr
Verlag
Springer US
Erscheinungsdatum
29.06.2013
ISBN/EAN
978-1-4757-4489-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
80,24 €
Autor
Herausgegeben von Giovanni Sommaruga
Titel
Foundational Theories of Classical and Constructive Mathematics
Das vorliegende Übungsheft, soll in erster Linie der Vorbereitung auf das Studium an Fachhochschulen dienen.
Für die Aufnahme eines Hochschulstudiums ist das Fachabitur oder die fachgebundene Hoc ...mehr
Herausgegeben von Habib Abdulrab, Herausgegeben von Jean-Pierre Pecuchet
Titel
Word Equations and Related Topics
Untertitel
Second International Workshop, IWWERT '91, Rouen, France, October 7-9, 1991. Proceedings
Beschreibung
This volume contains papers presented at the second
International Workshop on Word Equations and Related Topics
(IWWERT '91), held at the University ofRouen in October
1991.
The papers are on the fol ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
30.06.2005
ISBN/EAN
978-3-540-47636-8
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
M. Makkai, G.E. Reyes
Titel
First Order Categorical Logic
Untertitel
Model-Theoretical Methods in the Theory of Topoi and Related Categories
DIE MATHLETEN Mein Mathematik Workbook - Stochastik
Beschreibung
🤩 Du willst mehr Übungen? Bekommst du! 🤩
🤝 Geeignet für die gesamte Oberstufe
📖 Stochastik (Transfer-) Aufgaben-Sammlung, zum Üben für Schulaufgaben und Klausuren auf Abiturniveau
� ...mehr
Igor Lavrov, Herausgegeben von G. Corsi, Larisa Maksimova
Titel
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms
Beschreibung
Problems in Set Theory, Mathematical Logic and the Theory of Algorithms by I. Lavrov & L. Maksimova is an English translation of the fourth edition of the most popular student problem book in math ...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