Del 137

Handbook of Proof Theory

Inbunden, Engelska, 1998

Av Samuel R. Buss, S. R. Buss, S.R. Buss, USA) Buss, S.R. (Dept. of Mathematics and Computer Science, University of California, San Diego, La Jolla, CA, S. R. Buss

2 109 kr

Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.
This volume contains articles covering a broad spectrum of proof theory, with an emphasis on its mathematical aspects. The articles should not only be interesting to specialists of proof theory, but should also be accessible to a diverse audience, including logicians, mathematicians, computer scientists and philosophers. Many of the central topics of proof theory have been included in a self-contained expository of articles, covered in great detail and depth.

The chapters are arranged so that the two introductory articles come first; these are then followed by articles from core classical areas of proof theory; the handbook concludes with articles that deal with topics closely related to computer science.

Produktinformation

  • Utgivningsdatum1998-07-09
  • Mått156 x 234 x undefined mm
  • Vikt1 410 g
  • FormatInbunden
  • SpråkEngelska
  • SerieStudies in Logic and the Foundations of Mathematics
  • Antal sidor810
  • FörlagElsevier Science
  • ISBN9780444898401

Tillhör följande kategorier

Mer från samma författare

3D Computer Graphics

3D Computer Graphics

San Diego) Buss, Samuel R. (University of California, Sam Buss, Samuel R. Buss

1 459 kr

Proof Complexity and Feasible Arithmetics

Proof Complexity and Feasible Arithmetics

Paul W. Beame, Samuel R. Buss

1 239 kr

Du kanske också är intresserad av

Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Del 151

Residuated Lattices: An Algebraic Glimpse at Substructural Logics

Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa

2 559 kr

Computable Structures and the Hyperarithmetical Hierarchy
Del 144

Computable Structures and the Hyperarithmetical Hierarchy

C.J. Ash, J. Knight, USA) Knight, J. (University of Notre Dame, Department of Mathematics, Notre Dame, IN, C. J. Ash

2 339 kr

Foundations of Set Theory
Del 67

Foundations of Set Theory

A.A. Fraenkel, Y. Bar-Hillel, A. Levy

1 959 kr

Constructivism in Mathematics, Vol 2
Del 123

Constructivism in Mathematics, Vol 2

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen

999 kr

Constructivism in Mathematics, Vol 1
Del 121

Constructivism in Mathematics, Vol 1

A.S. Troelstra, D. van Dalen, A. S. Troelstra, D. Van Dalen, Anne S. Troelstra

879 kr

Many-Dimensional Modal Logics: Theory and Applications
Del 148

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay

3 019 kr

Language in Action
Del 130

Language in Action

J. van Benthem, The Netherlands) van Benthem, J. (University of Amsterdam, Institute for Logic, Language and Computation, Amsterdam, J. Van Benthem, J. F. A. K. Van Benthem

1 729 kr

Relation Algebras
Del 150

Relation Algebras

Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger

3 359 kr

Realizability
Del 152

Realizability

Jaap van Oosten, The Netherlands) van Oosten, Jaap (Utrecht University, Jaap Van Oosten

2 129 kr

Classical Recursion Theory, Volume II
Del 143

Classical Recursion Theory, Volume II

P. Odifreddi, Italy) Odifreddi, P. (University of Turin

2 069 kr