Library-discharged hardcover with typical library markings (lower spine, page edges, inside front and back covers, upper corners of the first few endpapers, copyright and preface pages). Absent these markings, this book would be excellent with slight handling. 447 pages, text entirely unmarked. [1.8 lbs].

Seller Inventory # 072029

Contact seller

Report this item

Bibliographic Details

Title

Feasible Mathematics II (Progress in Computer Science and Applied Logic) 2 Two

Publisher

Birkh�user

Publication Date

1994

Language

English

ISBN 10

0817636757

ISBN 13

9780817636753

Binding

Hardcover

Condition

Good

Book Type

Book

Seller catalogs

About this title

Synopsis

Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a note that this number is what comes out - but what fact is this supposed to confirm for me? I don't know 'what is supposed to come out' . . . . 1 -L. Wittgenstein A feasible computation uses small resources on an abstract computa� tion device, such as a 'lUring machine or boolean circuit. Feasible math� ematics concerns the study of feasible computations, using combinatorics and logic, as well as the study of feasibly presented mathematical structures such as groups, algebras, and so on. This volume contains contributions to feasible mathematics in three areas: computational complexity theory, proof theory and algebra, with substantial overlap between different fields. In computational complexity theory, the polynomial time hierarchy is characterized without the introduction of runtime bounds by the closure of certain initial functions under safe composition, predicative recursion on notation, and unbounded minimization (S. Bellantoni); an alternative way of looking at NP problems is introduced which focuses on which pa� rameters of the problem are the cause of its computational complexity and completeness, density and separation/collapse results are given for a struc� ture theory for parametrized problems (R. Downey and M. Fellows); new characterizations of PTIME and LINEAR SPACE are given using predicative recurrence over all finite tiers of certain stratified free algebras (D.

"About this title" may belong to another edition of this title.

Store Description

I opened my first bookstore in Davis CA in 1985, and started selling online in 1998. I've sold about 50,000 books online, with fewer than 100 returns. I take book descriptions seriously--it's an art--and photos, if not initially available, need only to be requested. I've been away from abebooks a few years, but now am back, with vastly increased shelf space, and plan to double the inventory (while maintaining the erstwhile quality). Non-fiction is my bailiwick, the more specialized and obscure the better. So, we share an interest in specific knowledge, and I will cater to your sphere of knowing as only a 40-year book nerd can. Charles

Visit Seller's Storefront

Seller's business information

Charles Berry, Bookseller
CA, U.S.A.

Sale & Shipping Terms

Terms of Sale

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Shipping Terms

Heavy or larger books and international orders may require additional postage.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	4 to 15 business days	2 to 5 business days
First item	US$ 4.20	US$ 15.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.