Herausgegeben von Dov M. Gabbay, Herausgegeben von Michael Zakharyaschev
Titel
Mathematical Problems from Applied Logic I
Untertitel
Logics for the XXIst Century
Beschreibung
Mathematical Problems from Applied Logic I presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in li ...mehr
Verlag
Springer US
Erscheinungsdatum
02.07.2006
ISBN/EAN
978-0-387-31072-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
149,79 €
Das ist ein E-Book
Autor
Raymond R. Smullyan
Titel
First-Order Logic
Beschreibung
Except for this preface, this study is completely self-contained. It is intended to serve both as an introduction to Quantification Theory and as an exposition of new results and techniques in "analyt ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
06.12.2012
ISBN/EAN
978-3-642-86718-7
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Herausgegeben von P.A. Flach, Herausgegeben von Antonis Hadjiantonis
Titel
Abduction and Induction
Untertitel
Essays on their Relation and Integration
Beschreibung
From the very beginning of their investigation of human reasoning, philosophers have identified two other forms of reasoning, besides deduction, which we now call abduction and induction. Deduction ...mehr
STARK Kompetenzen Mathematik 3./4. Klasse - Raum und Form/Muster und Strukturen
Beschreibung
Kompetenzen Mathematik 3./4. Klasse – Raum und Form / Muster und Strukturen
Mit diesem Buch können Schülerinnen und Schüler den gesamten Stoff der Kompetenzbereiche Muster und Strukturen und Raum ...mehr
In this book, Paulo Guilherme Santos studies diagonalization in formal mathematics from logical aspects to everyday mathematics. He starts with a study of the diagonalization lemma and its relation to ...mehr
Verlag
Springer Fachmedien Wiesbaden GmbH
Erscheinungsdatum
04.01.2020
ISBN/EAN
978-3-658-29111-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
Herausgegeben von Hung T. Nguyen, Herausgegeben von Michio Sugeno
Formal Properties of Finite Automata and Applications
Untertitel
LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings
Beschreibung
The volume contains the proceedings of the 16th Spring School on Theoretical Computer Science held in Ramatuelle, France, in May 1988. It is a unique combination of research level articles on various ...mehr
Verlag
Springer-Verlag GmbH
Erscheinungsdatum
23.11.2005
ISBN/EAN
978-3-540-46721-2
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Autor
W. M. Gluschkow, G. J. Zeitlin, J. L. Justschenko, Herausgegeben von Rolf Lindnert, Herausgegeben von Hansgeorg Meißner
Titel
Algebra, Sprachen, Programmierung
Beschreibung
Keine ausführliche Beschreibung für "Algebra, Sprachen, Programmierung" verfügbar.mehr
“Dass deutsche Historiker auch elegant und fesselnd schreiben können, beweist Volker Ullrich. Spannender als mancher Krimi.” Martin Doerry, SPIEGEL Plus