Combinatory logic and the ω-rule

Tom 82 / 1974

Henk Barondregt Fundamenta Mathematicae 82 (1974), 199-215 DOI: 10.4064/fm-82-3-199-215

Autorzy

  • Henk Barondregt

Przeszukaj wydawnictwa IMPAN

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

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek