Bounded arithmetic, propositional logic and complexity theory :: Jan Krajíček :: ISBN 0521452058 :: Cambridge University Press 1995 :: OBNB, the Open British National Bibliography

Publication Data

Title Bounded arithmetic, propositional logic and complexity theory
Author Jan Krajíček
Publisher Cambridge University Press
Publication date 1995
Publication location Cambridge
Language English

Topics

Constructive mathematics
Proposition (Logic)
Computational complexity

Catalogue Data

OBNB ID GB9609234
ISBN 10 0521452058
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 511.3

ISBD

P1053 xiv,343p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Bounded arithmetic, propositional logic and complexity theory by Jan Krajíček. ISBN 0521452058. Published by Cambridge University Press in 1995. Publication and catalogue information, links to buy online and reader comments.