Format: | 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. |
---|---|
Copyright: | 1990 |
ISBN: | 0273031864 |
LCCN: | B840.T90L |
Publisher: | London : Pitman, |
Physical Details: | V, 119 p. ; 25 cm. |
Record No.: | 3119 |
Type/Format | Call Number | Location | Due Date | Last Seen | Barcode |
---|---|---|---|---|---|
![]() |
B840.T90L | Istituto di Ingegneria Biomedica | 2010-04-13 | LADSEB3807 |