Your search returned 3323 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
501.
Collected works, Vol.2 geometry, analysis, topology and mechanics by L. E. J. Brouwer, ed. by Hans Freudenthal. by
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Co 1976
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 510.8 N75.2.

Place hold
502.
No cover image available
Foundations of intuitionistic mathematics especially in relation to recursive functions /by Stephen Cole Kleene, Richard Eugene Vesley by Series: Studies in Logic and Foundations of Mathematics
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Co 1965
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N651.

503.
Abstract set theory by Abraham A. Fraenkel, rev. by Azriel Levy. by Series: Studies in Logic and the Foundations of Mathematics
Edition: 4th
Material type: Text Text
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.

504.
International conference on foundations of computation theory /ed. by Marek Karpinski and Jan Van Leeuwen by Series: North-Holland Mathematics Studies
Material type: Text Text
Publication details: Amsterdam North-Holland 1985
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511 N85;1.

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

Place hold
506.
Course in mathematical logic by J. L. Bell and M. Machover, by
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Co. 1977
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 511.3 N777.

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

Place hold
508.
Infinite and finite sets to Paul Erdos on his 60th birthday, V.1 ed. by A. Hajnal, R. Rado, Vera T. Sos. by Series: Colloquia Mathematica Societatis Janos Bolyai, 10
Material type: Text Text
Publication details: Amsterdam North-Holland Pub.Company, 1975
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N754.1.

509.
Finite algebra and multiple-valued logic ed. by B. Csakany, I. Rosenberg by Series: Colloquia Mathematica Societatis Janos Bolyai, 28
Material type: Text Text
Publication details: Amsterdam North-Holland Pub. Co. 1981
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.3 N811.

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

511.
Advances in fuzzy set theory and applications ed. by Madan M. Gupta., [et al] by
Material type: Text Text
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 N793.

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

Place hold
513.
Combinatorial set theory by Neil H. Williams, by Series: Studies in Logic and the Foundations of Mathematics ; V.91
Material type: Text Text
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.

514.
Intuitionistic logic model theory and forcing /by Melvin Chris Fitting by Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Text
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.

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

516.
Combinatory logic, V.2 by Haskell B. Curry, J. Roger Hindley, Jonathan P. Seldin, by Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Text
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.

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

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

Place hold
519.
No cover image available
Hypothetical reasoning by Nicholas Rescher, by Series: Studies in Logic and the Foundations of Mathematics
Material type: Text Text
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.

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

Place hold
Pages

                                                                                                                                                                                                    Facebook    Twitter

                             Copyright © 2024. J.R.D. Tata Memorial Library, Indian Institute of Science, Bengaluru - 560012
                             Contact   Phone: +91 80 2293 2832