Proof complexity/

Krajícek, Jan.

Proof complexity/ Jan Krajícek, Charles University, Prague. - xiv, 516 pages; 24 cm. - Encyclopedia of mathematics and its applications; 170 . - Encyclopedia of mathematics and its applications; v. 170. .

Includes bibliographical references (pages 481-505) and index.

1108416845 9781108416849

2018042527

GBB951018 bnb


Proof theory
Computational complexity.

511.3 / K89p
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha