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 Berlin
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
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 Timothy J. Madigan, Herausgegeben von Jean-Yves Béziau
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
Roman. Aus dem Amerikanischen von Tobias Schnettler
Beschreibung
Ein wirklich guter Berlinroman.
Mit Leichtigkeit werden schwierige Themen verhandelt: Identität, Gender, Nationalsozialismus, Klassengrenzen und vieles mehr.