Your search returned 72 results.

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

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

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

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

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

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

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

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

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

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

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

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

33.
Boolean functions and equations by Sergiu Rudeanu by
  • Rudeanu, Sergiu
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.32 N74.

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

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

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

37.
Applied graph theory graphs and electrical networks by Wai-Kai Chen by
  • Chen, Wai-Kai
Series: North-Holland Series in Applied Mathematics and Mechanics V.13
Edition: 2nd.
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.502462 N76;1.

38.
Graphs, groups and surfaces by Arthur T. White by
  • White, Arthur T
Series: North-Holland Mathematics Studies V.8
Material type: Text Book
Publication details: Amsterdam North-Holland Pub.Co 1973
Availability: Items available for reference: JRD Tata Memorial Library: Not for loan (1)Call number: 511.5 N734.

39.
Applied graph theory graphs and electrical networks by Wai-Kai Chen by
  • Chen, Wai-Kai
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.502462 N76.

40.
Classification theory and the number of non-isomorphic models by S. Shelah by
  • Shelah, S
Series: Studies in Logic and the Foundation of Mathematics V.92
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.8 N781.

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