Advances in linear logic
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Πρακτικό Συνεδρίου Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge :
Cambridge University Press,
1995
|
| Σειρά: | London Mathematical Society lecture note series ;
; 222 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | Based on the Linear Logic Workshop held June 14-18, 1993, at the Mathematical sciences Institute, Cornell University Includes bibliographical references |
|---|---|
| Φυσική περιγραφή: | vi, 389 p.; ill.; 24 cm. |
| ISBN: | 0-521-55961-8 |