|
Login to ask the library to add a book.
|
|
Active Filter Settings
No Active Filters
|
|
|
|
|
first record
| previous record
| next record
| last record
|
full | marc
|
Record 1 of 1
|
|
| |
Total Requests 0 Unsatisfied Requests 0
|
|
You searched IISERK - Author: Goumans, J. J. J. M.
|
| Request |
|
|
Author
|
Carnielli, Walter.
|
|
Title
|
Analysis and Synthesis of Logics [electronic resource] : How to Cut and Paste Reasoning Systems / by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
|
|
Publication
|
Dordrecht : Springer Science+Business Media B.V., 2008.
|
|
Material Info.
|
v.: digital
|
|
Series
|
Applied Logic Series, 1386-2790 ; 35
|
|
Subject
|
Mathematics
|
|
Subject
|
Logic
|
|
Subject
|
Computer science
|
|
Subject
|
Logic, Symbolic and mathematical
|
|
Subject
|
Mathematics
|
|
Subject
|
Mathematical Logic and Foundations
|
|
Subject
|
Logic
|
|
Subject
|
Mathematical Logic and Formal Languages
|
|
Added Entry
|
Coniglio, Marcelo.
|
|
Added Entry
|
Gabbay, Dov M.
|
|
Added Entry
|
Gouveia, Paula.
|
|
Added Entry
|
Sernadas, Cristina.
|
|
Added Entry
|
SpringerLink (Online service)
|
|
Date
|
Year, Month, Day:01405141
|
|
Link
|
Click here to view the Springer eBook
|
|
|
|
|
