. . "Carnielli, Walter A. (Walter Alexandre)" . _:b7iddOtlocdOtgovauthoritiesnamesn87903755 . _:b7iddOtlocdOtgovauthoritiesnamesn87903755 _:b8iddOtlocdOtgovauthoritiesnamesn87903755 . _:b7iddOtlocdOtgovauthoritiesnamesn87903755 _:b010 . _:b8iddOtlocdOtgovauthoritiesnamesn87903755 . _:b8iddOtlocdOtgovauthoritiesnamesn87903755 "Carnielli, Walter A." . _:b010 _:b11iddOtlocdOtgovauthoritiesnamesn87903755 . _:b010 . _:b11iddOtlocdOtgovauthoritiesnamesn87903755 . _:b11iddOtlocdOtgovauthoritiesnamesn87903755 "(Walter Alexandre)" . "10010$aCarnielli, Walter A.$q(Walter Alexandre)" . . . . . . . . . . "Carnielli, Walter A. (Walter Alexandre)" . . . "Analysis and synthesis of logics" . . . "Brazilian Conference on Mathematical Logic (10th : 1993 : Itatiaia, Rio de Janeiro, Brazil) Logic, sets and information" . . . "Brazilian Conference on Mathematical Logic (11th : 1996 : Salvador, Brazil) Advances in contemporary logic and computer science" . . . "Carnielli, Walter A. (Walter Alexandre) Modalità e multimodalità" . . . "Carnielli, Walter A. (Walter Alexandre) Modalities and multimodalities" . . . "Epstein, Richard L., 1947- Computability" . . . "Epstein, Richard L., 1947- Computability" . . . "Latin-American Symposium on Mathematical Logic (7th : 1985 : State University of Campinas) Methods and applications of mathematical logic" . . . "Model-based reasoning in science and technology" . . . "World Congress on Paraconsistency (2nd : 2000 : São Paulo, Brazil) Paraconsistency" . . . "World Congress on Paraconsistency (3rd : 2003 : Toulouse, France) Handbook of paraconsistency" . . "n 87903755" . _:b74iddOtlocdOtgovauthoritiesnamesn87903755 . _:b74iddOtlocdOtgovauthoritiesnamesn87903755 . _:b74iddOtlocdOtgovauthoritiesnamesn87903755 "Latin-Amer. Sym. on Math. Logic (7th : 1985 : State Univ. of Campinas). Methods and appl. of math. logic, c1988:" . _:b74iddOtlocdOtgovauthoritiesnamesn87903755 "CIP t.p. (Walter A. Carnielli) introd. (Walter Alexandre Carnielli, Institute of Math., Statistics, and Computer Science, State Univ. of Campinas)" . _:b74iddOtlocdOtgovauthoritiesnamesn87903755 "found" . _:b82iddOtlocdOtgovauthoritiesnamesn87903755 . _:b82iddOtlocdOtgovauthoritiesnamesn87903755 . _:b82iddOtlocdOtgovauthoritiesnamesn87903755 "Epstein, R.L. Computability, 1989, c1988:" . _:b82iddOtlocdOtgovauthoritiesnamesn87903755 "CIP t.p. (Walter A. Carnielli) data sheet (b. 1/11/52)" . _:b82iddOtlocdOtgovauthoritiesnamesn87903755 "found" . _:b90iddOtlocdOtgovauthoritiesnamesn87903755 . _:b90iddOtlocdOtgovauthoritiesnamesn87903755 . _:b90iddOtlocdOtgovauthoritiesnamesn87903755 "1987-12-23T00:00:00"^^ . _:b90iddOtlocdOtgovauthoritiesnamesn87903755 "new"^^ . _:b90iddOtlocdOtgovauthoritiesnamesn87903755 . _:b97iddOtlocdOtgovauthoritiesnamesn87903755 . _:b97iddOtlocdOtgovauthoritiesnamesn87903755 . _:b97iddOtlocdOtgovauthoritiesnamesn87903755 "1989-04-12T09:54:22"^^ . _:b97iddOtlocdOtgovauthoritiesnamesn87903755 "revised"^^ . _:b97iddOtlocdOtgovauthoritiesnamesn87903755 .