Godel '96

Logical Foundations of Mathematics, Computer Science and Physics - Kurt Godel's Legacy

Inbunden, Engelska, 2017

Av Prague) Hajek, Petr (Academy of Sciences of the Czech Republic, Petr Hájek

2 269 kr

Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
The proceedings of the conference 'Logical Foundations of Mathematics, Computer Science, and Physics - Kurt Gödel's Legacy', held in Brno, Czech Republic, on the 90th anniversary of Gödel's birth. The papers in this volume cover the wide range of topics Gödel's work touched, and affirm its continuing importance.

Produktinformation

  • Utgivningsdatum2017-03-02
  • Mått235 x 158 x 29 mm
  • Vikt658 g
  • FormatInbunden
  • SpråkEngelska
  • SerieLecture Notes in Logic
  • Antal sidor330
  • FörlagCambridge University Press
  • ISBN9781107168022

Tillhör följande kategorier

Du kanske också är intresserad av

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

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

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

719 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

Recursion Theory

Recursion Theory

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

1 969 kr