ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 edited by J. Diller and G. H. Muller
Series: Lecture notes in mathematics ; 500 | Lecture notes in mathematics (Springer-Verlag)Publication details: Berlin New York Springer-Verlag c1975Description: viii, 383 p 25 cmISBN:- 038707533X (New York)
- 354007533X (Berlin)
- 510/.8 s 511/.3
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
Carti | IMAR | 510/.8 S 511/.3-XXX-7 (Browse shelf(Opens below)) | Available | 0032534 |
Browsing IMAR shelves Close shelf browser (Hides shelf browser)
No cover image available | ||||||||
510/.8 S 511/.3-XXX-7 Logic Colloquium symposium on logic held at Boston, 1972-73 | 510/.8 S 511/.3-XXX-7 Infinitary logic in memoriam Carol Karp | 510/.8 S 511/.3-XXX-7 ISILC Logic Conference proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 | 510/.8 S 511/.3-XXX-7 ISILC Proof Theory Symposion dedicated to Kurt SchuÃŒÂ(tte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 | 510/.8 S 511/.42-XXX Spline functions proceedings of an international symposium held at Karlsruhe, Germany, May 20-23, 1975 | 510/.8 S 511/.4-ZIE Discontinuous Cebysev systems | 510/.8 S 511/.6-LIN-1 Combinatorial theory seminar, Eindhoven University of Technology |
Text in English or German
Cuprinde bibliografie pe capitole
There are no comments on this title.
Log in to your account to post a comment.