Export Mendeley
＜Books＞
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert Willem Beth
(Synthese library)
| Publisher | Dordrecht, Holland : D. Reidel Publishing Co. |
|---|---|
| Year | 1962 |
| Codes | ID=2000282543 NCID=BA02011781
|
Show details.
| Language | English |
|---|---|
| Size | xiv, 170 p. ; 23 cm |
| Notes | Includes bibliography |
| Authors | *Beth, Evert Willem |
| Subjects | LCSH:Logic, Symbolic and mathematical |
| Classification | LCC:BC135.B45 DC:164 |
Hide book details.
| Location | Volume | Call No. | Barcode No. | Status | Comments | ISBN | Printed | Reserve | Restriction | Copy | eDDS | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| North Library (Closed Stack, 5-7th, Media, Foreign Books) |
|
164/B465 | 0024229521 |
|
|
1962 |
|
|||||
| Sci. Math. Lib. Foreign Book |
|
/B 465 | 0023762662 |
|
|
1962 |
|
|||||
| Philosophy of Science, Graduate School of Science |
|
108/SY78 | 2021015870 |
|
|
1962 |
|
|||||
| Eng General Lib, Basement Stacks (Foreign Books) |
|
164/B465 | 3520750905 |
|
|
1962 |
|
|||||
| Information science, Jouhou suuri gaku |
|
164/B465 | 3520769361 |
|
|
1962 |
|