*Result*: Formal methods
*Title*:
Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth
*Author/editor-in-chief*:
*Publication*:
Dordrecht : Reidel, 1962
*Physical description scale*:
XIV, 170 S.
*Format*:
*Language*:
*eng*
*series_multipart*:
Synthese library