Your search returned 893 results.

Sort
Results
181.
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: Text Book
Publication details: Moscow Mir Publishers 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.3 N84.

182.
Introduction to mathematical logic by Hans Hermes, tr. from German by Diana Schmidt by
  • Hermes, Hans
  • Schmidt, Diana., Tr
Material type: Text 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.

183.
Computer science and multiple -valued logic theory and applications ed. by David C. Rine. by
  • Ribne, David C., ed
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N77.

184.
Introduction to mathematical logic, Vol.1 bu Alonzo Church, by
  • Church, Alonzo
Series: Princeton Mathematical Series
Material type: Text Book
Publication details: New Jersey Princeton Univ.Press 1956
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N561.

185.
Logic and logic design by B. Girling, H. G. Moring. by
  • Girling, B
  • Moring, H. G
Material type: Text 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.

186.
Set theory and logic by Robert R. Stoll by
  • Stoll, Robert R
Material type: Text 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.

187.
Many-valued logic by Nicholoas Rescher by
  • Rescher, Nicholas
Material type: Text Book
Publication details: New York McGraw-Hill Book Co. 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N692.

188.
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: Text Book
Publication details: Cambridge Cambridge Univ.Press, 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N763.

189.
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: Text 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.

190.
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.

191.
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.

192.
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.

193.
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.

194.
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.

195.
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.

196.
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.

197.
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.

198.
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.

199.
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.

200.
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.

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