|
|
|
|
|
|
|
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.
|
|
|
|
Constructibility by Devlin, Keith J. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Berlin Springer Verlag 1984Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 1 Call number: 510.6 DEV.
|
|
|
|
Classical Decision Problem by Borger, Egon | Gradel, Erich | Gurevich, Yuri. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 45 Call number: 510.5 BOR.
|
|
|
|
Set Theory : (PML) by Jech, Thomas. Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 43 Call number: 510.21 JECH.
|
|
|
|
Metamathematics of First-Order Arithmetic by Hajek, Petr | Pudlak, Pavel. Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer ; 1998Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 3 Call number: 510.6 HAJ.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|