Results of search for 'ccl=su:"Logic;"' › JRD Tata Memorial Library catalog

Results
	281.	No cover image available Profile of mathematical logic by Howard Delong, by Delong, Howard Series: Addison-Wesley Series in Mathematics Material type: Book Publication details: Massachusetts Addison-Wesley Pub.C 1970 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N701;1. Place hold
	282.	No cover image available Consistency of the axiom of choice and of the generalized continum hypothesis with the axioms of set theory /by Kurt Godel by Godel, Kurt Series: Annals of Mathematics Studies Material type: Book Publication details: Princeton Princeton Univ.Press 1940 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N40.
	283.	No cover image available Studies in constructive mathematics and mathematical logic, part III /ed. by A.O. Slisenko by Slisenko, A.O Series: Seminars in Mathematics Material type: Book Publication details: New York Consultants Bureau 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N69.3.
	284.	Admissible sets and structures an approach to definability theory by Jon Barwise. by Barwise, Jon Series: Perspectives in mathematical logic Material type: Book Publication details: Berlin Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N755.
	285.	No cover image available Boolean algebra with computer applications /by Gerald E. Williams by Williams, Gerald E Material type: Book Publication details: New York McGraw-Hill Book Co. 1970 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N701;1.
	286.	No cover image available Axiomatic method an introduction to mathematical logic by A. H. Lightstone. by Lightstone, A.H Material type: Book Publication details: Englewood Cliffs Prentic-Hall Inc. 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N642.
	287.	No cover image available Truth functions and the problem of their realization by two-terminal graphs by A. Adam by Adam, A Material type: Book Publication details: Hungary Akademiai Kiado 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N682.
	288.	Discrete and switching functions by Marc David, Jean-Pierre Deschamps and Andre Thayse by David, Marc Deschamps, Jean-Pierre Thayse, Andre Material type: Book Publication details: New York McGraw-Hill Intl.Bk. 1978 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.33 N78.
	289.	No cover image available Schaum's outline of theory and problems of set theory and related topics by Seymour Lipschutz by Lipschutz, Seymour Material type: Book Publication details: New York McGraw-Hill Book Co. 1964 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.33 N64. Place hold
	290.	No cover image available Enuberability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G.T. Herman by Hermes, Hans Hermann, G.T., Tr Plassmann, O., Tr Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; V.127 Edition: 2nd. Material type: Book Publication details: Berlin S-V 1969 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;1.
	291.	Lectures on boolean algebras by Paul R. Halmos. by Halmos, Paul R Material type: Book Publication details: New York S-V 1963 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N631.
	292.	No cover image available Introduction to boolean algebra and logic design by Gerhard E. Hornes, Melvin F. Heilweil by Hoernes, Gerhard E Heilweil, Melvin F Series: Program for Self-instruction Material type: Book Publication details: New York McGraw-Hill Book Co. 1964 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N64.
	293.	No cover image available Sets, logic and axiomatic theories by Robert R. Stoll, by Stoll, Robert R Material type: Book Publication details: San Francisco W.H. Freeman & Co. 1961 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N61;1.
	294.	Set theory an introduction to independence proofs by Kenneth Kunen by Kunen, Kenneth Series: Studies in Logic and the Foundations of Mathematics V.102 Material type: Book Publication details: Amsterdam North-Holland 1980 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N80. Place hold
	295.	No cover image available Applied boolean algebra an elementary introduction by Franz E. Hohn by Hohn, Franz E Series: Series of Undergraduate Mathematics Texts Material type: Book Publication details: New York Macmillan Co. 1960 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N60.
	296.	No cover image available Mathematical semantics, philosophy and science V.2 by N. Shanmuganandaram by Shanmugasundaram, N Series: Philosophy of Mathematics and Mathematical Logic V.1 Material type: Book Publication details: Chidambaram Sivakami Printers 1984 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N831.2.
	297.	First-order dynamic logic by David Harel, by Harel, David Series: Lecture Notes in Computer Science V.68 Material type: Book Publication details: Berlin Springer-Verlag 1979 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N795.
	298.	P-functions & boolean matrix factorization by Thayse, Andre Series: Lecture Notes in Computer Science ; 175 Material type: Book; Format: print ; Literary form: Not fiction Publication details: Berlin: Springer-Verlag, 1985 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.32 THA. Place hold
	299.	No cover image available Course in numerical analysis by H. Melvin Lieberstein by Lieberstein, H. Melvin Material type: Book Publication details: New York Harper & Row 1968 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N683;1.
	300.	No cover image available Recursive function theory and logic by Ann Yasuhara by Yasuhara, Ann Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks Material type: Book Publication details: New York Academic Press 1971 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N711.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Topics

Your search returned 893 results.