![]() |
![]() |
Area della Ricerca di Padova
|
Item type | Location | Call Number | Copy | Status | Date Due |
---|---|---|---|---|---|
Books | Istituto di Ingegneria Biomedica | B840.T90L (Browse Shelf) | 1 | Available |
Contents. 1. Reasoning agents. 2. Truth and paradox. 3. Truth through fixpoint. 4. Stable truth. 5. Frege structures. 6. Modal logic. 7. Truth in modal logic. 8. Predicative modality. 9. Conclusion.
There are no comments for this item.