Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
Logic, Language and ComputationDov M. Barwise, Jon Akama, Seiki Gabbay Seiki Akama; Jon BarwiseSpringer Netherlands 1997Acesso online. A biblioteca também possui exemplares impressos. |
2 |
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. |