Ergebnisse zu
Logik / Mengenlehre

A First Course in Logic

An Introduction to Model Theory, Proof Theory, Computability, and Complexity

von Shawn Hedman

Buch | Hardcover

2004 | Oxford University Press

ISBN: 9780198529804

CHF 256,²⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Matroid Theory

von D J A Welsh

Buch | Softcover

2010 | Dover Publications Inc.

ISBN: 9780486474397

CHF 51,⁴⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Sets, Sequences and Mappings

The Basic Concepts of Analysis

von Dr Kenneth Anderson; Melvin Fitting

Buch | Softcover

2009 | Dover Publications Inc.

ISBN: 9780486474212

CHF 14,⁸⁰ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Model Theory

Third Edition

von H. Jerome Keisler; C. C. Chang

Buch | Softcover

2012 | Dover Publications Inc.

ISBN: 9780486488219

CHF 48,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Frege, Dedekind, and Peano on the Foundations of Arithmetic (Routledge Revivals)

von Donald Gillies

Buch | Softcover

2012 | Routledge

ISBN: 9780415668743

CHF 97,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Dynamics and Management of Reasoning Processes

von John-Jules Ch. Meyer; Jan Treur

Buch | Softcover

2010 | Springer

ISBN: 9789048159031

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Processes, Beliefs, and Questions

Essays on Formal Semantics of Natural Language and Natural Language Processing

von S. Peters; Esa. Saarinen

Buch | Softcover

2010 | Springer

ISBN: 9789048183661

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Logicism, Intuitionism, and Formalism

What Has Become of Them?

von Sten Lindström; Erik Palmgren; Krister Segerberg;..

Buch | Softcover

2010 | Springer

ISBN: 9789048180295

CHF 419,⁴⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Nonlinear Dynamics Perspective Of Wolfram's New Kind Of Science, A (Volume V)

von Leon O Chua

Buch | Hardcover

2012 | World Scientific Publishing Co Pte..

ISBN: 9789814390514

CHF 239,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Resolution Proof Systems

An Algebraic Theory

von Z. Stachniak

Buch | Softcover

2011 | Springer

ISBN: 9789401072519

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Zermelo's Axiom of Choice

Its Origins, Development, and Influence

von Gregory H Moore; Mathematics

Buch | Softcover

2013 | Dover Publications Inc.

ISBN: 9780486488417

CHF 34,⁷⁰ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Unauthorized Access

The Crisis in Online Privacy and Security

von Robert Sloan; Richard Warner

Buch | Softcover

2013 | Crc Press Inc

ISBN: 9781439830130

CHF 102,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Sketches of an Elephant: A Topos Theory Compendium

Volume 1

von Peter T. Johnstone

Buch | Hardcover

2002 | Oxford University Press

ISBN: 9780198534259

CHF 309,³⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Elements of Logic and Foundations of Mathematics in Problems

von Wiktor Marek; Janusz Onyszkiewicz

Buch | Hardcover

1983 | Kluwer Academic Publishers

ISBN: 9789027710840

CHF 74,⁸⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Temporal Logic: Volume 1

von Dov M. Gabbay; Ian Hodkinson; Mark Reynolds

Buch | Hardcover

1994 | Clarendon Press

ISBN: 9780198537694

CHF 309,³⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Truth in Mathematics

von H. G. Dales; G. Oliveri

Buch | Hardcover

1998 | Oxford University Press

ISBN: 9780198514763

CHF 469,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Truthlikeness

von I. Niiniluoto

Buch | Hardcover

1987 | Kluwer Academic Publishers

ISBN: 9789027723543

CHF 329,⁵⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Schaum's Outline of Set Theory and Related Topics

von Seymour Lipschutz

Buch | Softcover

1998 | Schaum Outline Series

ISBN: 9780070381599

CHF 45,³⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Set Theory with a Universal Set

Exploring an Untyped Universe

von T. E. Forster

Buch | Hardcover

1995 | Clarendon Press

ISBN: 9780198514770

CHF 109,¹⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Set Theory-An Operational Approach

An Operational Approach

von Luis E. Sanchis

Buch | Hardcover

1997 | Taylor & Francis Ltd

ISBN: 9789056995072

CHF 139,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Set Theory An Introduction To Independence Proofs

von K. Kunen

Buch | Hardcover

1983 | North-Holland

ISBN: 9780444868398

CHF 87,²⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Existentially Closed Groups

von Graham Higman; Elizabeth Scott

Buch | Hardcover

1988 | Clarendon Press

ISBN: 9780198535430

CHF 69,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Fuzzy Topology

von Ying-Ming Liu; Mao-Kang Luo

Buch | Hardcover

1998 | World Scientific Publishing Co Pte..

ISBN: 9789810228620

CHF 195,⁵⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Models of Peano Arithmetic

von Richard Kaye

Buch | Hardcover

1991 | Clarendon Press

ISBN: 9780198532132

CHF 165,¹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Proof Complexity and Feasible Arithmetics

von Paul W. Beame; Samuel R. Buss

Buch | Hardcover

1997 | American Mathematical Society

ISBN: 9780821805770

CHF 125,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Processes, Beliefs, and Questions

Essays on Formal Semantics of Natural Language and Natural Language Processing

von S. Peters; Esa. Saarinen

Buch | Hardcover

1981 | Kluwer Academic Publishers

ISBN: 9789027713148

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Multiple-Valued Logic Design

an Introduction

von G Epstein

Buch | Hardcover

1993 | Institute of Physics Publishing

ISBN: 9780750302104

CHF 639,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Number Theoretic Density and Logical Limit Laws

von Stanley N. Burris

Buch | Hardcover

2000 | American Mathematical Society

ISBN: 9780821826669

CHF 199,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Mathematical Logic: Part 2

Recursion Theory, Godel's Theorems, Set Theory, Model Theory

von René Cori; Daniel Lascar

Buch | Hardcover

2001 | Oxford University Press

ISBN: 9780198500513

CHF 229,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Multi-Valued Fields

von Yuri L. Ershov

Buch | Hardcover

2001 | Kluwer Academic/Plenum Publishers

ISBN: 9780306110689

CHF 419,⁴⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Provability, Complexity, Grammars

von American Mathematical Society

Buch | Hardcover

1999 | American Mathematical Society

ISBN: 9780821810781

CHF 259,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Advances in Contemporary Logic and Computer Science

Proceedings of the Eleventh Brazilian Conference on Mathematical Logic, May 6-10, 1996, Salvador Da Bahia, Brazil

von American Mathematical Society

Buch | Softcover

1999 | American Mathematical Society

ISBN: 9780821813645

CHF 199,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

DNA Based Computers II

von Laura F. Landweber; R.B. Baum; Eric B. Baum

Buch | Hardcover

1998 | American Mathematical Society

ISBN: 9780821807569

CHF 125,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Investigations in Modal and Tense Logics with Applications to Problems in Philosophy and..

von Dov M. Gabbay

Buch | Hardcover

1976 | Kluwer Academic Publishers

ISBN: 9789027706560

CHF 224,⁶⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

New Studies in Deontic Logic

Norms, Actions, and the Foundations of Ethics

von R. Hilpinen

Buch | Hardcover

1981 | Kluwer Academic Publishers

ISBN: 9789027712783

CHF 269,⁶⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-14 Tagen

Categorical Logic and Type Theory

von B. Jacobs

Buch | Softcover

2001 | Elsevier Science Ltd

ISBN: 9780444508539

CHF 169,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Perfect Numerical and Logical Test Results

von Joanna Moutafi; Marianna Moutafi

Buch | Softcover

2010 | Random House Books

ISBN: 9781847945464

CHF 21,⁹⁰ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

The Future of Post-Human Mathematical Logic

von Peter Baofu

Buch | Hardcover

2008 | Cambridge Scholars Publishing

ISBN: 9781443800334

CHF 59,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

The Pamphlets of Lewis Carroll

The Logic Pamphlets of Lewis Carroll and Related Pieces

von Lewis Carroll; Francine F. Abeles

Buch | Hardcover

2010 | Carroll (Lewis) Society of North..

ISBN: 9780930326258

CHF 118,⁰⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Proceedings Of The 10th Asian Logic Conference

von Chi Tat Chong; Rodney G Downey; Qi Feng; Hirotaka..

Buch | Hardcover

2009 | World Scientific Publishing Co Pte..

ISBN: 9789814293013

CHF 209,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Meaning, Logic And Ludics

von Alain Lecomte

Buch | Hardcover

2011 | Imperial College Press

ISBN: 9781848164567

CHF 219,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-20 Tagen

Algebraic Curves in Cryptography

von San Ling; Huaxiong Wang; Chaoping Xing

Buch | Hardcover

2013 | Chapman & Hall/CRC

ISBN: 9781420079463

CHF 189,⁹⁵ (inkl. MwSt)

jetzt vorbestellen

• Titel z.Zt. nicht lieferbar

Computability Theory

An Introduction to Recursion Theory

von Herbert B. Enderton

Buch | Hardcover

2010 | Academic Press Inc

ISBN: 9780123849588

CHF 102,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 15-20 Tagen

Infinitesimal Analysis

von E.I. Gordon; A.G. Kusraev; Semën Samsonovich..

Buch | Softcover

2010 | Springer

ISBN: 9789048160709

CHF 134,⁸⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

The Semantics and Proof Theory of the Logic of Bunched Implications

von David J. Pym

Buch | Softcover

2010 | Springer

ISBN: 9789048160723

CHF 249,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Analysis and Synthesis of Logics

How to Cut and Paste Reasoning Systems

von Walter Carnielli; Marcelo Coniglio; Dov M. Gabbay;..

Buch | Softcover

2010 | Springer

ISBN: 9789048177257

CHF 249,⁹⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Quantifiers: Logics, Models and Computation

Volume Two: Contributions

von Michal Krynicki; M. Mostowski; L.W. Szczerba

Buch | Softcover

2010 | Springer

ISBN: 9789048145409

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

A Precis of Mathematical Logic

von J.M. Bochenski

Buch | Softcover

2010 | Springer

ISBN: 9789048183296

CHF 149,⁷⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Hilbert’s Program

An Essay on Mathematical Instrumentalism

von M. Detlefsen

Buch | Softcover

2010 | Springer

ISBN: 9789048184200

CHF 209,⁷⁰ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods..

von Wolfgang Bibel; P.H. Schmitt

Buch | Softcover

2010 | Springer

ISBN: 9789048150502

CHF 299,⁵⁵ (inkl. MwSt)

in den Warenkorb

• Versand in 10-15 Tagen