JEDNOSTKA NAUKOWA KATEGORII A+

On an algebraic and Kripke semantics for intermediate logics

Tom 9 / 1982

Hiroakira Ono, Cecylia Rauszer Banach Center Publications 9 (1982), 431-438 DOI: 10.4064/-9-1-431-438

Autorzy

  • Hiroakira Ono
  • Cecylia Rauszer

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek