Your search returned 893 results.

Sort
Results
261.
Foundations of mathematical logic by Haskell B. Curry. by
  • Curry, Haskell B
Series: McGraw-Hill Series in Higher Mathematics
Material type: Text Book
Publication details: New York McGraw-Hill Book Co. 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N633.

262.
Enumerability . decidability . computability an introduction to the theory of recursive functions by Hans Hermes, tr. by G.T. Herman by
  • Hermes, Hans
  • Hermann, G.T., Tr
  • Plassmann, O., Tr
Series: Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen Band ; Vol.127
Edition: 2nd
Material type: Text Book
Publication details: Berlin Springer-Verlag 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N693;4.

263.
Axiomatic set theory by Patrick Suppes. by
  • Suppes, Patrick
Series: University Series in Undergraduate Mathematics
Material type: Text Book
Publication details: Princeton D. Van Nostrand Co. 1960
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N60.

264.
Syntax and semantics of infinitary languages /ed. by Jon Barwise by
  • Barwise, Jon., ed
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 N687.

265.
Logic in algebraic form three languages and theories by William Craig, by
  • Craig, William
Series: Studies in Logic and the Foundations of Mathematics ; V.72
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N741.

266.
Introduction to mathematical logic, Vol.1 by 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;1.

267.
Survey of mathematical logic by Hao Wang, by
  • Wang, Hao
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam Science-Press Peking 1963
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N636.

268.
Elements of mathematical logic by P. S. Novikov, tr. by Leo F. Boron. by
  • Novikov, P.S
  • Boron, Leo F., tr
Material type: Text Book
Publication details: Edinburgh Oliver & Boyd ltd. 1964
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N641.

269.
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 reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N771.

270.
Course in mathematical logic by Yu.I. Manin, tr. from the Russian by Neal Koblitz by
  • Manin, Yu.I
  • Koblitz, Neal
Series: Graduate text in Mathematics ; 53
Material type: Text Book
Publication details: New York Springer-Verlag 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N772.

271.
Elements of mathematical logic Jan Lukasiewicz, tr. from Polish by Olgierd Wojtasiewicz by
  • Lukasiewicz, Jan
  • Wojtasiewicz, Olgierd. tr
Series: International Series of Monographs in Pure and Applied Mathematics
Material type: Text Book
Publication details: Oxford Pergamon Press 1963
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N635.

272.
Elements of mathematical logic and set theory by J. Slupecki and L. Borkowski, tr. by O. Wojtasiewicz by
  • Slupecki, J
  • Borkowski, L
  • Wojtasiewicz, O., Tr
Series: International series of monographs in pure and applied mathematics
Material type: Text Book
Publication details: Oxford Pergamon Press 1967
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N675;1.

273.
Boolean algebra and its applications including boolean matrix algebra by H. Graham Flegg. by
  • Flegg, Graham H
Material type: Text Book
Publication details: London Balckie 1964
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N642;1.

274.
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 1966
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N666.

275.
Boolean functions and equations by Sergiu Rudeanu by
  • Rudeanu, Sergiu
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N74.

276.
Intuitionism an introduction by A. Heyting, by
  • Heyting, A
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1966
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N662;1.

277.
Foundational studies selected works, V.2 by Andrzej Mostowski by
  • Mostowski, Andrzej
Series: Studies in Logic and the Foundations of Mathematics V.9
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N791.2.

278.
Abstract set theory by Abraham A Fraenkel, rev. by Azriel Levy by
  • Fraenkel, Abraham A
  • Levy, Azriel
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland pub.Co. 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N76;1.

279.
Proof theory and intuitionistic systems /by Bruno Scarpellini by
  • Scarpellini, Bruno
Series: Lecture Notes in Mathematics
Material type: Text Book
Publication details: Berlin S-V 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N714.

280.
Principles and applications of boolean algebra for electronic engineers by Salvatore A. Adelfio, Christine F. Nolan by
  • Adelfio, Salvatore A
  • Nolan, Christine F
Material type: Text Book
Publication details: London Iliffe Books Ltd. 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.32 N65;2.

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