Your search returned 244 results.

Sort
Results
41.
Statements and sets a problem-oriented approach by Shanti Narayan and Nilima by
  • Narayan, Shanti
  • Nilima
Material type: Text Book
Publication details: New Delhi Chand & Co. Ltd. 1976
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N745.

42.
Degrees of unsolvability by Gerald E. Sacks, by
  • Sacks, Gerald E
Series: Annals of Mathematics Studies
Edition: 2nd
Material type: Text Book
Publication details: Princeton Princeton Univ.Press 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N632.

43.
Mathematical logic by Stephen Cole Kleene. by
  • Kleene, Stephen Cole
Series: Introduction to metamathematics
Material type: Text Book
Publication details: New York John Wiley & Sons 1967
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N67.

44.
Profile of mathematical logic by Howard Deong, by
  • Delong, Howard
Series: Addison-Wesley Series in Mathematics ;
Material type: Text Book
Publication details: Massachusetts Addison-Wesley Pub.Co. 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N704.

45.
Logic and proof /by Marvin L. Bittinger by
  • Bittinger, Marvin L
Material type: Text Book
Publication details: Massachusetts Addison-Wesley Pub.C 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N70;1.

46.
Proof theory by Kurt Schutte, tr. from the German by J.N. Crossley by
  • Schutte, Kurt
  • Crossley, J.N., Tr
Series: Grundlehren der mathematischen Wissenschaften, 225
Material type: Text Book
Publication details: Berlin Springer-Verlag 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N771;1.

47.
Algebraic methods of mathematical logic by Ladislav Rieger, by
  • Rieger, Ladislav
Material type: Text Book
Publication details: New York Academic Press 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N673.

48.
Theory of sets Anthony P. Morse by
  • Morse, Anthony P
Series: Pure and Applied Mathematics, a Series of Monographs and Textbooks
Material type: Text Book
Publication details: New York Academic Press 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N653.

49.
Logic and proof by Marvin L. Bittinger, by
  • Bittinger, Marvin L
Material type: Text Book
Publication details: Massachusetts Addison-Wesley Pub. Co. 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N70.

50.
Course of mathematical logic model theory, V.2 by Roland Fraisse by
  • Fraisse, Roland
Series: Synthese Library V.69
Material type: Text Book
Publication details: Boston D. Reidel Pub. Co. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N74.2.

51.
Mathematical introduction to logic by Herbert B. Enderton. by
  • Enderton, Herbert B
Material type: Text Book
Publication details: New York Academic Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N72.

52.
Logic for computer science foundation of automatic theorem proving by Jean H. Gallier by
  • Gallier, Jean H
Series: Harper and Row Computer Science and Technology Series
Material type: Text Book
Publication details: New York Harper & Row, Pub. 1986
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N861;2.

53.
Introduction to symbolic logic by A. H. Basson, D. J. O'Connor. by
  • Basson, A.H
  • O'Connor, D. J
Material type: Text Book
Publication details: Calcutta Oxford Univ. Press. 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N762;1.

54.
Logic and foundations of mathematics ed. by D. Van Dalen et.al by
  • Dalen, Van D
  • Dijkman, J.G
  • Kleene, S.C
Material type: Text Book
Publication details: Netherlands Wolters-Noordhoff Pu 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N68.

55.
Set theory an intuitive approach by Shwu-Yeng T. Lin, You-Feng Lin. by
  • Lin, Shwu-Yeng T
  • Lin, You-Feng
Material type: Text Book
Publication details: Boston Houghton Mifflin Co. 1974
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N744.

56.
Elementary logic by Benson Mates. by
  • Mates, Benson
Material type: Text Book
Publication details: Berkeley Oxford Univ. Press 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N65.

57.
Logic and structure by Dirk Van Dalen by
  • Dalen, Dirk Van
Series: Universitext
Material type: Text Book
Publication details: Berlin Springer-Verlag 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N803.

58.
Infinity and the mind the science and philosophy of the infinite by Rudy Rucker by
  • Rucker, Rudy
Material type: Text Book
Publication details: Boston Birkhauser 1982
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N821.

59.
Principles of mathematics by Bertrand Russell. by
  • Russell, Bertrand
Edition: 2nd
Material type: Text Book
Publication details: London George Allen & Unwin 1937
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N37.

60.
Symbolic logic and mechanical theorem proving by Chin-Liang Chang and Richard Char-Tung Lee by
  • Chang, Chin-Liang
  • Lee, Richard Char-Tung
Series: Computer Science and Applied Mathematics, a Series of Monographs and Textbooks
Material type: Text Book
Publication details: New York Academic Press 1973
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N732;1.

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