Results of search for 'ccl=su:"Logic.---"' › Dr.B.R. Ambedkar Central Library catalog

Results
		Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster. by Manaster, Alfred B. Material type: Book Publisher: Englewood Cliffs, N.J. : Prentice-Hall, 1975Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 M3119 Co. Place hold Log in to add tags Add to cart (remove)
		Mathematical logic : an introduction to model theory / A.H. Lightstone ; edited by H.B. Enderton. by Lightstone, A. H. Material type: Book Publisher: New York : Plenum Press, c1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.33 L6269 Ma. Place hold Log in to add tags Add to cart (remove)
		Popular lectures on mathematical logic / Wang Hao. by Wang, Hao. Material type: Book Publisher: New York : Van Nostrand Reinhold, c1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 W1843 Po. Place hold Log in to add tags Add to cart (remove)
		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)
		Mathematical logic and formalized theories : a survey of basic concepts and results / Robert Rogers. by Rogers, Robert. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 R6332 Ma. Place hold Log in to add tags Add to cart (remove)
		Mathematical logic and formal systems : a collection of papers in honor of professor Newton C.A. da Costa / edited by Luiz Paulo de Alcantara. Material type: Book Publisher: New York : Marcel Dekker, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Al16 Ma. Place hold Log in to add tags Add to cart (remove)
		Logical writings / Jacques Herbrand ; edited by Warren D. Goldfarb ; a translation of the Ecrits logiques, edited by Jean Van Heijenoort. by Herbrand, Jacques. Material type: Book Publisher: Dordrecht, Holland : D. Reidel Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 H417 Lo. Place hold Log in to add tags Add to cart (remove)
		No cover image available Elements of mathematical logic and set theory / by J. Supecki and L. Borkowski ; translated by O. Wojtasiewicz. by Supecki, Jerzy. Material type: Book Publisher: Oxford : Pergamon Press, 1967Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Su761 El. Place hold Log in to add tags Add to cart (remove)
		No cover image available Notes on logic / by Roger C. Lyndon. by Lyndon, Roger C. Material type: Book Publisher: Princeton : D. Van Nostrand, 1966Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 L992 No. 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 Degrees of unsolvability / Joseph R. Shoenfield. by Shoenfield, Joseph R. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1971Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sh736 De. 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)
		No cover image available Logic, methodology and philosophy of science : proceedings of the 1964 international congress / edited by Yehoshua Bar-Hillel. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1965Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 501.5113 In842 Lo. Place hold Log in to add tags Add to cart (remove)
		No cover image available An algebraic introduction to mathematical logic / Donald W. Barnes, John M. Mack. by Barnes, Donald W. Material type: Book Publisher: New York : Springer-Verlag, 1975Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B2611 Al. Place hold Log in to add tags Add to cart (remove)
		No cover image available Elements of mathematical logic / Jan Lukasiewicz ; translated from Polish by Olgierd Wojtasiewicz. by Lukasiewicz, Jan. Material type: Book Publisher: Warszawa : Polish Scientific Publisher, 1963Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 L9689 El. Place hold Log in to add tags Add to cart (remove)
		What is mathematical logic? / J.N. Crossley ... [et al.]. Material type: Book Publisher: New York : Dover Publications, 1990Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C8846 Wh. Place hold Log in to add tags Add to cart (remove)
		Models, algebras, and proofs : selected papers of the X Latin American Symposium on Mathematical Logic held in Bogota / edited by Xavier Caicedo, Carlos H. Montenegro. Material type: Book Publisher: New York : Marcel Dekker, c1999Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C12 Mo. Place hold Log in to add tags Add to cart (remove)
		Wittgenstein's Tractatus : an introduction / H.O. Mounce. by Mounce, H.O. Material type: Book Publisher: Oxford : Basil Blackwell, 1981Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Text-Book 192 M862 Wi. Place hold Log in to add tags Add to cart (remove)
		No cover image available Symbolic logic / Irving M. Copi. by Copi, Irving M. Material type: Book Publisher: New York : Macmillan, c1967Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C7911 Sy,3. Place hold Log in to add tags Add to cart (remove)

Refine your search

Availability

Authors

Collections

Holding libraries

Item types

Locations

Series

Topics

Your search returned 90 results.