The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. /
41
| Main Authors: | , |
|---|---|
| Format: | |
| Published: |
Amsterdam : North Holland Pub,
1980
|
| Subjects: |
| _version_ | 1796661737202647040 |
|---|---|
| author | Kleene Symposium (1978 : University of Wisconsin-Madison) Barwise, Jon |
| author_facet | Kleene Symposium (1978 : University of Wisconsin-Madison) Barwise, Jon |
| author_sort | Kleene Symposium (1978 : University of Wisconsin-Madison) |
| collection | OCEAN |
| description | 41 |
| first_indexed | 2024-03-04T16:36:52Z |
| format | |
| id | KOHA-OAI-TEST:82705 |
| institution | Universiti Teknologi Malaysia - OCEAN |
| last_indexed | 2024-03-04T16:36:52Z |
| publishDate | 1980 |
| publisher | Amsterdam : North Holland Pub, |
| record_format | dspace |
| spelling | KOHA-OAI-TEST:827052020-12-19T17:00:39ZThe Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / Kleene Symposium (1978 : University of Wisconsin-Madison) Barwise, Jon Amsterdam : North Holland Pub,198041PSZJBLRecursion theoryIntuitionistic mathematics |
| spellingShingle | Recursion theory Intuitionistic mathematics Kleene Symposium (1978 : University of Wisconsin-Madison) Barwise, Jon The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title | The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title_full | The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title_fullStr | The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title_full_unstemmed | The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title_short | The Kleene symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A. / |
| title_sort | kleene symposium proceedings of the symposium held june 18 24 1978 at madison wisconsin u s a |
| topic | Recursion theory Intuitionistic mathematics |
| work_keys_str_mv | AT kleenesymposium1978universityofwisconsinmadison thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT barwisejon thekleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT kleenesymposium1978universityofwisconsinmadison kleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa AT barwisejon kleenesymposiumproceedingsofthesymposiumheldjune18241978atmadisonwisconsinusa |