ENGLISH

The Computational Complexity of Logical Theories

By J. Ferrante , C. W. Rackoff

Book information

Publisher
Springer
Year
1979
ISBN
3540095012, 9783540095019
Language
english
Format
DJVU
Filesize
1 MB (1119402 bytes)
Series
Lecture Notes in Mathematics
Edition
1
Pages
251\251
Library
Kolxo3
DPI
300
Scanned
no
Time added
2009-07-20 03:45:11
Математика;Дискретная математика

Similar books