VLB Suche

Autor

Witold A. Pogorzelski, Piotr Wojtylak

Titel

Completeness Theory for Propositional Logics

Beschreibung

mehr

Verlag

Springer Basel

Erscheinungsdatum

17.04.2008

ISBN/EAN

978-3-7643-8517-0

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

53,49 €

In den Warenkorb legen

Das ist ein E-Book

Autor

Herausgegeben von Michel Parigot, Herausgegeben von Andrei Voronkov

Titel

Logic for Programming and Automated Reasoning

Untertitel

7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

31.07.2003

ISBN/EAN

978-3-540-44404-6

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

53,49 €

Autor

Herausgegeben von Andrew McFarland, Herausgegeben von Joanna McFarland, Herausgegeben von James T. Smith, Vorwort von Ivor Grattan-Guinness

Titel

Alfred Tarski

Untertitel

Early Work in Poland—Geometry and Teaching

Beschreibung

mehr

Verlag

Springer US

Erscheinungsdatum

22.09.2016

ISBN/EAN

978-1-4939-5117-8

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

106,99 €

In den Warenkorb legen

Autor

Herausgegeben von Hans-Jürgen Zimmermann

Titel

Practical Applications of Fuzzy Technologies

Beschreibung

mehr

Verlag

Springer US

Erscheinungsdatum

30.11.1999

ISBN/EAN

978-0-7923-8628-5

Format

Einband - fest (Hardcover)

Status

lieferbar

Preis

213,99 €

In den Warenkorb legen

Das ist ein E-Book

Autor

Haimanti Sarbadhikari, Shashi Mohan Srivastava

Titel

A Course on Basic Model Theory

Beschreibung

This self-contained book is an exposition of the fundamental ideas of model theory. It presents the necessary background from logic, set theory and other topics of mathematics. Only some degree of mat ...mehr

Verlag

Springer Singapore

Erscheinungsdatum

05.09.2017

ISBN/EAN

978-981-10-5098-5

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

53,49 €

Das ist ein E-Book

Autor

A.B. Kharazishvili

Titel

Applications of Point Set Theory in Real Analysis

Beschreibung

This book is devoted to some results from the classical Point Set Theory and their applications to certain problems in mathematical analysis of the real line. Notice that various topics from this theo ...mehr

Verlag

Springer Netherland

Erscheinungsdatum

09.03.2013

ISBN/EAN

978-94-017-0750-3

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

96,29 €

Autor

Herausgegeben von E. Casari

Titel

Aspects of Mathematical Logic

Untertitel

Lectures given at a Summer School of the Centro Internazionale Matematico Estivo (C.I.M.E.) held in Varenna (Como), Italy, September 9-17, 1968

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

30.11.2010

ISBN/EAN

978-3-642-11078-8

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

37,40 €

In den Warenkorb legen

Autor

Leonid Libkin

Titel

Elements of Finite Model Theory

Beschreibung

mehr

Verlag

Springer-Verlag GmbH

Erscheinungsdatum

02.07.2004

ISBN/EAN

978-3-540-21202-7

Format

Einband - fest (Hardcover)

Status

lieferbar

Preis

96,29 €

In den Warenkorb legen

Autor

Herausgegeben von Toshiyasu Arai, Herausgegeben von Makoto Kikuchi, Herausgegeben von Satoru Kuroda, Herausgegeben von Mitsuhiro Okada, Herausgegeben von Teruyuki Yorioka

Titel

Advances in Mathematical Logic

Untertitel

Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions

Beschreibung

mehr

Verlag

Springer Singapore

Erscheinungsdatum

26.01.2023

ISBN/EAN

978-981-16-4175-6

Format

Einband - flex.(Paperback)

Status

lieferbar

Preis

171,19 €

In den Warenkorb legen

Das ist ein E-Book

Autor

D. Mundici

Titel

Advanced Łukasiewicz calculus and MV-algebras

Beschreibung

This is a continuation of Vol. 7 of Trends in Logic. It wil cover the wealth of recent developments of Lukasiewicz Logic and their algebras (Chang MV-algebras), with particular reference to (de Finett ...mehr

Verlag

Springer Netherland

Erscheinungsdatum

22.06.2011

ISBN/EAN

978-94-007-0840-2

Format

E-Buch Text Elektronisches Buch in proprietärem

Status

lieferbar

Preis

96,29 €