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)
		Multiple-conclusion logic / D.J. Shoesmith and T.J. Smiley. by Shoesmith, D. J. Material type: Book Publisher: Cambridge : Cambridge University Press, 1978Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sh736 Mu. 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)
		No cover image available Combinatory logic / Haskell B. Curry, J. Roger Hindley and Jonathan P. Seldin. by Curry, Haskell B. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1972Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 C9373 Co. 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)
		Self-reference and modal logic / C. Smorynski. by Smorynski, C. Material type: Book Publisher: New York : Springer-Verlag, c1985Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 Sm79 Se. 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)
		Modern uses of multiple-valued logic : invited papers from the fifth International symposium on multiple-valued logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975 / edited by J. Michael Dunn and George Epstein ; with a bibliography of many-valued logic by Robert G. Wolf. Material type: Book Publisher: Dordrecht, Holland : D. Reidel Pub., 1977Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 In874 Mo. Place hold Log in to add tags Add to cart (remove)
		No cover image available Ancient formal logic / I.M. Bochenski. by Bochenski, Joseph M. Material type: Book Publisher: Amsterdam : North-Holland Pub., 1963Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 B6311 An. 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 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)
		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)
		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)
		Elementary symbolic logic / by William Gustason and Dolph E. Ulrich. by Gustason, William. Material type: Book Publisher: New York : Holt, Rinehart and Winston, 1973Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Social Science 511.3 G9787 El. Place hold Log in to add tags Add to cart (remove)
		Introduction to mathematical logic / Elliott Mendelson. by Mendelson, Elliott. Edition: 2nd ed.Material type: Book Publisher: New York : Van Nostrand, c1979Availability: Items available for loan: Dr. B. R. Ambedkar Central Library (1). Location(s): Science 511.3 M5224 In,2. 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 30 results.