Your search returned 2 results.

Sort
Unhighlight Highlight
Select all Clear all
Select titles to:
Results
1.
No cover image available
Foundations of intuitionistic mathematics especially in relation to recursive functions /by Stephen Cole Kleene, Richard Eugene Vesley by
  • Kleene, Stephen Cole
  • Vesley, Richard Eugene
Series: Studies in Logic and Foundations of Mathematics
Material type: Text Book
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.

2.
No cover image available
Language with expression of infinite length by Carol R. Karp by
  • Karp, Carol R
Series: Studies in logic and foundations of mathematics
Material type: Text Book
Publication details: Amsterdam North-Holland 1964
Availability: Items available for loan: JRD Tata Memorial Library (1)Call number: 515.2 N64.

Place hold
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