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 Normal form in first order arithmetic by Jervell H R Series: Oslo University.Institute of Mathematics preprint series : 1970, 9 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oslo University 1970 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.7 Os82. Place hold Add to cart (remove)
	2.	No cover image available New proff of the classical Herbrand and Skolem theorem by Jervell H R Series: Oslo University.Institute of Mathematics preprint series : 1971, 21 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oslo University 1971 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.7 Os82. Place hold Add to cart (remove)
	3.	No cover image available Craig's interpolation theorem for the intuitionistic logic of constant domains by Jervell H R Series: Oslo University.Institute of Mathematics preprint series : 1971, 22 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oslo University 1971 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.7 Os82. Place hold Add to cart (remove)
	4.	No cover image available Herbrand theorem for higher order logic by Jervell H R Series: Oslo University.Institute of Mathematics preprint series : 1971, 24 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Oslo University 1971 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 510.7 Os82. 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