Your search returned 9 results.

Not what you expected? Check for suggestions
BOOKS
Degrees of unsolvability: local and global theory

by Lerman, Manuel.

Series: Perspectives in Mathematical logicMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1983Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 5 Call number: 510.6 LER.

BOOKS
Finite Model Theory

by Ebbinghaus, Heinz-Dieter | Flum, Jörg.

Series: Perspectives in Mathematical LogicMaterial type: Text 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.

BOOKS
Constructibility

by Devlin, Keith J.

Series: Perspectives in Mathematical LogicMaterial type: Text 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.

BOOKS
Classical Decision Problem

by Borger, Egon | Gradel, Erich | Gurevich, Yuri.

Series: Perspectives in Mathematical LogicMaterial type: Text 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.

BOOKS
Set Theory : (PML)

by Jech, Thomas.

Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text 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.

BOOKS
Metamathematics of First-Order Arithmetic

by Hajek, Petr | Pudlak, Pavel.

Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text 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.

BOOKS
Finite Model theory

by Ebbinghaus, Heinz Dieter | Flum, Jorg.

Series: Perspectives in Mathematical LogicEdition: 2ndMaterial type: Text 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.

BOOKS
Computability in Analysis and Physics : (PML)

by Pour-El, Marian B | Richards, Jonathan I.

Series: Perspectives in Mathematical LogicMaterial type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 7 Call number: 510.6 POU.

BOOKS
Subsystems of Second Order Arithmetic : (PML)

by Simpson, Stephen G.

Series: Perspectives in Mathematical LogicMaterial type: Text 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: 8 Call number: 510.6 SIM.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha