NCID | DA02358956 |
名称(HDNG) | Carnielli, Walter A. (Walter Alexandre) |
から見よ(SF) | Carnielli, W. A. |
注記(NOTE) | Latin-Amer. Sym. on Math. Logic (7th : 1985 : State Univ. of Campinas). Methods and appl. of math. logic, c1988: CIP t.p. (Walter A. Carnielli) introd. (Walter Alexandre Carnielli, Institute of Math., Statistics, and Computer Science, State Univ. of Campinas) |
LCAID | 87903755 |