An algebraic approach to the Heyting-Brouwer predicate calculus

Tom 96 / 1977

Cecylia Rauszer Fundamenta Mathematicae 96 (1977), 127-135 DOI: 10.4064/fm-96-2-127-135

Autorzy

  • Cecylia Rauszer

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek