Formal methods : An introduction to symbolic logic and the study of effective operations in arithmetic and logic / Evert W. Beth.
Material type:
TextLanguage: English Series: Synthese Library / Editors B. H. Kazemier and D. VuysjePublication details: Holland : D. Reidel Publishing Company, 1962.Description: xiv, 170 p. ; 19 cmSubject(s): DDC classification: - 160 BEF 1962
Books
| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
Books
|
Central Library, University of Rajshahi Reading Room | Non-fiction | 160 BEF 1962 (Browse shelf(Opens below)) | C-1 | Not For Loan | Not Found | A23866 | |||||||||||
|
Books
|
Central Library, University of Rajshahi | Non-fiction | 160 BEF 1962 (Browse shelf(Opens below)) | C-2 | Available | Sheeling | A23867 |
Includes index.
There are no comments on this title.
Log in to your account to post a comment.