Bounded arithmetic, propositional logic, and complexity theory
Jan Krajíček
Bok Engelsk 1995
Utgitt | Cambridge : Cambridge University Press , 1995
|
---|---|
Omfang | XIV, 343 s.
|
Emner | |
ISBN | 0521452058
|
Utgitt | Cambridge : Cambridge University Press , 1995
|
---|---|
Omfang | XIV, 343 s.
|
Emner | |
ISBN | 0521452058
|