Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Advances in Intensional LogicDov M. Barwise, Jon de Rijke, Maarten Gabbay Jon Barwise; Maarten de RijkeSpringer Netherlands 1997Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Labelled DeductionDov M. Barwise, John Spurr, Jane Gabbay John Barwise; David Basin; M D'Agostino; Dov M Gabbay; Seán Matthews; Jane Spurr; Luca ViganòSpringer Netherlands 2000Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Livro
|
Proof Theory of Modal LogicDov M. Barwise, Jon Wansing, Heinrich Gabbay Jon Barwise; Heinrich WansingSpringer Netherlands 1996Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Livro
|
Investigations in modal and tense logics with applications to problems in philosophy and linguisticsDov M. Gabbay 1945-Dordrecht, Holland D. Reidel Pub. Co. Boston c1976Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas (501 S993 v.92 )(Acessar) |