BETH, EVERT W.

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

Dordrecht, D. Reidel Publishing Comp., (1962). 8vo. Orig. full cloth. XIV,170 pp.

Order-nr.: 32735