JEDNOSTKA NAUKOWA KATEGORII A+

A generalization of elementary formal systems

Tom 9 / 1982

Melvin Fitting Banach Center Publications 9 (1982), 89-96 DOI: 10.4064/-9-1-89-96

Autorzy

  • Melvin Fitting

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek