Quick view Springer First-Order Logic and Automated Theorem Proving $108.02 Add to Wishlist Add to Cart
Quick view VDM Verlag Dr. Mueller E.K. Combining First-Order Logic and Logic Programming Using Fol-programs $53.25 Add to Wishlist Add to Cart
Sale 4% Quick view AuthorHouse Proof in Alonzo Church's and Alan Turing's Mathematical Logic: Undecidability of First-Order Logic - 9781477286708 $16.95 $16.28 Add to Wishlist Add to Cart