Download PDF - An introduction to algorithmic logic. Metamathematical investigations in the theory of programsAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs

Authors 1, 1, 1, 1, 1

Affiliations

  1. Warsaw, Poland
Banach Center Publications
1977/2/1
Export to PBN, Opens in new tab
Pages:
7-99
Main language of publication
English
Published
1977
Exact and natural sciences