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 |
Бібліогр. : c. 164-167, Index
There are no comments on this title.
Log in to your account to post a comment.
