Browsing by Subject Type theory
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1997 | An [omega]-order predicate logic with types | Anocha Yimsiriwattana |
| Issue Date | Title | Author(s) |
|---|---|---|
| 1997 | An [omega]-order predicate logic with types | Anocha Yimsiriwattana |