Select number of records to
display per page:
|
Sort by
|
1.
|
|
2.
|
|
Forcing with Random Variables and Proof Complexity(Electronic book text)
Cambridge University Press (Virtual Publishing)
Published:
05/11/2011
A model-theoretic approach to bounded arithmetic and propositional proof complexity.
Click 'Details' for EBook Formats and
Prices
|
|
|
|
Select All |
|
|
|