Elementary logics : a procedural perspective
Gabbay
Elementary logics : a procedural perspective / Dov Gabbay. - London Prentice Hall Europe 1998. - xiv, 365p. ill. 24cm
Includes bibliographical references and index
0137263651
Computer science
Logic, Symbolic and mathematical
511.3 GAB 1998
Elementary logics : a procedural perspective / Dov Gabbay. - London Prentice Hall Europe 1998. - xiv, 365p. ill. 24cm
Includes bibliographical references and index
0137263651
Computer science
Logic, Symbolic and mathematical
511.3 GAB 1998