Undecidability of intuitionistic theories formulated with the apartness relation

Tom 97 / 1977

Dov Gabbay Fundamenta Mathematicae 97 (1977), 17-36 DOI: 10.4064/fm-97-1-17-36

Autorzy

  • Dov Gabbay

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek