Your search returned 43 results.

Sort
Results
1.
Classical recursion theory the theory of functions and sets of natural numbers by Piergiorgio Odifreddi. by
  • Odifreddi, Piergiorgio
Series: Studies in logic and the foundations of mathematics ; v.125
Material type: Text Book
Publication details: Amsterdam North-Holland 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N893.

2.
Computability, complexity, logic by E. Borger by
  • Borger, E
Series: Studies in logic and the foundations of mathematics V.128
Material type: Text Book
Publication details: Amsterdam North-Holland 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N895.

3.
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;1.

4.
Logic, methodology and philosophy of science VIII by
  • ed. by Jens Erik Fenstad [et al]
  • Fenstad, Jens Erik., ed.,[ et al]
  • International Congress of Logic, Methodology and Philosophy of Science. Moscow 1987
Series: Studies in logic and the foundations of mathematics ; vol.126
Material type: Text Book
Publication details: Amsterdam N-H 1989
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 501 N891.

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

6.
Fundamentals of generalized recursion theory by Melvin Fitting by
  • Fitting, Melvin
Series: Studies in Logic and the Foundations of Mathematics V.105
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N81.

7.
Set theory an introduction to large cardinals by Frank R. Drake, by
  • Drake, Frank R
Series: Studies in Logic and the Foundations of Mathematics ; V.76
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1974
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N742.

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

9.
Combinatorial set theory partition relations for cardin als by Paul Erdos et.al by
  • Erdos, Paul
  • Hajnal, Andras
  • Mate, Attila
Series: Studies in Logic and the Foundations of Mathematics V.106
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1984
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.322 N84.

10.
Combinatorial set theory by Neil H. Williams, by
  • Williams, Neil H
Series: Studies in Logic and the Foundations of Mathematics ; V.91
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co. 1977
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N776.

11.
Intuitionistic logic model theory and forcing /by Melvin Chris Fitting by
  • Fitting, Melvin Chris
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.2 N69.

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

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

14.
Lambda calculus its syntax and semantics by H. P. Barendregt by
  • Barendregt, H. P
Series: Studies in Logic and the Foundations of Mathematics V.103
Material type: Text Book
Publication details: Amsterdam North-Holland Pub. Co. 1981
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N813.

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

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

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

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

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

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

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