Ergebnisse zu
Logik / Mengenlehre

Gödel's Disjunction

The scope and limits of mathematical knowledge

von Leon Horsten; Philip Welch

Buch | Hardcover

2016 | Oxford University Press

ISBN: 9780198759591

CHF 146,¹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Completeness Theory for Propositional Logics

von Witold A. Pogorzelski; Piotr Wojtylak

Buch | Softcover

2008 | Springer Basel

ISBN: 9783764385170

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Generalized Measure Theory

von Zhenyuan Wang; George J. Klir

Buch | Hardcover

2008 | Springer-Verlag New York Inc.

ISBN: 9780387768519

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

von Ulrich Kohlenbach

Buch | Hardcover

2008 | Springer Berlin

ISBN: 9783540775324

CHF 194,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Complexity of Valued Constraint Satisfaction Problems

von Stanislav Živný

Buch | Hardcover

2012 | Springer Berlin

ISBN: 9783642339738

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Reasoning Web. Semantic Technologies for Intelligent Data Access

9th International Summer School 2013, Mannheim, Germany, July 30 -- August 2, 2013. Proceedings

von Sebastian Rudolph; Georg Gottlob; Ian Horrocks;..

Buch | Softcover

2013 | Springer Berlin

ISBN: 9783642397837

CHF 68,⁹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Naive Set Theory

von P. R. Halmos

Buch | Softcover

2014 | Springer-Verlag New York Inc.

ISBN: 9780387901046

CHF 127,³⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Ludwig Wittgenstein’s Philosophical Investigations

An Attempt at a Critical Rationalist Appraisal

von Joseph Agassi

Buch | Hardcover

2018 | Springer International Publishing

ISBN: 9783030001162

CHF 134,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Handbook of Logic and Language

von Johan F.A.K. van Benthem; Alice Ter Meulen

Buch | Softcover

2010 | Elsevier Science Ltd

ISBN: 9780444602251

CHF 239,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Square of Opposition: A Cornerstone of Thought

von Jean-Yves Béziau; Gianfranco Basti

Buch | Softcover

2017 | Springer International Publishing

ISBN: 9783319450612

CHF 119,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Lectures in Model Theory

von Franziska Jahnke; Daniel Palacín; Katrin Tent

Buch | Softcover

2018 | Auflage: 1 | EMS Press

ISBN: 9783037191842

CHF 53,²⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Model Reduction and Approximation

Theory and Algorithms

von Peter Benner; Albert Cohen; Mario Ohlberger; Karen..

Buch | Softcover

2017 | Society for Industrial & Applied..

ISBN: 9781611974812

CHF 164,¹⁰ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Pell and Pell–Lucas Numbers with Applications

von Thomas Koshy

Buch | Softcover

2016 | Springer-Verlag New York Inc.

ISBN: 9781493953417

CHF 89,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Alfred Tarski

Early Work in Poland—Geometry and Teaching

von Andrew McFarland; Joanna McFarland; James T. Smith

Buch | Softcover

2016 | Birkhauser Boston Inc

ISBN: 9781493951178

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Incomputable

Journeys Beyond the Turing Barrier

von S. Barry Cooper; Mariya I. Soskova

Buch | Hardcover

2017 | Springer International Publishing

ISBN: 9783319436678

CHF 194,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Universal Computer

The Road from Leibniz to Turing, Third Edition

von Martin Davis

Buch | Softcover

2018 | CRC Press

ISBN: 9781138502086

CHF 67,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Sorting in the Kitchen

von Theia Lake

Buch | Softcover

2023 | PowerKids Press

ISBN: 9781499443721

CHF 14,⁹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Aspects of Molecular Computing

Essays Dedicated to Tom Head on the Occasion of His 70th Birthday

von Natasha Jonoska; Gheorghe Păun; Grzegorz Rozenberg

Buch | Softcover

2003 | Springer Berlin

ISBN: 9783540207818

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Cellular Automata and Cooperative Systems

von N. Boccara; E. Goles; Servet Martinez; Pierre..

Buch | Hardcover

1993 | Kluwer Academic Publishers

ISBN: 9780792322726

CHF 449,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Fuzzy Logic and its Applications to Engineering, Information Sciences, and Intelligent..

von Zeungnam Bien; K.C. Min

Buch | Hardcover

1995 | Kluwer Academic Publishers

ISBN: 9780792337553

CHF 119,⁷⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Mind, Meaning and Mathematics

Essays on the Philosophical Views of Husserl and Frege

von L. Haaparanta

Buch | Hardcover

1994 | Kluwer Academic Publishers

ISBN: 9780792327035

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Nonmonotonic Logic

Context-Dependent Reasoning

von V. Wiktor Marek; Miroslaw Truszczynski

Buch | Hardcover

1993 | Springer Berlin

ISBN: 9783540564485

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Fuzzy Approach to Reasoning and Decision-making

Selected Papers of the International Symposium Held at Bechyne from June 25-29, 1990

von Vil'em Novak; Jaroslav Ramik; Milan Mares; Martin..

Buch | Hardcover

1992 | Kluwer Academic Publishers

ISBN: 9780792313588

CHF 259,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Lieferbar

Fuzzy Control of Industrial Systems

Theory and Applications

von Ian S. Shaw

Buch | Hardcover

1998 | Kluwer Academic Publishers

ISBN: 9780792382492

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Fuzzy Set Theory and Advanced Mathematical Applications

von Da Ruan

Buch | Hardcover

1995 | Kluwer Academic Publishers

ISBN: 9780792395867

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Polytopes

Abstract, Convex and Computational

von Tibor Bisztriczky; Peter McMullen; Rolf Schneider;..

Buch | Hardcover

1994 | Kluwer Academic Publishers

ISBN: 9780792330165

CHF 449,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Sorts and Types in Artificial Intelligence

Workshop, Eringerfeld, FRG, April 24-26, 1989. Proceedings

von Karl H. Bläsius; Ulrich Hedtstück; Claus-Rainer..

Buch | Softcover

1990 | Springer Berlin

ISBN: 9783540523376

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Recursion Theory Week

Proceedings of a Conference held in Oberwolfach, FRG, March 19-25, 1989

von Klaus Ambos-Spies; Gert H. Müller; Gerald E. Sacks

Buch | Softcover

1990 | Springer Berlin

ISBN: 9783540527725

CHF 52,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

von Peter Baumgartner; Reiner Hähnle; Joachim Posegga

Buch | Softcover

1995 | Springer Berlin

ISBN: 9783540593386

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Belief Change

von Dov M. Gabbay; Philippe Smets

Buch | Hardcover

1998 | Kluwer Academic Publishers

ISBN: 9780792351627

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Intelligent Hybrid Systems

Fuzzy Logic, Neural Networks, and Genetic Algorithms

von Da Ruan

Buch | Hardcover

1997 | Kluwer Academic Publishers

ISBN: 9780792399995

CHF 269,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Natural Language and Logic

International Scientific Symposium, Hamburg, FRG, May 9-11, 1989. Proceedings

von Rudi Studer

Buch | Softcover

1990 | Springer Berlin

ISBN: 9783540530824

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

A Mathematical Theory of Hints

An Approach to the Dempster-Shafer Theory of Evidence

von Juerg Kohlas; Paul-Andre Monney

Buch | Softcover

1995 | Springer Berlin

ISBN: 9783540591764

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logic Programming and Automated Reasoning

4th International Conference, LPAR'93, St.Petersburg, Russia, July 13-20, 1993. Proceedings

von Andrei Voronkov

Buch | Softcover

1993 | Springer Berlin

ISBN: 9783540569442

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Goal-Directed Proof Theory

von Dov M. Gabbay; N. Olivetti

Buch | Hardcover

2000 | Kluwer Academic Publishers

ISBN: 9780792364733

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Cellular Automata

A Parallel Model

von M. Delorme; J. Mazoyer

Buch | Hardcover

1998 | Kluwer Academic Publishers

ISBN: 9780792354932

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Advanced Topics in Term Rewriting

von Enno Ohlebusch

Buch | Hardcover

2002 | Springer-Verlag New York Inc.

ISBN: 9780387952505

CHF 104,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Algebraic Foundations of Many-Valued Reasoning

von R.L. Cignoli; Itala M. d'Ottaviano; Daniele Mundici

Buch | Hardcover

1999 | Kluwer Academic Publishers

ISBN: 9780792360094

CHF 209,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Challenges for Action Theories

von Michael Thielscher

Buch | Softcover

2000 | Springer Berlin

ISBN: 9783540674559

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Domains and Processes

Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

von Klaus Keimel; Guo-Qiang Zhang; Ying Ming Liu;..

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792371434

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Design Considerations of Time in Fuzzy Systems

von J. Virant

Buch | Hardcover

1999 | Kluwer Academic Publishers

ISBN: 9780792361008

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Generalized Quantifiers and Computation

9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures

von Jouko Väänänen

Buch | Softcover

2000 | Springer Berlin

ISBN: 9783540669937

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Applied Research in Fuzzy Technology

Three years of research at the Laboratory for International Fuzzy Engineering (LIFE), Yokohama, Japan

Buch | Hardcover

1994 | Kluwer Academic Publishers

ISBN: 9780792394969

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Automated Deduction — CADE-12

12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

von Alan Bundy

Buch | Softcover

1994 | Springer Berlin

ISBN: 9783540581567

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Applications of Point Set Theory in Real Analysis

von A.B. Kharazishvili

Buch | Hardcover

1998 | Kluwer Academic Publishers

ISBN: 9780792349792

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Algorithms: Main Ideas and Applications

von Vladimir Uspensky; A.L. Semenov

Buch | Hardcover

1993 | Kluwer Academic Publishers

ISBN: 9780792322108

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

The Enumerative Theory of Conics after Halphen

von Eduardo Casas-Alvero; Sebastian Xambo-Descamps

Buch | Softcover

1986 | Springer Berlin

ISBN: 9783540164951

CHF 37,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Formal Properties of Finite Automata and Applications

LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988. Proceedings

von Jean E. Pin

Buch | Softcover

1989 | Springer Berlin

ISBN: 9783540516316

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Elements of Logic via Numbers and Sets

von D.L. Johnson

Buch | Softcover

1998 | Springer Berlin

ISBN: 9783540761235

CHF 52,⁴⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Boolean Valued Analysis

von Anatoly G. Kusraev; Semen S. Kutateladze

Buch | Hardcover

1999 | Kluwer Academic Publishers

ISBN: 9780792359210

CHF 249,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Lieferbar