Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth.
By: Beth, Evert Willem.
Material type:
TextSeries: Synthese library : a series of monographs on the recent development of symbolic logic, significs, sociology of language, sociology of science and knowledge, statistics of language and related fields. Publisher: Dordrecht : D. Reidel Publishing Company, 1962. Description: xiv, 170 p. tab. 23 cm.
| Item type | Current library | Call number | Materials specified | Status | Barcode | |
|---|---|---|---|---|---|---|
| Книга | Сховище дослідницьке | BC135 .B48 1962 (Browse shelf(Opens below)) | I | Available | 2056961 |
Browsing Сховище дослідницьке shelves Close shelf browser (Hides shelf browser)
| BC128 .H86 1973 Metalogic | BC128 .P45 1993 A philosophical companion to first-order logic | BC135 .A57 1971 An introduction to Wittgenstein's Tractatus | BC135 .B48 1962 Formal methods | BC135 .B4813 1966 Mathematical epistemology and psychology | BC135 .B56 1965 Solutions to the exercises in "First course in mathematical logic" | BC135 .B6313 1959 A precis of mathematical logic |
Бібліогр. : c. 164-167, Index
There are no comments on this title.
Log in to your account to post a comment.
