ISILC Proof theory symposium
Material type:
TextLanguage: English Series: Lecture notes in mathematics; v 500Publication details: Berlin Springer-Verlag 1975Description: viii,383pISBN: - 3-540-07533-X
- 511.3 In61P
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata | 511.3 In61P (Browse shelf(Opens below)) | Available | 87666 |
Total holds: 0
Browsing ISI Library, Kolkata shelves Close shelf browser (Hides shelf browser)
| 511.3 In61F Fuzzy Information,knowledge Representation and Decision Analysis | 511.3 In61L ISILC Logic conference | 511.3 In61L Logic,language,and probability : proceedings | 511.3 In61P ISILC Proof theory symposium | 511.3 J42 Selectors | 511.3 J44 Multiple forcing | 511.3 J66 Elements of Logic via numbers and sets |
There are no comments on this title.
Log in to your account to post a comment.
