Description: Mechanizing hypothesis formation :

Main Author:	Ha?jek, Petr
Other Authors:	Harvra?nek, Tomas
Format:	Book
Language:	English
Published:	Berlin: Springer, 1978
Subjects:	Logic, Symbolic and mathematical Mathematical logic

Physical Description:	396 p. ; 24 cm.
Bibliography:	Includes index Includes bibliography
ISBN:	0540087389