Meta-Logics and Logic Programming
Publisher: MIT Press
Published: 2003
Language: eng
Number of pages: 356
ISBN-13: 9780262511681
Subjects: Logic programming; Logic, symbolic and mathematical