|
|
|
|
Mathematical logic by Kleene, Stephen Cole. Material type:  Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KLE.
|
|
|
|
|
Introduction to meta mathematics by Kleene, Stephen Cole. Material type: Text;Language: ; Format:
print
Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 28, Shelf No: 4 Call number: 510.6 KLE.
|
|
|
|
|
Two papers on the predicate calculus / [electronic resource] by S.C. Kleene. by Kleene, Stephen Cole, 1909-1994 | Kleene, Stephen Cole, 1909-1994. Permutability of inferences in Gentzen's calculi LK and LJ | Kleene, Stephen Cole, 1909-1994. Finite axiomatizability of theories in the predicate calculus using additional predicate symbols. Series: Memoirs of the American Mathematical Society ; no. 10.Edition: Rev.Material type: Text;Language: English; Format:
available online
 ; Literary form:
Not fiction
Publication details: Providence, R.I. : American Mathematical Society, 1967, c1952 (1985 printing)Online access: Contents | Contents Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
|
|
