Solvable Cases Of The Decision Problem (Studies in Logic and the Foundations of Mathematics) - Hardcover

W. Ackermann

 
9780444533807: Solvable Cases Of The Decision Problem (Studies in Logic and the Foundations of Mathematics)

Synopsis

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.