Ergebnisse zu
Logik / Mengenlehre

Many Valued Topology and its Applications

von Ulrich Höhle

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792373186

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

New Trends in Quantum Systems in Chemistry and Physics

Volume 2 Advanced Problems and Complex Systems Paris, France, 1999

von J. Maruani; Christian Minot; R. McWeeny; Y.G...

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9780792367093

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Rewriting Techniques and Applications

Bordeaux, France, May 25-27, 1987. Proceedings

von Pierre Lescanne

Buch | Softcover

1987 | Springer Berlin

ISBN: 9783540172208

CHF 52,⁴⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Self-Reference and Modal Logic

von Craig Smorynski

Buch | Softcover

1985 | Springer-Verlag New York Inc.

ISBN: 9780387962092

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Perspectives of Elementary Mathematics

von G.P. Hochschild

Buch | Softcover

1983 | Springer-Verlag New York Inc.

ISBN: 9780387908489

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Acting and Reflecting

The Interdisciplinary Turn in Philosophy

von Wilfried Sieg

Buch | Hardcover

1989 | Kluwer Academic Publishers

ISBN: 9780792305125

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

7th International Conference on Automated Deduction

Proceedings

von R. E. Shostak

Buch | Softcover

1984 | Springer-Verlag New York Inc.

ISBN: 9780387960227

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

8th International Conference on Automated Deduction

Oxford, England, July 27- August 1, 1986. Proceedings

von Jörg H. Siekmann

Buch | Softcover

1986 | Springer Berlin

ISBN: 9783540167808

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Complexity Theory Retrospective

In Honor of Juris Hartmanis on the Occasion of His Sixtieth Birthday, July 5, 1988

von Alan L. Selman

Buch | Hardcover

1990 | Springer-Verlag New York Inc.

ISBN: 9780387973500

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 2: Computation and Proof Theory

von M. M. Richter; E. Börger; W. Oberschelp; B...

Buch | Softcover

1984 | Springer Berlin

ISBN: 9783540139010

CHF 67,³⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Turing Machines with Sublogarithmic Space

von Andrzej Szepietowski

Buch | Softcover

1994 | Springer Berlin

ISBN: 9783540583554

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Injective Choice Functions

von Michael Holz; Klaus-Peter Podewski; Karsten..

Buch | Softcover

1987 | Springer Berlin

ISBN: 9783540172215

CHF 37,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Model Theory and Arithmetic

Comptes rendus d'une action thematique programmee du C.N.R.S. sur la theorie des modeles et l'Arithmetique, Paris, France, 1979/80

von C. Berline; K. McAloon; J.-P. Ressayre

Buch | Softcover

1981 | Springer Berlin

ISBN: 9783540111597

CHF 59,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logic and Machines: Decision Problems and Complexity

Proceedings of the Symposium “Rekursive Kombinatorik” held from May 23–28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der..

von E. Börger; G. Hasenjaeger; D. Rödding

Buch | Softcover

1984 | Springer Berlin

ISBN: 9783540133315

CHF 52,⁴⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

First Order Categorical Logic

Model-Theoretical Methods in the Theory of Topoi and Related Categories

von M. Makkai; G.E. Reyes

Buch | Softcover

1977 | Springer Berlin

ISBN: 9783540084396

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Proceedings of the Summer School in Logik, Leeds, 1967

N.A.T.O. Advanced Study Institute Meeting of the Association for Symbolic Logic

von Martin H. Löb

Buch | Softcover

1968 | Springer Berlin

ISBN: 9783540042402

CHF 59,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Nonstandard Analysis - Recent Developments

von A.E. Hurd

Buch | Softcover

1983 | Springer Berlin

ISBN: 9783540122791

CHF 67,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Category Theory

Applications to Algebra, Logic and Topology. Proceedings of the International Conference Held at Gummersbach, July 6-10, 1981

von K. H. Kamps; D. Pumplün; W. Tholen

Buch | Softcover

1982 | Springer Berlin

ISBN: 9783540119616

CHF 52,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Recent Trends in Algebraic Development Techniques

19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

von Andrea Corradini; Ugo Montanari

Buch | Softcover

2009 | Springer Berlin

ISBN: 9783642034282

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Hyperfinite Dirichlet Forms and Stochastic Processes

von Sergio Albeverio; Ruzong Fan; Frederik S. Herzberg

Buch | Softcover

2011 | Springer Berlin

ISBN: 9783642196584

CHF 67,³⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Introduction to Boolean Algebras

von Steven Givant; Paul Halmos

Buch | Softcover

2010 | Springer-Verlag New York Inc.

ISBN: 9781441923240

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Automata, Languages and Programming

10th Colloquium Barcelona, Spain, July 18–22, 1983

von J. Diaz

Buch | Softcover

1983 | Springer Berlin

ISBN: 9783540123170

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Petri Nets: Central Models and Their Properties

Advances in Petri Nets 1986, Part I Proceedings of an Advanced Course Bad Honnef, 8.–19. September 1986

von Wilfried Brauer; Wolfgang Reisig; Grzegorz..

Buch | Softcover

1987 | Springer Berlin

ISBN: 9783540179054

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Automata, Languages and Programming

Ninth Colloquium Aarhus, Denmark, July 12–16, 1982

von M. Nielsen; E. M. Schmidt

Buch | Softcover

1982 | Springer Berlin

ISBN: 9783540115762

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Model Theory : An Introduction

von David Marker

Buch | Softcover

2010 | Springer-Verlag New York Inc.

ISBN: 9781441931573

CHF 74,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Nonstandard Analysis, Axiomatically

von Vladimir Kanovei; Michael Reeken

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642060779

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Applied Proof Theory: Proof Interpretations and their Use in Mathematics

von Ulrich Kohlenbach

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642096273

CHF 194,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Type-2 Fuzzy Logic: Theory and Applications

von Oscar Castillo; Patricia Melin

Buch | Softcover

2010 | Springer Berlin

ISBN: 9783642095139

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Introduction to Mathematical Logic

von Hans Hermes

Buch | Softcover

1973 | Springer Berlin

ISBN: 9783540058199

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logic Year 1979-80

The University of Connecticut, USA

von M. Lerman; J.H. Schmerl; R.I. Soare

Buch | Softcover

1981 | Springer Berlin

ISBN: 9783540107088

CHF 59,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical..

von W. Buchholz; S. Feferman; W. Pohlers; W. Sieg

Buch | Softcover

1981 | Springer Berlin

ISBN: 9783540111702

CHF 52,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

A Missing Link in Cybernetics

Logic and Continuity

von Alex M. Andrew

Buch | Hardcover

2009 | Springer-Verlag New York Inc.

ISBN: 9780387751634

CHF 169,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Type-2 Fuzzy Logic: Theory and Applications

von Oscar Castillo; Patricia Melin

Buch | Hardcover

2008 | Springer Berlin

ISBN: 9783540762836

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Logical Foundations of Mathematics and Computational Complexity

A Gentle Introduction

von Pavel Pudlák

Buch | Hardcover

2013 | Springer International Publishing

ISBN: 9783319001180

CHF 269,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Cylindric-like Algebras and Algebraic Logic

von Hajnal Andréka; Miklós Ferenczi; István Németi

Buch | Softcover

2015 | Springer Berlin

ISBN: 9783642437991

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

More Sets, Graphs and Numbers

A Salute to Vera Sòs and András Hajnal

von Ervin Gyori; Gyula O.H. Katona; László Lovász

Buch | Softcover

2014 | Springer Berlin

ISBN: 9783642421631

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Foundations of Mathematics

Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel

von Jack John Bulloff; Thomas Campell Holyoke; S.W...

Buch | Softcover

2012 | Springer Berlin

ISBN: 9783642867477

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

An Introduction to the Language of Mathematics

von Frédéric Mynard

Buch | Hardcover

2018 | Springer International Publishing

ISBN: 9783030006402

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Understanding Mathematical Proof

von John Taylor; Rowan Garnier

Buch | Hardcover

2018 | CRC Press

ISBN: 9781138466852

CHF 329,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Philosophical Logic: Current Trends in Asia

Proceedings of AWPL-TPLC 2016

von Syraya Chin-Mu Yang; Kok Yong Lee; Hiroakira Ono

Buch | Softcover

2018 | Springer Verlag, Singapore

ISBN: 9789811348631

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Hybrid Algorithms, Techniques and Implementations of Fuzzy Logic

von Ivan Stanimirović

Buch | Hardcover

2018 | Arcler Education Inc

ISBN: 9781773613796

CHF 229,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Algebraic $/overline {/mathbb {Q}}$-Groups As Abstract Groups

von Olivier Frecon

Buch | Softcover

2018 | American Mathematical Society

ISBN: 9781470429232

CHF 122,⁸⁰ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Theories of the Logos

von Ermanno Bencivenga

Buch | Hardcover

2017 | Springer International Publishing

ISBN: 9783319633954

CHF 134,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Freedom and Enforcement in Action

A Study in Formal Action Theory

von Janusz Czelakowski

Buch | Softcover

2016 | Springer

ISBN: 9789402401332

CHF 97,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Advances in Natural Deduction

A Celebration of Dag Prawitz's Work

von Luiz Carlos Pereira; edward haeusler; Valeria De..

Buch | Softcover

2016 | Springer

ISBN: 9789402406870

CHF 179,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Lectures on Infinitary Model Theory

von David Marker

Buch | Hardcover

2016 | Cambridge University Press

ISBN: 9781107181939

CHF 199,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Cryptography

Theory and Practice, Fourth Edition

von Douglas Robert Stinson; Maura Paterson

Buch | Hardcover

2018 | CRC Press

ISBN: 9781138197015

CHF 159,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Grammars for Language and Genes

Theoretical and Empirical Investigations

von David Chiang

Buch | Softcover

2013 | Springer Berlin

ISBN: 9783642270802

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Beauty of Fractals

Images of Complex Dynamical Systems

von Heinz-Otto Peitgen; Peter H. Richter

Buch | Softcover

2011 | Springer Berlin

ISBN: 9783642617195

CHF 164,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Student Solutions Manual to Accompany Advanced Engineering Mathematics

von Dennis G. Zill

Buch | Softcover

2020 | Jones and Bartlett Publishers, Inc

ISBN: 9781284206265

CHF 78,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen