Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

PL EN

Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Czasopismo

Banach Center Publications

1977 | 2 | 1 | 7-99

Tytuł artykułu

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

Autorzy

L. Banachowski , A. Kreczmar , G. Mirkowska , Helena Rasiowa , A. Sławicki

Treść / Zawartość

Pełne teksty: http://matwbn.icm.edu.pl/ksiazki/bcp/bcp2/bcp211.pdf [zdalny]

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1977

Tom

2

Numer

1

Strony

7-99

Opis fizyczny

Daty

wydano
1977

Twórcy

autor
L. Banachowski
  • Warsaw, Poland
autor
A. Kreczmar
  • Warsaw, Poland
autor
G. Mirkowska
  • Warsaw, Poland
autor
Helena Rasiowa
  • Warsaw, Poland
autor
A. Sławicki
  • Warsaw, Poland

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.bwnjournal-article-bcpv2i1p7bwm
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.