A comprehensive treatment of solvable cases of the Entscheidungsproblem known at that time. Many decision procedures then known are extended to the case with equality or to second-order logic. The formulation is semantic and considers validity, determining the cardinality of domains for which a given formula is valid or not valid.
"synopsis" may belong to another edition of this title.
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Condition: Very Good. second printing (1962) 114 pp., SOFTCOVER, some clear tape reinforcement to top of spine else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country. Seller Inventory # ZB1334400
Seller: Mispah books, Redhill, SURRE, United Kingdom
hardcover. Condition: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book. Seller Inventory # ERICA829044453380X4
Quantity: 1 available