Undecidability of the completeness problem of modal logic

Tom 9 / 1982

S. Thomason Banach Center Publications 9 (1982), 341-345 DOI: 10.4064/-9-1-341-345

Autorzy

  • S. Thomason

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek