Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 4 results.

Results
	1.	No cover image available Two papers on the predicate calculus by Kleene S C Series: American Mathematical Society: Memoirs, 10 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y AMS 1952 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510 Am512(10). Place hold Add to cart (remove)
	2.	No cover image available Foundations of intutionistic mathematics by Kleene S C Vesley R E [Auth.] Series: Studies in logic and the foundations of mathematics,35 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Amsterdam North-Holland 1965 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.22 St933(35). Place hold Add to cart (remove)
	3.	No cover image available Mathematical logic by Kleene S C Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: London John Wiley 1967 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 164 K63. Place hold Add to cart (remove)
	4.	No cover image available Formalised recursive functionals and formalized realizability by Kleene S C Series: American Mathematical Society: Memoirs; 89 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: N Y AMS 1969 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510 Am512(89). Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in