511.3
Carnielli, Walter.
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems / [electronic resource] : / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. .- XVI, 602 p.. online resource. ** Applied Logic Series, * 35 1386-2790 ; )
QA8.9-10.3 - Applied Logic Series, 35 .
ISBN: 9781402067822
10.1007/978-1-4020-6782-2 doi
Subject Headings:
Mathematics.;
Logic.;
Mathematical logic.;
Mathematics.;
Mathematical Logic and Foundations.;
Logic.;
Mathematical Logic and Formal Languages.;
Author Added Entry:
Coniglio, Marcelo.;
Gabbay, Dov M.;
Gouveia, Paula.;
Sernadas, Cristina.;
Copy Details:
Acc. No.: EBK10336, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
Carnielli, Walter.
Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems / [electronic resource] : / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas. .- XVI, 602 p.. online resource. ** Applied Logic Series, * 35 1386-2790 ; )
QA8.9-10.3 - Applied Logic Series, 35 .
ISBN: 9781402067822
10.1007/978-1-4020-6782-2 doi
Subject Headings:
Mathematics.;
Logic.;
Mathematical logic.;
Mathematics.;
Mathematical Logic and Foundations.;
Logic.;
Mathematical Logic and Formal Languages.;
Author Added Entry:
Coniglio, Marcelo.;
Gabbay, Dov M.;
Gouveia, Paula.;
Sernadas, Cristina.;
Copy Details:
Acc. No.: EBK10336, Full Call No.: , Item type: E books , Location: ,
------------------------- --------------------- ------ --------- ------- ------- --------- --------