Results of search for 'su:"Mathematical logic."' › JRD Tata Memorial Library catalog

Results
	1.	Mathematical logic an introduction to model theory by A. H. Lightstone, ed. by H. B. Enderton by Lightstone, A. H Enderton, H. B., ed Series: Mathematical concepts and methods in science and engineering 9 Material type: Book Publication details: New York Plenum 1978 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N781;1. Place hold
	2.	Formal background to mathematics 1a by R. E. Edwards. by Edwards, R.E Series: Universitext Material type: Book Publication details: New York Springer-Verlag 1979 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510 N792.1A;1. Place hold
	3.	No cover image available Logic and algorithms with application to the computer and information sciences by Robert R. Korfhage. by Korfhage, Robert R Material type: Book Publication details: New York John Wiley 1966 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N66;2.
	4.	Temporal logic of programs. by Fred Kroger by Kroger, Fred Series: EATCS Monographs on theoretical computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1987 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.131 N873.
	5.	Categorical methods in computer science with aspects from topology ed. by H. Ehrig, H. Herrlich, H. J. Krewoski. by Ehrig, H., ed Herrlich, H., ed Kewoski, H. J., ed Series: Lecture notes in computer science ; 393 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.13 N892.
	6.	No cover image available Logical charecterization of asynchronously communicating agents. by Christensen, Soren Series: Aarhus Univ., Computer Science Dept, DAIMIPB-309 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N901. Place hold
	7.	No cover image available Elementary transition systems /by. M. Nielson, G. Rozenberg, P.S. Thiagarajan. by Nielson, M Rozenberg, G Thiagarajan, P.S Series: Aarhus Univ. Computer Science Dept. D A I M I P B 310 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 004.36015113 N90. Place hold
	8.	No cover image available Compositional checking of validity. by Winksel, Glynn Series: Aarhus Univ. Computer Science Dept, DAIMI PB 324 Material type: Book Publication details: Aarhus Aarhus Univ. 1990 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N90.
	9.	Algebra, combinatorics and logic in computer science ed. by J. Demetrovics, G. Katona, A. Salomaa by Demetrovics, J., ed Katona, G., ed Salomaa, A., ed Series: Colloquia Mathematic Janos Bolyai ; 42 Material type: Book Publication details: Amsterdam N-H 1986 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 005.131 N864.1. Place hold
	10.	No cover image available Logic and information by keith Devlin by Devlin, Keith Material type: Book Publication details: Cambridge CUP 1991 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N913. Place hold
	11.	CAAP '92 /ed. by J.C. Raoult. by Raoult, J.C Colloquium on Trees in Algebra and Programming. Rennes 1992 Series: Lecture notes in computer science ; 581 Material type: Book Publication details: Berlin S-V 1992 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.13 N92.
	12.	Symbolic and quantitative approaches to uncertainity /ed. by R. Kruse, P. Siegel. by Kruse, R. Siegel, P European Conference on Symbolic ... Marseille 1991 Series: Lecture notes in computer science ; 548 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 N912.
	13.	Mathematics of program construction. by Snepscheut, J.L.A. Vande Intl. Conference on Mathematics of Program Construction. Groningen, Netherlands 1989 Series: Lecture notes in computer science ; 375 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N892.
	14.	No cover image available Rewriting techniques and applications ed. by Nachum Dershowitz. by Dershowitz, Nachum., ed Intl. Conference on Rewriting Techniques and Applications ( Chapel Hill : 1989 ) Series: Lecture notes in computer science ; Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N898.
	15.	Proof theory a selection of papers from the Leeds Proof Theory Programme 1990 ed. by Peter Aczel, Harold Simmons and Stanley S Wainer by ed. by Aczel, Peter Simmons, Harold Wainer, Stanley S Material type: Book Publication details: Cambridge Cambridge University Press 1992 Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N925. Place hold
	16.	Logic at Botik '89 ed. by A. R. Meyer, M. A. Taitslin by Symposium on Logical Foundations of Computer Science Meyer, A. R., ed Taitslin, M. A., ed Series: Lecture notes in computer science V.363 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N891.
	17.	Logic at Botik '89. by Symposium on Logical Foundations of Computer Science Pereslavl-Zalessky 1989 Series: Lecture notes in computer science ; 363 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.13 N89.
	18.	CSI '88. by Workshop on computer science logic. ( Duisburg, FRG : 1988 ) Series: Lecture notes in computer science ; no.385 Material type: Book Publication details: Berlin Springer-Verlag 1989 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.0285 N89.
	19.	Rewriting techniques and applications : 4th International conference RTA proceedings by ed by Ronald V. Book Book, Ronald V., ed Series: Lecture notes in Computer Science ,Vol.488 ; Material type: Book Publication details: Berlin Springer-Verlag 1991 Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005.13 N913.
	20.	No cover image available Handbook of logic in computer science Vol.3-4 ed by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum by Abramsky, S. ed Gabby, Dov M. ed Maibaum, T. S. E Material type: Book Publication details: Oxford Oxford Science Pub. 1994 Availability: Items available for reference: Computer Science and Automation: Not for loan (1)Call number: 005.131 N95.3-4 (CSA).

Refine your search

Availability

Authors

Holding libraries

Item types

Locations

Series

Your search returned 137 results.