Linear logic in computer science/ edited by Thomas Ehrhard ... [et al.].
Series: London Mathematical Society lecture note series ; 316Publication details: Cambridge, UK; New York: Cambridge University Press, 2004.Description: x, 381 p.: ill.; 23 cmISBN:- 0521608570 (pbk.)
- 511.3 L754
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 511.3 L754 2004 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000617202 |
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 | No cover image available No cover image available | ||
511.3 L673s 1951 IMPA Symbolic logic/ | 511.3 L693i 1993 IMPA An introduction to Kolmogorov complexity and its applications/ | 511.3 L722m 1986 IMPA Mechanical theorem proving in the USSR: the Leningrad school/ | 511.3 L754 2004 IMPA Linear logic in computer science/ | 511.3 L786e 1986 IMPA The ethnomethodological foundations of mathematics/ | 511.3 L832 1965 IMPA Logic, methodology and philosophy of science: Proceedings/ | 511.3 L832 1966 IMPA The logic of decision and action/ |
Includes bibliographical references.
There are no comments on this title.