Rezultati - "Russell-style Ramified Type Theory"
Priporočene teme znotraj vašega iskanja.
Priporočene teme znotraj vašega iskanja.
-
1
Paul Lorenzen -- Mathematician and Logician
Izdano 2021Teme: “...Russell-style Ramified Type Theory...”
DOAB: download the publication
DOAB: description of the publication
Elektronski Book Chapter -
2
Paul Lorenzen -- Mathematician and Logician
Izdano 2021Teme: “...Russell-style Ramified Type Theory...”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronski Book Chapter