Fler böcker inom

Format: E-bok
Filformat: EPUB med LCP-kryptering (0.0 MB)
Om LCP-kryptering
Nedladdning: Kan laddas ned under 24 månader, dock max 6 gånger.
Språk: Engelska
Antal sidor: 810
Utgivningsdatum: 1998-07-09
Förlag: Elsevier Science
ISBN: 9780080533186

Handbook of Proof Theory E-bok

Name: Handbook of Proof Theory
Price: 2402.00 SEK
Availability: InStock
Author: S R Buss
ISBN: 9780080533186

av S R Buss

E-bok (LCP), Engelska, 1998-07-09

2402

Ladda ned

Spara som favorit

Läs i Bokus Reader för iOS och Android

Finns även som

Inbunden

Skickas på måndag

1768

Visa alla 1 format & utgåvor

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.

Visa hela texten

Feasible Mathematics

S R Buss, P J Scott

A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence may not be practical in the real world. A "feasible" algorithm is one which only requires a limited amount of...

760

Köp

Skickas inom vardagar.