BETH, EVERT W.

Formal Methods. An Introduction to Symbolic Logic and to the Study of effective Operations in Arithmetic and Logic.

Dordrecht, (1962). 8vo. Orig. full cloth with dustjacket. XIV,170 pp.

Order-nr.: 24560