Results of search for 'ccl=su:"Logic, Symbolic and Mathematical"'

Results
	21.	Automata languages and programming Proceedings /ed. by Laurent Kott. by International Colloquium on Automata Languages and Programming. Rennes, France 1986 Series: Lecture notes in computer science ; 226 Material type: Book Publication details: Berlin S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N862.
	22.	Fundamentals of computation theory ed. by L. Budach. by 8th International Conference on Fundamentals of Computation Theory, Gosen, 1991 Budach, L Series: Lecture notes in computer science V.529 Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N911.
	23.	Attribute grammars, applications and systems /ed. by H. Alblas, B. Melichar. by Alblas, H. Melichar, B International Summer School SAGA. Prague 1991 Series: Lecture notes in computer science ; 545 Material type: Book Publication details: Berlin S-V 1991 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N911.
	24.	Mathematical foundations of programming semantics ed by M Main, et al by Intl. Conf. on Mathematical foundations...(New Orleans 1989) Main, M., ed Series: Lecture notes in computer science ; 442 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N904.
	25.	Mathematical foundations of computer science 1986 - Procedings /ed. byJ. Gruska, B. Rovan and J. Wiedermann. by MFCS '86. Bratislava, Czechoslovak 1986 Series: Lecture notes in computer science ; 223 Material type: Book Publication details: Berlin S-V 1986 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N861.
	26.	Mathematical foundations of computer science 1989 /ed. (by) A. Kreczmar and G. Mirkowska. by MFCS '89. Porabka-Kozubniki, Poland 1989 Series: Lecture notes in computer science ; 379 Material type: Book Publication details: Berlin S-V 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N894.
	27.	Mathematical foundations of computer science '1990 ed. by B. Rovan by Rovan, B., ed Series: Lecture notes in computer science ; 452 Material type: Book Publication details: Berlin S-V 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N90.
	28.	Mathematical logic Proceedings of the .... /ed. by Petio Petrov Petkov by ed. by Petkov, Petio Petrov Summer School and Conference on Mathematical Logic Material type: Book Publication details: New York Plenum 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N903.
	29.	Logic of Domains by Guo-Qiang Zhang by Zhang, Guo-Qiang Series: Progress in theoretical computer science Material type: Book Publication details: Boston Birkhauser 1991 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N912.
	30.	No cover image available Evolution of mathematical thought by Herbert Meschkowski, tr.by Jane H. Gayl. by Meschkowski, Herbert Gayl, Jane H., tr Series: Mathesis Series Material type: Book Publication details: San Francisco frider. Vieweg $ Sohn 1965 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.1 N65. Place hold
	31.	No cover image available Mathematics and logic retrospect and prospects Mark Kac and Stanislaw M. Ulam by Kac, Mark. #D Ulam, Stanilaw M Material type: Book Publication details: New York Frederick A. Praeger 1968 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.2416 N68. Place hold
	32.	100 years of mathematics by George Temple. by Temple, George Material type: Book Publication details: London Duckworth 1981 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.904 N81. Place hold
	33.	No cover image available Logic and boolean algebra by B.H. Arnold. by Arnold, B.H Material type: Book Publication details: Englewood Cliffs Prentice-Hall 1962 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N62.
	34.	No cover image available Mathematical logic by Yu. L. Ershov, E. A. Palyutin, tr. by Vladimir Shokurov. by Ershov, Yu. L Palyutin, E. A Shokurov, Vladimir., tr Material type: Book Publication details: Moscow Mir Publishers 1984 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.3 N84. Place hold
	35.	Introduction to mathematical logic by Hans Hermes, tr. from German by Diana Schmidt by Hermes, Hans Schmidt, Diana., Tr Material type: Book Publication details: Berlinn Springer-Verlag 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N733.
	36.	No cover image available Introduction to mathematical logic, Vol.1 bu Alonzo Church, by Church, Alonzo Series: Princeton Mathematical Series Material type: Book Publication details: New Jersey Princeton Univ.Press 1956 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N561. Place hold
	37.	Logic and logic design by B. Girling, H. G. Moring. by Girling, B Moring, H. G Material type: Book Publication details: Bucks Intl. Textbook Co. 1973 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N73.
	38.	No cover image available Set theory and logic by Robert R. Stoll by Stoll, Robert R Material type: Book Publication details: San Francisco W.H. Freeman and Co. 1963 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N634;1. Place hold
	39.	Proofs and refutations the logic of mathematical discovery by Imre Lakatos, ed. by John Worrall, Elie Zahar. by Lakatos, Imre Worrall, John., ed Zahar, Elie., ed Material type: Book Publication details: Cambridge Cambridge Univ.Press, 1976 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N763. Place hold
	40.	Algebraic introduction to mathematical logic by Donald W. Barnes, John M. Mack. by Barnes, Donald W Mack, John M Series: Graduate text in mathematics ; V.22 Material type: Book Publication details: New York Springer-Verlag 1975 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N757.

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 244 results.