
Track this book
You choose which shelves are public. Progress and read dates stay yours.
About
No description yet.
More by Krzysztof R. Apt
All books

More like this








Reviews
Rating integrity
HealthyCounted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.
Editions
1 edition- Other · English · 1995MIT Press · 339 pages · 9780262011525
Logic programmingSymbolic and mathematical LogicLogic, symbolic and mathematical