Your search returned 893 results.

Sort
Results
321.
Proceedings of the summer school and colloquium in mathematical logic /ed. by R.O. Gandy and C.M.E. Yates by
  • Gandy, R.O., ed
  • Logic Colloquium'69 Manchester 1969
  • Yates, C.M.E., ed
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N713.

322.
Proceedings of the logic colloquium'77 ed. by Angus Macintyre.,[et al] by
  • Logic Colloquium'77 (Wroclaw 1977)
  • Macintyre, Angus. ed.,[et al]
Series: Studies in Logic and the Foundations of Mathematics V.96
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782.

323.
Proceedings of the logic colloquium'77 ed. by Angus Macintyre., [et al] by
  • Logic Colloquium'77 (Wroclaw 1977)
  • Macintyre, Angus.,ed. [ et al]
Series: Studies in Logic and the Foundations of Mathematics V.96
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782;1.

324.
Proceedings of the logic colloquium'78 ed. by Maurice Boffa, Dirk Van dalen and Kenneth Moaloon by
  • Boffa, Maurice
  • Van dalen, Dirk
  • Mcaloon, Kenneth
  • Logic Colloquium'78
Series: Studies in Logic and the Foundations of Mathematics ; Vol.97
Material type: Text Book
Publication details: Amsterdam North-Holland 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N79.

325.
Proceedings of the first Brazilian conference on mathematical logic ed. by Adya I. Arruda, Newton C. A. da Costa, Rolando Chuaqui by
  • Arruda, Adya I., ed
  • da Costa, Newton C. A., ed
  • Chuaqui, Rolando., ed
  • Mathematical Logic ( Brazil : 1977 )
Series: Lecture Notes in Pure and Applied Mathematics ; V.39
Material type: Text Book
Publication details: New York Marcel Dekker 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N78;1.

326.
Proceedings of the first Brazilian conference on mathematical logic ed. by Adya I. Arruda, Newton C. A. da Costa, Rolando Chuaqui by
  • Arruda, Adya I., ed
  • da Costa, Newton C. A., ed
  • Chuaqui, Rolando., ed
  • Mathematical Logic ( Brazil : 1977 )
Series: Lecture Notes in Pure and Applied Mathematics ; V.39
Material type: Text Book
Publication details: New York Marcel Dekkar 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N78.

327.
Model Theory of Algebra and Arithmetic ed. by L. Pacholski., [et al] by
  • Conference on application of logic to algebra and arithmetic
  • Pacholski, L. ed., [et al]
Series: Lecture notes in Mathematics V.834
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N807.

328.
Proceedings of the second scandinavian logic symposium ed. by J.E. Fenstad by
  • Fenstad, J.E
  • Second Scandinavian Logic Symposium
Series: Studies in Logic and the Foundations of Mathematics ; V.63
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N71.

329.
Proceedings of the summer school in logic /ed. by M.H. Lob by
  • Lob, M.H
  • Summer School in Logic (Leeds).(1967)
Series: Lecture Notes in Mathematics
Material type: Text Book
Publication details: Berlin S-V 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N681.

330.
Proceeding of the third scandinavian logic symposium ed. by Stig Kanger by
  • Kanger, Stig
  • Third Scandinavian Logic Symposium
Series: Studies in Logic and the Foundations of Mathematics ; Vol.82
Material type: Text Book
Publication details: Amsterdam North-Holland 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N751.

331.
Proceedings of the temple university conference on alternative semantics /ed. by Hugues Leblanc by
  • Leblanc, Hugues
  • Truth, Syntax and Modality Philadelphia 1973
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N734.

332.
Logic of programs ed. by Edmund Clarke, Dexter Kozen by
  • Workshop on Logic of Programs (Pittsburgh 1983)
  • Clarke, Edmund
  • Kozen, Dexter
Series: Lecture Notes in Computer Science V.164
Material type: Text Book
Publication details: Berlin Springer-Verlag 1984
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N843.

333.
Combinatorial and geometric group theory ed. by Andrew J. Duncan, N. D. Gilbert and James Howie by
  • Workshop on Combnatorial and geometric group theory (1993 Edinburth)
  • Duncan, Andrew J., ed
  • Gilbert, N. D., ed
  • Howie, James, ed
Series: London Mathematical Society Lecture Note Series 204
Material type: Text Book
Publication details: Cambridge Cambridge University Press 1995
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.22 N95.

334.
Logic in computer science. LICS 1995. Proceedings by
  • IEEE Symposium on logic in computer science (10: 1995: San Diego)
Material type: Text Book
Publication details: Los Alamitos IEEE 1995
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 005 N952 "SER".

335.
Advanced logical circuit design techniques by Antonin Svoboda and Donnamaie E. White by
  • Svoboda, Antonin
  • White, Donnamaie E
Material type: Text Book
Publication details: New York Garland STPM 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.38153 N793.

336.
Logic circuits and microcomputer systems by Claude A. Wiatrowski and Charles H. House by
  • Wiatrowski, Claude A
  • House, Charles H
Series: McGraw-Hill Series in Electrical Engineering
Material type: Text Book
Publication details: New York McGraw-Hill 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38153 N80.

337.
Digital logic design by B.Holdsworth by
  • Holdsworth, B
Material type: Text Book
Publication details: London Butterworths 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38153 N821.

338.
Systematic approach to digital logic design by Fredrick J. Mowle. by
  • Mowle, Frederick J
Material type: Text Book
Publication details: Reading Addison-Wesley 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 621.38153 N767;1.

339.
Threshold logic a synthesis approach by Michael L. Dertouzos. by
  • Dertouzos, Michael L
Series: Research Monograph No 32
Material type: Text Book
Publication details: Cambridge MIT 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.381537 N655.

340.
Threshold logic by
  • II Lewis, P. M. Coates, C. L
Material type: Text Book
Publication details: New York John Wiley and Sons 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 621.381537 N67.

Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2023. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012

                             Contact   Phone: +91 80 2293 2832

Powered by Koha