JEDNOSTKA NAUKOWA KATEGORII A+

The sentential calculus with infinitely long expressions

Tom 6 / 1958

D. Scott, Alfred Tarski Colloquium Mathematicum 6 (1958), 165-170 DOI: 10.4064/cm-6-1-165-170

Autorzy

  • D. Scott
  • Alfred Tarski

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek