Bounded arithmetic, propositional logic, and complex theory

Krajicek, Jan

Bounded arithmetic, propositional logic, and complex theory - New York: Cambrigde University Press, 1995 - xiv,341p.: ill.; 24cm.

Includes bibliographical references and index

0-521-45205-8


Constructive mathematics
Propositon (logic)
Competational complexity

MATH QA9.56.K73
Copyright © All rights reserved. University of Dar es Salaam, Directorate of Library Services
Powered by Koha. Installed, Configured, and Customized by the Library ICT Department