JEDNOSTKA NAUKOWA KATEGORII A+

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

Tom 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

Autorzy

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

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek