Elementary interpretations of negationless arithmetic

Tom 82 / 1974

E. López-Escobar Fundamenta Mathematicae 82 (1974), 25-38 DOI: 10.4064/fm-82-1-25-38

Autorzy

  • E. López-Escobar

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek