1 919 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
Highlights of this 2007 volume from the Annual European Meeting of the ASL include three papers on different aspects of connections between model theory and algebra; a survey of major advances in combinatorial set theory; a tutorial on proof theory and modal logic; and a description of Bernay's philosophy of mathematics.

Produktinformation

  • Utgivningsdatum2007-12-03
  • Mått236 x 158 x 21 mm
  • Vikt508 g
  • FormatInbunden
  • SpråkEngelska
  • SerieLecture Notes in Logic
  • Antal sidor290
  • FörlagCambridge University Press
  • ISBN9780521884259

Tillhör följande kategorier

Du kanske också är intresserad av

Fine Structure and Iteration Trees

Fine Structure and Iteration Trees

William J. (University of Florida) Mitchell, Los Angeles) Steel, John R. (University of California, William J. Mitchell, John R. Steel

1 989 kr

Logic and Algebraic Structures in Quantum Computing
Del 45

Logic and Algebraic Structures in Quantum Computing

Jennifer Chubb, Ali Eskandarian, Valentina Harizanov, Jennifer (University of San Francisco) Chubb, Washington DC) Eskandarian, Ali (George Washington University, Washington DC) Harizanov, Valentina (George Washington University

2 309 kr

Bounded Variable Logics and Counting

Bounded Variable Logics and Counting

Germany) Otto, Martin (Rheinisch-Westfalische Technische Hochschule, Aachen, Martin Otto

1 989 kr

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Homogeneous Ordered Graphs, Metrically Homogeneous Graphs, and Beyond: Volume 1, Ordered Graphs and Distanced Graphs

Gregory Cherlin, New Jersey) Cherlin, Gregory (Rutgers University

1 969 kr

The Core Model Iterability Problem

The Core Model Iterability Problem

Berkeley) Steel, John R. (University of California, John R. Steel

1 989 kr

Kurt Godel

Kurt Godel

California) Feferman, Solomon (Stanford University, Massachusetts) Parsons, Charles (Edgar Pierce Professor of Philosophy, Emeritus, Harvard University, Stephen G. (Pennsylvania State University) Simpson, Solomon Feferman, Charles Parsons, Stephen G. Simpson

2 159 kr

Course in Model Theory

Course in Model Theory

Katrin Tent, Martin Ziegler, Germany) Ziegler, Martin (Albert-Ludwigs-Universitat Freiburg

989 kr

Core Model Iterability Problem
Del 8

Core Model Iterability Problem

John Steel

709 kr

Recursion Theory

Recursion Theory

North Carolina) Shoenfield, Joseph R. (Duke University, Joseph R. Shoenfield

1 969 kr

Logic Colloquium '95

Logic Colloquium '95

Haifa) Makowsky, Johann A. (Technion - Israel Institute of Technology, Haifa) Ravve, Elena V. (Technion - Israel Institute of Technology, Johann A. Makowsky, Elena V. Ravve

2 629 kr