JEDNOSTKA NAUKOWA KATEGORII A+

An algebraic proof of completeness for the two-valued propositional calculus

Tom 2 / 1951

J. Łoś Colloquium Mathematicum 2 (1951), 236-240 DOI: 10.4064/cm-2-3-4-236-240

Autorzy

  • J. Łoś

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek