Contact
Privacy
DMCA
Robuta
https://eudml.org/doc/273067
EuDML | A non-uniform finitary relational semantics of system T
relational semantics
non
uniform
finitary
system