Cover Image

Bounded arithmetic, propositional logic, and complexity theory /

Bibliographic Details
Main Author: Krajíček, Jan
Format: Book
Language:English
Published: Cambridge [England] ; New York, NY, USA : Cambridge University Press, 1995.
Series:Encyclopedia of mathematics and its applications.
Subjects:
Constructive mathematics.
Proposition (Logic)
Computational complexity.
Description
Physical Description:xiv, 343 pages ; 24 cm.
Bibliography:Includes bibliographical references (pages 327-334) and indexes.
ISBN:0521452058