Term logic with choice operator.

[1st English ed.]. Berlin, New York, Springer-Verlag, 1970.

Location Call Number Status Consortium Loan
WRLC Shared Collections Facility
QA3 .L28 no.6 Off-site
Mullen Library stacks
QA3 .L47 no.6 Missing
George Mason
Fenwick stacks
QA3 .L4 no. 6 Available Request
Standard Title Termlogik mit Auswahloperator. English
Subjects Logic, Symbolic and mathematical.
Series Lecture notes in mathematics (Springer-Verlag), 6.
Description 55 p. 26 cm.
Notes Rev. and enl. translation of Eine Termlogik mit Auswahloperator.
Bibliography: p. 53.
Network Numbers (OCoLC)00099302
WorldCat Search OCLC WorldCat


Export citation to: RefWorks