Labelled deductive systems
- Author
- Dov M. Gabbay
- Publisher
- Clarendon Press; Oxford University Press
- Language
- English
- Year
- 1996
- Page
- 511
- ISBN
- 0198538332,9780198538332
- File Type
- djvu
- File Size
- 2.9 MiB
How to Download?!!!
Just click on START button on Telegram Bot