An examination of a decision procedure / by Francis C. Oglesby.

Saved in:

Bibliographic Details
Main Author:	Oglesby, Francis C.
Format:	eBook
Language:	English
Published:	Providence, R.I. : American Mathematical Society, 1962.
Series:	Memoirs of the American Mathematical Society ; no. 44.
Subjects:	Predicate calculus. Logic, Symbolic and mathematical. Logic, Symbolic and mathematical Predicate calculus Beweis Entscheidungstheorie Prädikatenlogik Prüfung
Online Access:	Click for online access

Click for online access

Holdings details from Online
Status:	Available

Similar Items