๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

An Application of Games to the Completeness Problem for Formalized Theoriesby A. Ehrenfeucht

โœ Scribed by Review by: Erwin Engeler


Book ID
124959784
Publisher
Association for Symbolic Logic
Year
1967
Tongue
English
Weight
306 KB
Volume
32
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES