Term logic with choice operator.

Term logic with choice operator.

Saved in:

Bibliographic Details
Author / Creator:	Hermes, Hans.
Uniform title:	Termlogik mit Auswahloperator. English
Edition:	[1st English ed.]
Imprint:	Berlin, New York : Springer-Verlag, 1970.
Description:	55 p. 26 cm.
Language:	English
Series:	Lecture notes in mathematics, 6 Lecture notes in mathematics (Springer-Verlag) ; 6.
Subject:	Logic, Symbolic and mathematical. Logic, Symbolic and mathematical
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/4710470

Hidden Bibliographic Details
Notes:	Rev. and enl. translation of Eine Termlogik mit Auswahloperator. Bibliography: p. 53.

Description
Item Description:	Rev. and enl. translation of Eine Termlogik mit Auswahloperator.
Physical Description:	55 p. 26 cm.
Bibliography:	Bibliography: p. 53.