Export Mendeley
＜Books＞
Combinators, λ-terms and proof theory / Sören Stenlund
(Synthese library)
| Publisher | Dordrecht : D. Reidel |
|---|---|
| Year | c1972 |
| Codes | ID=2000281199 NCID=BA04530870
|
Show details.
| Language | English |
|---|---|
| Size | 184 p. ; 23 cm |
| Notes | Akademisk avhandling--Uppsala Extra t.p. with thesis statement inserted Bibliography: p. 177-180 Includes indexes |
| Authors | *Stenlund, Sören |
| Subjects | LCSH:Proof theory LCSH:Combinatory logic |
| Classification | LCC:QA9 DC:511/.3 NDLC:MA41 |
| Vol | ISBN:9027703051 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Sci. Math. Lib. Foreign Book |
|
/ST 42 | 2020862316 |
|
9027703051 | 1972 |
|
|||||
| Philosophy of Science, Graduate School of Science |
|
108/SY78 | 2021016153 |
|
9027703051 | 1972 |
|
|||||
| Eng General Lib, Basement Stacks (Foreign Books) |
|
657.96/ST42 | 3520916368 |
|
9027703051 | 1972 |
|