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

Colloquium Mathematicum

1973 | 28 | 2 | 165-180

Tytuł artykułu

Gödel's diagonalization technique and related properties of theories

Autorzy

A. Macintyre , H. Simmons

Treść / Zawartość

Pełne teksty:
cm28_2_01.pdf

Warianty tytułu

Języki publikacji

DE

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Colloquium Mathematicum

Rocznik

1973

Tom

28

Numer

2

Strony

165-180

Opis fizyczny

Daty

wydano
1973

Twórcy

autor
A. Macintyre
  • Aberdeen
autor
H. Simmons
  • Aberdeen

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.desklight-8bd6a8c7-d547-43f0-b220-eda51556c1ad
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ć.