Your search returned 43 results.

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

22.
Solvable cases of the decision problem by W. Ackermann, by
  • Ackermann, W
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1968
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N541.

23.
Constructible sets with applications by A. Mostowski by
  • Mostowski, A
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1969
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N694.

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

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

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

27.
Sets and classes on the work by Paul Bernays by Gert H. Mullker by
  • Mullker, Gert H
Series: Studies in Logic and the Foundations of Mathematics V.8
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.32 N76.

28.
Set theory an introduction to independence proofs by Kenneth Kunen by
  • Kunen, Kenneth
Series: Studies in Logic and the Foundations of Mathematics V.102
Material type: Text Book
Publication details: Amsterdam North-Holland 1980
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N80.

29.
Recursive analysis /by R.L. Goodstein by
  • Goodstein, R.L
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1961
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.7 N61;1.

30.
Word problems decision problems and the burnside problems in group theory ed. by W.W. Boone, F.B. Cannonito,and R.C. Lydon. by
  • Boone, W. W., ed
  • Cannonito, F. B., ed
  • Lydon, R. C., ed
Series: Studies in Logic and the Foundations of Mathematics ; V.71
Material type: Text Book
Publication details: Amsterdam North-Holland 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 512.22 N73.

31.
Proceedings of the summer school and colloquium in mathematical logic /ed. by R.O. Gandy and C.M.E. Yates by
  • Gandy, R.O., ed
  • Logic Colloquium'69 Manchester 1969
  • Yates, C.M.E., ed
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N713.

32.
Proceedings of the logic colloquium'77 ed. by Angus Macintyre.,[et al] by
  • Logic Colloquium'77 (Wroclaw 1977)
  • Macintyre, Angus. ed.,[et al]
Series: Studies in Logic and the Foundations of Mathematics V.96
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782.

33.
Proceedings of the logic colloquium'77 ed. by Angus Macintyre., [et al] by
  • Logic Colloquium'77 (Wroclaw 1977)
  • Macintyre, Angus.,ed. [ et al]
Series: Studies in Logic and the Foundations of Mathematics V.96
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1978
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N782;1.

34.
Proceedings of the logic colloquium'78 ed. by Maurice Boffa, Dirk Van dalen and Kenneth Moaloon by
  • Boffa, Maurice
  • Van dalen, Dirk
  • Mcaloon, Kenneth
  • Logic Colloquium'78
Series: Studies in Logic and the Foundations of Mathematics ; Vol.97
Material type: Text Book
Publication details: Amsterdam North-Holland 1979
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N79.

35.
Proceedings of the second scandinavian logic symposium ed. by J.E. Fenstad by
  • Fenstad, J.E
  • Second Scandinavian Logic Symposium
Series: Studies in Logic and the Foundations of Mathematics ; V.63
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1971
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N71.

36.
Proceeding of the third scandinavian logic symposium ed. by Stig Kanger by
  • Kanger, Stig
  • Third Scandinavian Logic Symposium
Series: Studies in Logic and the Foundations of Mathematics ; Vol.82
Material type: Text Book
Publication details: Amsterdam North-Holland 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.306 N751.

37.
Proceedings of the temple university conference on alternative semantics /ed. by Hugues Leblanc by
  • Leblanc, Hugues
  • Truth, Syntax and Modality Philadelphia 1973
Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N734.

38.
Toward a systematic pragmatics by R M Martin by
  • Martin, R M
Series: Studies in logic and the foundations of mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1959
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 144.3 N59.

39.
Boole's logic and probability A crilial exposition from the stand point of contemporary algebra, logic and probability theory by Theodore Hailperin. by
  • Hailperin, Theodore
Series: Studies in logic and the foundations of mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 519.2 N764.

40.
Handbook of mathematical logic ed. by John Barwise. by
  • Barwise, John., ed
Series: Studies in logic and the foundations of mathematics ; V.90
Material type: Text Book
Publication details: Amesterdam North-Holland Pub.Co. 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N774.

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