Hoppa till sidans huvudinnehåll

Del 137

Handbook of Proof Theory

Inbunden, Engelska, 1998

AvSamuel 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 079 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

Tillhör följande kategorier

Hoppa över listan

Mer från samma författare

3D Computer Graphics

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

Inbunden

1 359 kr

Hoppa över listan

Mer från samma serie

Del 146

Rudiments of Calculus

A. Arnold, D. Niwinski, France) Arnold, A. (c/o LaBRI Universite Bordeaux I 351, cours de la Liberation, 33405 Talence, 02-097 Warsaw) Niwinski, D. (Institute of Informatics, University of Warsaw, ul. Banacha 2, Andre Arnold

Inbunden

1 659 kr

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

Inbunden

2 899 kr

Del 147

Relation Algebras by Games

Robin Hirsch, Ian Hodkinson, UK) Hirsch, R. (University College, London, UK) Hodkinson, I. (Imperial College, London

Inbunden

2 669 kr

Del 152

Realizability

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

Inbunden

2 089 kr

Del 153

Quantification in Nonclassical Logic

Dov M. Gabbay, Dimitrij Skvortsov, Valentin Shehtman, King's College London.) Gabbay, Dov M. (Augustus De Morgan Professor Emeritus of Logic at the Group of Logic, Language and Computation, Department of Computer Science, UK) Skvortsov, Dimitrij (Department of Computer Science, King's College London, UK) Shehtman, Valentin (Department of Computer Science, King's College London

Inbunden

2 659 kr

Hoppa över listan

Du kanske också är intresserad av

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

Inbunden

2 509 kr

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

Inbunden

2 899 kr

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

Inbunden

1 709 kr

Del 150

Relation Algebras

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

Inbunden

3 299 kr

Del 152

Realizability

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

Inbunden

2 089 kr