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: TextTextSeries: 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.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
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.

to post a comment.