<Books>
The Kleene Symposium : proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A / edited by Jon Barwise, H. Jerome Keisler, Kenneth Kunen.
(Studies in logic and the foundations of mathematics ; v. 101)
Publisher | Amsterdam : North-Holland |
---|---|
Publisher | New York : Elsevier North-Holland |
Year | 1980 |
Year | 1980 |
Size | xx, 425 p. : ill. ; 23 cm. |
Authors | Kleene Symposium (1978 ; Madison, Wis.) Kleene, Stephen Cole, 1909- Barwise, Jon Keisler, H. Jerome Kunen, Kenneth |
Subjects | Kleene, Stephen Cole Recursion theory -- Congresses All Subject Search Intuitionistic mathematics -- Congresses All Subject Search |
TOC
Hide book details.
Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|
数学図書室(図書) | 図書 |
|
410.8//St9//101 |
|
0444853456 |
|
|
|
0081030870 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:2times
※After Sep 4, 2017
Total Lendings:0times
(Lending within 3 months:0times)