Analysis and synthesis of logics : how to cut and paste reasoning systems

Analysis and synthesis of logics : how to cut and paste reasoning systems

612 p.

Saved in:
Bibliographic Details
Main Authors: Coniglio, Marcelo, Gabbay, Dov M., Gouveia, Paula, Sernadas, Cristina, Carnielli, Walter A.
Format: Book
Language:English
Published: Springer 2017
Subjects:
Mathematics
Statistics ; Logic, Symbolic and mathematical.
511.3
Online Access:http://repository.vnu.edu.vn/handle/VNU_123/26075
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Vietnam National University, Hanoi
Language: English

Internet

http://repository.vnu.edu.vn/handle/VNU_123/26075

Similar Items