No CrossRef data available.
Article contents
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
Review products
László Kalmár. Az eldöntesprobléma visszavezetése logikai formulák véges halmazon való kielégithetőségének kérdésére (Reduction of the decision problem to the satisfiability question of logical formulae on a finite set). Ungarisch mit russischem Auszug und englischem Auszug. Az Első Magyar Matematikai Kongresszus közleményei 1950. augusztus 27. - szeptember 2. — Comptes rendus du Premier Congrès des Mathématiciens Hongrois 27 août - 2 septembre 1950, publié avec le soutien de l'Académie des Sciences de Hongrie par la Société Mathématique János Bolyai, Budapest1952, S. 163–190.
Published online by Cambridge University Press: 12 March 2014
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Reviews
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1955