Formal methods in the study of language/ edited by J.A.G. Groenendijk, T.M.V. Janssen, M.B.J. Stokhof.
Series: Matematisch Centrum (Amsterdam, Netherlands). Mathematical Centre tracts ; 135, 136.Mathematical Centre tracts ; 135, 136.Publication details: Amsterdam ; Mathematisch Centrum, 1981.Description: 2 v. (v, 599 p.): ill.; 24 cmISBN:- 9061962110 (pt.1)
- 9061962137 (pt.2)
- 511.3 F723
Item type | Current library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F724 1981 IMPA (Browse shelf(Opens below)) | 1 | 1 | Available | 39063000102932 | |
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 F724 1981 IMPA (Browse shelf(Opens below)) | 2 | 1 | Available | 39063000102940 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available No cover image available | No cover image available No cover image available | No cover image available No cover image available | ||||||
511.3 F547f 1981 IMPA Fundamentals of generalized recursion theory/ | 511.3 F671p 1985 IMPA The philosophy of Niels Bohr: the framework of complementarity/ | 511.3 F723 1965 IMPA Formal systems and recursive functions; proceedings/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F724 1981 IMPA Formal methods in the study of language/ | 511.3 F734l 2003 IMPA Logic, induction and sets/ | 511.3 F771 1984 IMPA Foundations - logic, language, and mathematics/ |
Includes bibliographies.
There are no comments on this title.