Search Results for Intuitionistic mathematics.

The foundations of intuitionistic mathematics

2024-10-24T15:28:00Z

Author Kleene, Stephen Cole, 1909-1994. Vesley, Richard Eugene, 1932-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534040
Format: Electronic Resources
Availability Online Library~1

The foundations of intuitionistic mathematics : especially in relation to recursive functions

2024-10-24T15:28:00Z

Author Kleene, Stephen Cole, 1909- Vesley, Richard Eugene, ort. yaz.
Preferred Shelf Number QA 248.5 K652 1965
Format: Books
Availability Beytepe Library~1

Logic and Its Applications 10th Indian Conference, ICLA 2023, Indore, India, March 3-5, 2023, Proceedings

2024-10-24T15:28:00Z

Author Banerjee, Mohua. editor. Sreejith, A. V. editor. SpringerLink (Online service)
Preferred Shelf Number XX(520823.1)
Electronic Access https://doi.org/10.1007/978-3-031-26689-8
Format: Electronic Resources
Availability Online Library~1

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-10-24T15:28:00Z

Author de Paiva, Valeria. editor. de Queiroz, Ruy. editor. Moss, Lawrence S. editor. Leivant, Daniel. editor. de Oliveira, Anjolina G. editor.
Preferred Shelf Number XX(518949.1)
Electronic Access https://doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources
Availability Online Library~1

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-10-24T15:28:00Z

Author Beckmann, Arnold. editor. Mitrana, Victor. editor. Soskova, Mariya. editor. SpringerLink (Online service)
Preferred Shelf Number XX(519060.1)
Electronic Access https://doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources
Availability Online Library~1

Phenomenology, Logic, and the Philosophy of Mathematics

2024-10-24T15:28:00Z

Author Tieszen, Richard.
Preferred Shelf Number ONLINE
Electronic Access Access by subscription
Format: Electronic Resources
Availability Online Library~1

Intentional mathematics

2024-10-24T15:28:00Z

Author Shapiro, Stewart, 1951-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444876324
Format: Electronic Resources
Availability Online Library~1

The L.E.J. Brouwer Centenary Symposium proceedings of the conference held in Noordwijkerhout, 8-13 June 1981

2024-10-24T15:28:00Z

Author L.E.J. Brouwer Centenary Symposium (1981 : Noordwijkerhout, Netherlands) Brouwer, L. E. J. (Luitzen Egbertus Jan), 1881-1966. Troelstra, A. S. (Anne Sjerp) Dalen, D. van (Dirk), 1932-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444864949
Format: Electronic Resources
Availability Online Library~1

The Kleene Symposium proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.

2024-10-24T15:28:00Z

Author Kleene Symposium (1978 : Madison, Wis.) Kleene, Stephen Cole, 1909-1994. Barwise, Jon. Keisler, H. Jerome. Kunen, Kenneth.
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444853455
Format: Electronic Resources
Availability Online Library~1

Intuitionism an introduction

2024-10-24T15:28:00Z

Author Heyting, A. (Arend), 1898-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444534064
Format: Electronic Resources
Availability Online Library~1

Intuitionism an introduction

2024-10-24T15:28:00Z

Author Heyting, A. (Arend), 1898-
Preferred Shelf Number ONLINE
Electronic Access ScienceDirect http://www.sciencedirect.com/science/book/9780444533821
Format: Electronic Resources
Availability Online Library~1