Logic and computation : interactive proof with Cambridge LCF
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Δημοσίευση: |
Cambridge : New York :
Cambridge University Press,
1987
|
| Σειρά: | Cambridge tracts in theoretical computer science ;
; 2 |
| Θέματα: | |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περιγραφή τεκμηρίου: | Includes index |
|---|---|
| Φυσική περιγραφή: | xiii, 302 p.; 25 cm |
| Βιβλιογραφία: | Bibliography: p. [289]-295 |
| ISBN: | 0521346320 |