Meta-logics and logic programming
Meta-logics and logic programming
Krzysztof R. Apt
Details
Publisher
MIT Press (MA)
Pages
339
ISBN-13
9780262011525
OL Work ID
OL19566902W
Subjects
Logic programming
Symbolic and mathematical Logic
Logic, symbolic and mathematical
Find this book
Open Library