A+ CATEGORY SCIENTIFIC UNIT

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

Volume 2 / 1977

L. Banachowski, A. Kreczmar, G. Mirkowska, H. Rasiowa, A. Sławicki Banach Center Publications 2 (1977), 7-99 DOI: 10.4064/-2-1-7-99

Authors

  • L. Banachowski
  • A. Kreczmar
  • G. Mirkowska
  • H. Rasiowa
  • A. Sławicki

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image