Search

Your search returned 9 results.

Not what you expected? Check for suggestions

Results
		Mathematical logic : with special reference to the natural numbers / S.W.P. Steen. by Steen, S. W. P. Material type: Book Publisher: Cambridge : University Press, 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 St325 Ma. Place hold Log in to add tags Add to cart (remove)
		Frege and Godel : two fundamental texts in mathematical logic / edited by Jean Van Heijenoort. Material type: Book Publisher: Cambridge : Harvard University Press, 1970Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 V312 Fr. Place hold Log in to add tags Add to cart (remove)
		No cover image available The calculi of lambda-conversion / by Alonzo Church. by Church, Alonzo. Material type: Book Publisher: Princeton : Princeton University Press, 1941Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C4732 Ca. Place hold Log in to add tags Add to cart (remove)
		No cover image available Constructive formalism : essays on the foundations of mathematics R L Goodstein by Goodstein, R L. Material type: Book Publisher: leiceeter Leicester University Press 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science . Place hold Log in to add tags Add to cart (remove)
		Logic for mathematicians / A. G. Hamilton. by Hamilton, A. G. Material type: Book Publisher: Cambridge ; Cambridge University Press, 1978Availability: Items available for loan: Exim Bank Library (1). Location(s): Exim Bank Library 511.3 H1801 Lo. Place hold Log in to add tags Add to cart (remove)
		Selected logic papers / W.V. Quine. by Quine, W. V. Material type: Book Publisher: Cambridge, Mass. : Harvard University Press, 1995Availability: Items available for loan: Exim Bank Library (1). Location(s): Exim Bank Library 511.3 Q441 Se. Place hold Log in to add tags Add to cart (remove)
		A structuralist theory of logic / Arnold Koslow. by Koslow, Arnold. Material type: Book Publisher: Cambridge ; Cambridge University Press, 1992Availability: Items available for reference: Exim Bank Library [Call number: 160 K8473 St] (1). Location(s): Exim Bank Library 160 K8473 St. Log in to add tags Add to cart (remove)
		No cover image available Collected works / Kurt Godel ; edited by Solomon Feferman ... [et al.]. by Godel, Kurt. Material type: Book Publisher: Oxford ; Oxford University Press, 1986Availability: No items available Log in to add tags Add to cart (remove)
		Systems of logic / Norman M. Martin. by Martin, Norman M. Material type: Book Publisher: Cambridge ; Cambridge University Press, 1989Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Social Science 160M3648Sy. Place hold Log in to add tags Add to cart (remove)

Untitled Document

Designed & Developed by IT Support | © Dr B R Ambedkar Central Library, JNU, New Delhi 2021