Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Analysis and Synthesis of LogicsDov M. Gabbay Jon Barwise; Walter A Carnielli; Walter Alexandre Carnielli; Marcelo Coniglio; Paula Gouveia; Cristina SernadasSpringer Netherlands 2008Acesso online |