| 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 |