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.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	QA3.L41 no.6 1970ed.
c.1	To check availability consult the series record. Intellectual item Need help? - Ask a Librarian