Your search returned 893 results.

Sort
Results
241.
Logic and algorithms with applications to the computer and information sciences by Robert R Korfhage. by
  • Korfhage, Robert R
Material type: Text Book
Publication details: New York John Wiley & Sons 1966
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N66.

242.
Foundational studies - selected works V.1 by Andrzej Mostowski by
  • Mostowski, Andrzej
Series: Studies in Logic and the Foundations of Mathematics V.93
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.1.

243.
Mathematical logic with special reference to the natural numbers by S. W. P. steen. by
  • Steen, S.W.P
Material type: Text Book
Publication details: Cambridge Cambridge Univ.Press 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N722.

244.
Combinatory logic, V.2 by Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, by
  • Curry, Haskell B
  • Hindley, Roger J
  • Seldin, Jonathan P
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1972
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N721.

245.
Formal logic its scope and limits by Richard C. Jeffrey by
  • Jeffrey, Richard C
Material type: Text Book
Publication details: New Delhi Tata McGraw-Hill Pub. Co. 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N809;1.

246.
Symbolic logic an introduction by Fredric Brenton Fitch. by
  • Fitch, Frederic Brenton
Material type: Text Book
Publication details: New York Ronald Press Company 1952
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N52.

247.
Non-standard analysis by abraham Robinson, by
  • Robinson, Abraham
Series: Studies in Logic and the Foundation of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1966
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N661.

248.
Symbolic logic an introduction by Richmond H. Thomason, by
  • Thomason, Richard H
Material type: Text Book
Publication details: London Macmillan Co. 1970
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N702.

249.
Hypothetical reasoning by Nicholas Rescher, by
  • Rescher, Nicholas
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1964
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N643.

250.
Profile of mathematical logic by Howard Delong, by
  • Delong, Howard
Series: Addison-Wesley series in mathematics
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 N701.

251.
Abstract set theory by Abraham A. Fraenkel. by
  • Fraenkel, Abraham A
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Publishing Company. 1953
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N53.

252.
Axiomatic theory of sets and classes by Murray Eisenberg, by
  • Eisenberg, Murray
Material type: Text Book
Publication details: New York Holt,Rinehart &Winst Inc. 1971
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N712.

253.
Completeness, compactness, and undecidability an introduction to mathematical logic by Alfred B. Manaster by
  • Manaster, Alfred B
Material type: Text Book
Publication details: New Jersey Prentice-Hall Inc. 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N756.

254.
Studies in constructive mathematics and mathematical logic, part I /ed. by A.O. Slisenko, by
  • Slisenko, A. O.,ed
Series: Seminars in Mathematics
Material type: Text Book
Publication details: New York Consultants Bureau 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N69.1.

255.
Equality, resemblance and order by Ju. A. Schreider, tr. by Martin Greendlinger. by
  • Schreider, Ju. A
  • Greendlinger, Maetin., tr
Material type: Text Book
Publication details: Moscow MIR Publishers 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N751.

256.
Naive set theory by Paul R. Halmos. by
  • Halmos, Paul R
Series: University Series in Undergraduate Mathematics
Material type: Text Book
Publication details: New York Van Nostrand Reinhold Company. 1960
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N601;3.

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

258.
Set theory with an introduction to descriptive set theory by K. Kuratowski and A. Mostowski by
  • Kuratowski, K
  • Mostowski, A
Series: Studies in Logic and the Foundations of Mathematics ; V.86
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 N761.

259.
History of mathematical logic form leibniz and peano by N.I. Styazhkin by
  • Styazhkin, N.I
Material type: Text Book
Publication details: Cambridge M.I.T. Press 1969
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.309 N69.

260.
Non-standard analysis by Abraham Robinson, by
  • Robinson, Abraham
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1966
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N661;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