Normal view MARC view ISBD view

Bounded arithmetic, propositional logic, and complexity theory

Krajicek, Jan

Bounded arithmetic, propositional logic, and complexity theory - - Cambridge : Cambridge University Press, 1995 1995 - xiv,343 p. 24 cm - .

ISBN: 0-521-45205-82

Subjects--Topical Terms:

Constructive mathematics
Proposition (logic)
Computational complexity

Universal Decimal Class. No.: 517.1 Kra

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)