imagem ilustrativa
Logical foundations of proof complexity
Stephen Cook
Salvar edição
Compartilhar
- Editora: Cambridge University Press
- Ano: 2010
- ISBN: 9780521517294
- Logical foundations of proof complexity

Descrição: Logical Foundations of Proof Complexity