|
|
|
Proof theory and automated deduction by Goubault-Larrecq, Jean | Mackie, Ian. Series: Applied logic seriesMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Boston Kluwer Academic 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 GOU.
|
|
|
|
Advances in Temporal Logic : (ALS 16) by Barringer, H.Ed.,Fisher,M.Ed | Gabbay, Dov. Ed | Gouchi, Graham. Ed. Series: Applied Logic Series, 16Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Kluwer Acad. ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 47 Call number: 510.6 BAR.
|
|
|
|
Multi-Dimensional Modal Logic (ALS 4) by Marx, Maarten | Venema, Yde. Series: Applied Logic Series, 4Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Netherlands ; Kluwer Acad. ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 6 Call number: 510.6 MARX.
|
|
|
|
|
|
|
|
|