Logic of computation /
edited by Helmut Schwichtenberg.
- Berlin ; New York : Springer, c1997.
- vi, 394 p. ; 24 cm.
- NATO ASI series. Series F, Computer and systems sciences ; no. 157 .
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Includes bibliographical references (p. ).
3540629637
97017154
Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
QA75.5 / .L63 1997
005.1015113 / LOG
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Includes bibliographical references (p. ).
3540629637
97017154
Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
QA75.5 / .L63 1997
005.1015113 / LOG