Expressibility of Higher Order Logics
β
Lauri Hella; JosΓ© M. Turull-Torres
π
Article
π
2003
π
Elsevier Science
π
English
β 754 KB