Formal Methods : an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logi /

Formal Methods : an Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logi / by Evert W. Beth.

Saved in:

Bibliographic Details
Online Access:	Full Text (via Springer)
Main Author:	Beth, Evert W.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 1970.
Series:	Synthese library ; v. 4.
Subjects:	Philosophy (General) Logic.

Internet

Full Text (via Springer)

Online

Holdings details from Online
Call Number:	BC1-199
BC1-199	Available