Bokus
Samuel R. Buss, S. R. Buss, S.R. Buss - Handbook of Proof Theory, Inbunden

Inbunden, Engelska, 1998

Handbook of Proof Theory

Av Samuel R. Buss, S. R. Buss, S.R. Buss

Del 137 i serien Studies in Logic and the Foundations of Mathematics

1727 kr

Beställningsvara. Skickas inom 11-20 vardagar. Fri frakt över 249 kr.

Beskrivning
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
Utforska kategorier
Recensioner i media

"The Handbook is most welcome in the logic community. I recommend the Handbook to researchers and graduate students in logic, mathematics, computer science, philosophy, linguistics, artificial intelligence, automated reasoning and cognitive sciences." --Bulletin of Symbolic Logic

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.

Mer från samma serie