LC CutterNumber :
.L28,no.6
Title :
Term logic with choice operator
Edition :
[1st English ed.]
Publication :
Springer-Verlag
Series :
Lecture notes in mathematics, 6
Notes :
Rev. and enl. translation of Eine Termlogik mit Auswahloperator
Subject :
Logic, Symbolic and mathematical
Biblography :
Bibliography: p. 53.
