Custom cover image
The Kleene Symposium : proceedings of the symposium, held june 18 - 24, 1978 at Madison, Wisconson, U.S.A. / ed. by Jon Barwise ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Studies in logic and the foundations of mathematics ; 101Publisher: Amsterdam [usw.] : North-Holland Publ. Co., 1980Description: XX, 425 S. : Ill., graph. Darst. ; 23 cmISBN:- 0444853456
- Rekursionstheorie
- Intuitionistische Mathematik
- Intuitionistische Logik
- Kleene, Stephen Cole 1909-1994
- Recursion theory -- Congresses
- Intuitionistic mathematics -- Congresses
- Mathematics
- Physical Sciences & Mathematics
- Mathematical Theory
- Intuïtionisme
- Recursieve functies
- Conference papers and proceedings
- 511.3
- 511/.3
- QA9.6
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | 80 A 4411 | Available | 46132994090 | |
| Freihandbestand ausleihbar | Fachbibliothek Mathematik | Bibliothek / frei aufgestellt | Konf. / 1978 / Mad | Available | 09036117068 |
Total holds: 0