|
|
|
Finite Model Theory by Ebbinghaus, Heinz-Dieter | Flum, Jörg. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin Springer 1995Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB.
|
|
|
|
Finite Model theory by Ebbinghaus, Heinz Dieter | Flum, Jorg. Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1999Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 EBB.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Logic and Automata History and Perspectives by Flum, Jorg | Gradel, Erich Ed | Wilke, Thomas, Ed. Series: Texts in Logic and Games ; 2Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Amsterdam Amsterdam University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 6813 FLU.
|
|
|
|
Mathematical Logic by Ebbinghaus, Heinz-Dieter | Thomas, Wolfgang | Flum, Jörg. Series: Graduate Texts in Mathematics ; 291Edition: 3rd edMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: New York Springer 2021Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 42 Call number: 510.2 EBB.
|