Term Logic with Choice Operator

Shelfclass_id	4.B.1
Sortkey	HERMES, HANS
Authors	Hans Hermes
Title	Term Logic with Choice Operator
Publisher	Springer Pub. Co.
Year	1970
Languages	eng
Series	Lecture Notes in Mathematics
Volume	6
Record date	20080808
Location	Berling