Semantics and proof-theory of depth bounded Boolean logics
Marcello D'Agostino Marcelo Finger; Dov Gabbay
Theoretical Computer Science Amsterdam v. 480, p. 43-68, 2013
Amsterdam 2013
Localização:
IME - Inst. Matemática e Estatística
(PROD-2407159 )(Acessar)