No CrossRef data available.
Article contents
László Kalmár. Közvetlen bizonyítás az eldöntésproblémának általános rekurzív algoritmussal való megoldhatatlanságára (A direct proof of the unsolvability of the decision problem by means of a general recursive algorithm). A Magyar Tudományos Akadémia, III. (Matematikai és fizikai) osztályának közleményei, vol. 6 (1956), pp. 1–25.
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 1959