Your search returned 244 results.

Sort
Results
101.
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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

117.
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 loan: JRD Tata Memorial Library (1)Call number: 511.3 N701;1.

118.
Consistency of the axiom of choice and of the generalized continum hypothesis with the axioms of set theory /by Kurt Godel by
  • Godel, Kurt
Series: Annals of Mathematics Studies
Material type: Text Book
Publication details: Princeton Princeton Univ.Press 1940
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N40.

119.
Studies in constructive mathematics and mathematical logic, part III /ed. by A.O. Slisenko by
  • Slisenko, A.O
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.3.

120.
Admissible sets and structures an approach to definability theory by Jon Barwise. by
  • Barwise, Jon
Series: Perspectives in mathematical logic
Material type: Text Book
Publication details: Berlin Springer-Verlag 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N755.

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