Ergebnisse zu
Logik / Mengenlehre

Linear Logic in Computer Science

von Thomas Ehrhard; Jean-Yves Girard; Paul Ruet;..

Buch | Softcover

2004 | Cambridge University Press

ISBN: 9780521608572

CHF 157,¹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Transform Methods in Applied Mathematics

An Introduction

von Peter Lancaster; Kestutis Šalkauskas

Buch | Hardcover

1996 | Wiley-Interscience

ISBN: 9780471008101

CHF 299,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Foundations of Mathematics in the Theory of Sets

von John P. Mayberry

Buch | Hardcover

2001 | Cambridge University Press

ISBN: 9780521770347

CHF 229,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Moment of Proof

Mathematical Epiphanies

von Benson

Buch | Softcover

2001 | Oxford University Press Inc

ISBN: 9780195139198

CHF 71,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Realism Regained

An Exact Theory of Causation, Teleology, and the Mind

von Robert Koons

Buch | Hardcover

2000 | Oxford University Press Inc

ISBN: 9780195135671

CHF 189,¹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Principia Mathematica to *56

von Alfred North Whitehead; Bertrand Russell

Buch | Softcover

1997 | Cambridge University Press

ISBN: 9780521626064

CHF 174,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Reality of Numbers

A Physicalist's Philosophy of Mathematics

von John Bigelow

Buch | Hardcover

1988 | Clarendon Press

ISBN: 9780198249573

CHF 189,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Theory of Recursive Functions and Effective Computability

von Hartley Rogers

Buch | Softcover

1987 | MIT Press

ISBN: 9780262680523

CHF 69,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Lieferbar

The Logic of Reliable Inquiry

von Kevin T. Kelly

Buch | Hardcover

1996 | Oxford University Press Inc

ISBN: 9780195091953

CHF 235,²⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Philosophy of Mathematics Today

von Matthias Schirn

Buch | Hardcover

1998 | Oxford University Press

ISBN: 9780198236542

CHF 128,¹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Logic and Computation

Interactive Proof with Cambridge LCF

von Lawrence C. Paulson

Buch | Softcover

1990 | Cambridge University Press

ISBN: 9780521395601

CHF 89,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Logical Reasoning with Diagrams

von Gerard Allwein; Jon Barwise

Buch | Hardcover

1996 | Oxford University Press Inc

ISBN: 9780195104271

CHF 205,²⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Importance of Being Fuzzy

And Other Insights from the Border between Math and Computers

von Arturo Sangalli

Buch | Hardcover

1998 | Princeton University Press

ISBN: 9780691001449

CHF 83,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Lieferbar (Termin unbekannt)

Oligomorphic Permutation Groups

von Peter J. Cameron

Buch | Softcover

1990 | Cambridge University Press

ISBN: 9780521388368

CHF 95,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Model Theory of Groups and Automorphism Groups

von David M. Evans

Buch | Softcover

1997 | Cambridge University Press

ISBN: 9780521589550

CHF 109,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Metamathematics, Machines and Gödel's Proof

von N. Shankar

Buch | Softcover

1997 | Cambridge University Press

ISBN: 9780521585330

CHF 78,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Multiple Forcing

von T. Jech

Buch | Hardcover

1987 | Cambridge University Press

ISBN: 9780521266598

CHF 199,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Bounded Arithmetic, Propositional Logic and Complexity Theory

von Jan Krajicek

Buch | Hardcover

1995 | Cambridge University Press

ISBN: 9780521452052

CHF 229,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Cellular Automata: Research Towards Industry

ACRI’98 — Proceedings of the Third Conference on Cellular Automata for Research and Industry, Trieste, 7–9 October 1998

von Roberto Serra; Furio Suggi Liverani

Buch | Softcover

1998 | Springer London Ltd

ISBN: 9781852330484

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Computability, Enumerability, Unsolvability

Directions in Recursion Theory

von S. B. Cooper; T. A. Slaman; S. S. Wainer

Buch | Softcover

1996 | Cambridge University Press

ISBN: 9780521557368

CHF 109,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Semimodular Lattices

Theory and Applications

von Manfred Stern

Buch | Hardcover

1999 | Cambridge University Press

ISBN: 9780521461054

CHF 226,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Descriptive Set Theory of Polish Group Actions

von Howard Becker; Alexander S. Kechris

Buch | Softcover

1996 | Cambridge University Press

ISBN: 9780521576055

CHF 94,²⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Kurt Gödel: Collected Works: Volume III

Unpublished Essays and Lectures

von Kurt Gödel; Solomon Feferman; John W. Jr. Dawson;..

Buch | Hardcover

1995 | Oxford University Press Inc

ISBN: 9780195072556

CHF 359,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Deflating Existential Commitment

A Case for Nominalism

von Jody Azzouni

Buch | Hardcover

2004 | Oxford University Press

ISBN: 9780195159882

CHF 88,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Logic and Complexity

von Richard Lassaigne; Michel de Rougemont

Buch | Hardcover

2004 | Springer London Ltd

ISBN: 9781852335656

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logical and Computational Aspects of Model-Based Reasoning

von L. Magnani; N.J. Nersessian; Claudio Pizzi

Buch | Hardcover

2002 | Kluwer Academic Publishers

ISBN: 9781402007125

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Polish Logic 1920-1939

von Storrs McCall

Buch | Hardcover

1967 | Oxford University Press

ISBN: 9780198243045

CHF 188,¹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Logic for Computer Scientists

von Uwe Schöning

Buch | Softcover

2008 | Birkhauser Boston Inc

ISBN: 9780817647629

CHF 89,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logic Colloquium 2004

von Alessandro Andretta; Keith Kearnes; Domenico..

Buch | Hardcover

2007 | Cambridge University Press

ISBN: 9780521884242

CHF 189,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Structural Theory of Automata, Semigroups, and Universal Algebra

Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18..

von Valery B. Kudryavtsev; Ivo G. Rosenberg

Buch | Softcover

2005 | Springer-Verlag New York Inc.

ISBN: 9781402038167

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Limit Theorems and Applications of Set-Valued and Fuzzy Set-Valued Random Variables

von Shoumei Li; Y. Ogura; V. Kreinovich

Buch | Hardcover

2002 | Kluwer Academic Publishers

ISBN: 9781402009181

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

An Introduction to Category Theory

von Harold Simmons

Buch | Hardcover

2011 | Cambridge University Press

ISBN: 9781107010871

CHF 199,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Advanced Topics in Bisimulation and Coinduction

von Davide Sangiorgi; Jan Rutten

Buch | Hardcover

2011 | Cambridge University Press

ISBN: 9781107004979

CHF 198,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Taking Sudoku Seriously

The Math Behind the World's Most Popular Pencil Puzzle

von Jason Rosenhouse; Laura Taalman

Buch | Hardcover

2012 | Oxford University Press Inc

ISBN: 9780199756568

CHF 51,⁵⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Motivic Integration and its Interactions with Model Theory and Non-Archimedean Geometry:..

von Raf Cluckers; Johannes Nicaise; Julien Sebag

Buch | Softcover

2011 | Cambridge University Press

ISBN: 9781107648814

CHF 97,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

The Evolution of Logic

von W. D. Hart

Buch | Hardcover

2010 | Cambridge University Press

ISBN: 9780521766814

CHF 146,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Logic: A History of its Central Concepts

von Dov M. Gabbay; Francis Jeffry Pelletier; John Woods

Buch | Hardcover

2012 | North-Holland

ISBN: 9780444529374

CHF 319,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Mathematical Logic

von George Tourlakis

Buch | Hardcover

2008 | Wiley-Interscience

ISBN: 9780470280744

CHF 189,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Graph Structure and Monadic Second-Order Logic

A Language-Theoretic Approach

von Bruno Courcelle; Joost Engelfriet

Buch | Hardcover

2012 | Cambridge University Press

ISBN: 9780521898331

CHF 307,²⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Subsystems of Second Order Arithmetic

von Stephen G. Simpson

Buch | Softcover

2010 | Cambridge University Press

ISBN: 9780521150149

CHF 87,²⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

A Guide to Classical and Modern Model Theory

von Annalisa Marcja; Carlo Toffalori

Buch | Softcover

2003 | Kluwer Academic Publishers

ISBN: 9781402013317

CHF 194,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

The Birth of Model Theory

Löwenheim's Theorem in the Frame of the Theory of Relatives

von Calixto Badesa

Buch | Hardcover

2004 | Princeton University Press

ISBN: 9780691058535

CHF 165,⁸⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Alfred Tarski

Life and Logic

von Anita Burdman Feferman; Solomon Feferman

Buch | Hardcover

2004 | Cambridge University Press

ISBN: 9780521802406

CHF 218,²⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

von Alan P. Parkes

Buch | Softcover

2002 | Springer London Ltd

ISBN: 9781852334642

CHF 104,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Proof and System-Reliability

von Helmut Schwichtenberg; Ralf Steinbrüggen

Buch | Softcover

2002 | Kluwer Academic Publishers

ISBN: 9781402006081

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Logical Methods

In Honor of Anil Nerode’s Sixtieth Birthday

von John N. Crossley; Jeffrey B. Remmel; Richard Shore;..

Buch | Hardcover

1994 | Birkhauser Boston Inc

ISBN: 9780817636906

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Boolean Algebras in Analysis

von D.A. Vladimirov

Buch | Hardcover

2002 | Kluwer Academic Publishers

ISBN: 9781402004803

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Collected Papers of Stig Kanger with Essays on his Life and Work Volume II

von Ghita Holmström-Hintikka; Sten Lindström; R...

Buch | Hardcover

2001 | Kluwer Academic Publishers

ISBN: 9781402001116

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Naturalism in Mathematics

von Penelope Maddy

Buch | Softcover

2000 | Oxford University Press

ISBN: 9780198250753

CHF 84,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Lectures in Logic and Set Theory: Volume 2, Set Theory

von George Tourlakis

Buch | Softcover

2011 | Cambridge University Press

ISBN: 9780521168489

CHF 115,²⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen