Automatic demonstration; proceedings Ed. by M.Laudet and others
Material type:
TextSeries: Lecture notes in Mathematics ; 125Publication details: Berlin Springer-Verlag 1970Description: 310pSubject(s): DDC classification: - 511.3 Sy989.AD
| Item type | Current library | Call number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
Book
|
ISID | 511.3 Sy989.AD (Browse shelf(Opens below)) | Available | DP14286 |
Browsing ISID shelves 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 | ||
| 511.3 Su959.AS Axiomatic set theory / | 511.3 Su959.AS Axiomatic set theory / | 511.3 Su959.IL Introduction to logic | 511.3 Sy989.AD Automatic demonstration; proceedings | 511.3 Sy989.FM Foundations of mathematics; papers commemorating the Sixteith birthday of Kurt Godel | 511.3 T136.IA Introduction to axiomatic set theory / | 511.3 T136.TA Two applications of logic to mathematics / |
There are no comments on this title.
Log in to your account to post a comment.