Logic, construction, computation /

Bibliographic Details

Other Authors:	Berger, Ulrich, 1956- (Editor), Schwichtenberg, Helmut, 1942- (honouree.)
Format:	Book
Language:	English
Published:	Frankfurt : Ontos Verlag, 2012.
Series:	Ontos mathematical logic ; v. 3.
Subjects:	Logic, Symbolic and mathematical.