Meta-Logics and Logic Programming

Shelfclass_id 4.B.5
Sortkey APT, KRZYSZTOF
Authors Krzysztof Apt, Franco Turini
Title Meta-Logics and Logic Programming
Publisher MIT Press
Year 1995
Languages eng
Isbn 0262011522
Series Logic programming
Description (hc: alk. paper) xiv, 339 p. ill. 24 cm.
Record date 20071107
Location Cambridge, Mass.
Keywords Logic programming, Logic, Symbolic and mathematical