Herausgegeben von Francine F. Abeles, Herausgegeben von Mark E. Fuller
Titel
Modern Logic 1850-1950, East and West
Beschreibung
This book presents diverse topics in mathematical logic such as proof theory, meta-mathematics, and applications of logic to mathematical structures. The collection spans the first 100 years of modern ...mehr
Verlag
Springer International Publishing
Erscheinungsdatum
26.05.2016
ISBN/EAN
978-3-319-24756-4
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Herausgegeben von Jose-Manuel Colom, Herausgegeben von Maciej Koutny
Titel
Applications and Theory of Petri Nets 2001
Untertitel
22nd International Conference, ICATPN 2001 Newcastle upon Tyne, UK, June 25-29, 2001 Proceedings
Herausgegeben von R. Bogdan, Herausgegeben von I. Niiniluoto
Titel
Logic, Language, and Probability
Untertitel
A Selection of Papers Contributed to Sections IV, VI, and XI of the Fourth International Congress for Logic, Methodology, and Philosophy of Science, Bucharest, September 1971
This is the first book on cut-elimination in first-order predicate logic from an algorithmic point of view. Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic meth ...mehr
Verlag
Springer Netherland
Erscheinungsdatum
07.01.2011
ISBN/EAN
978-94-007-0320-9
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
96,29 €
Das ist ein E-Book
Autor
Peter Tittmann
Titel
Graphentheorie
Untertitel
Eine anwendungsorientierte Einführung
Beschreibung
Dieses Buch liefert eine Einführung in die Graphentheorie - ein Lehrgebiet, das heute nicht nur in der Mathematikausbildung eine große Rolle spielt. Die vielfältigen Anwendungen der Graphentheorie ...mehr
Verlag
Hanser, Carl
Erscheinungsdatum
11.03.2019
ISBN/EAN
978-3-446-46503-9
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
12,99 €
Autor
Herausgegeben von Egbert Dierker, Epilog von F. Alt, Vorwort von G. Debreu, Beiträge von W. Dawson, Herausgegeben von Karl Sigmund, Beiträge von R. Engelking, Beiträge von W. Hildenbrand
Titel
Karl Menger, Ergebnisse eines Mathematischen Kolloquiums
From the reviews: "A good textbook can improve a lecture course enormously, especially when the material of the lecture includes many technical details. Van Dalen's book, the success and popularity of ...mehr
Eine Geschichte sexueller Gewalt in der Bundesrepublik 1973 bis 1997
Beschreibung
Erst 1997 wurde Vergewaltigung in der Ehe strafbar. Hannah Davies hat den zwanzig Jahre langen Kampf um den Paragraphen 177 dokumentiert – und die kruden Argumente gesammelt, mit denen er verteidigt wurde.
Die sámische Schriftstellerin und Umweltwissenschaftlerin Inkeri Markkula erzählt von einer unmöglichen Liebe zwischen Kanada, Dänemark und Finnland – und entdeckt eine neue Perspektive auf Rassismus, kulturelle Traumata und die drohende Klimakatastrophe im arktischen Raum.
In ihrem eindringlichen Roman Der andere Arthur macht Liz Moore zwei Außenseiter zu Helden. Mit feinem Gespür erzählt sie von zerbrochenen Lebensentwürfen, echter Freundschaft und unvorhergesehenen Neuanfängen.