Arruda, Ayda I.
Overview
Works:  17 works in 104 publications in 3 languages and 1,363 library holdings 

Genres:  Conference papers and proceedings 
Roles:  Editor, Author 
Publication Timeline
.
Most widely held works by
Ayda I Arruda
Nonclassical logics, model theory, and computability : proceedings of the Third LatinAmerican Symposium on Mathematical
Logic, Campinas, Brazil, July 1117, 1976 by LatinAmerican Symposium on Mathematical Logic(
Book
)
24 editions published between 1976 and 1977 in English and held by 463 WorldCat member libraries worldwide
24 editions published between 1976 and 1977 in English and held by 463 WorldCat member libraries worldwide
Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago,
December 1978 by
A. I Arruda(
Book
)
28 editions published between 1978 and 2000 in English and Undetermined and held by 433 WorldCat member libraries worldwide
Provability, Computability and Reflection
28 editions published between 1978 and 2000 in English and Undetermined and held by 433 WorldCat member libraries worldwide
Provability, Computability and Reflection
Mathematical logic : proceedings of the first Brazilian Conference by Brazilian Conference on Mathematical Logic(
Book
)
17 editions published between 1977 and 1978 in English and Undetermined and held by 245 WorldCat member libraries worldwide
17 editions published between 1977 and 1978 in English and Undetermined and held by 245 WorldCat member libraries worldwide
Paraconsistent logic : essays on the inconsistent(
Book
)
8 editions published in 1989 in English and held by 166 WorldCat member libraries worldwide
8 editions published in 1989 in English and held by 166 WorldCat member libraries worldwide
Proceedings of the third Brazilian Conference on Mathematical Logic by
1979, Recife> Brazilian Conference on Mathematical Logic. <3(
Book
)
14 editions published in 1980 in 3 languages and held by 39 WorldCat member libraries worldwide
14 editions published in 1980 in 3 languages and held by 39 WorldCat member libraries worldwide
Mathematical logic in South America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago,
December 1978 by LatinAmerican Symposium on Mathematical Logic(
Book
)
1 edition published in 1979 in English and held by 5 WorldCat member libraries worldwide
1 edition published in 1979 in English and held by 5 WorldCat member libraries worldwide
N.A. Vasiliev e a logica paraconsistente by
A. I Arruda(
Book
)
2 editions published in 1990 in Portuguese and held by 2 WorldCat member libraries worldwide
2 editions published in 1990 in Portuguese and held by 2 WorldCat member libraries worldwide
Studies in Logic and the Foundations of Mathematics, 99 : Provability, Computability and Reflection. Symposium Proceedings by
A. I Arruda(
)
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
1 edition published in 1980 in English and held by 2 WorldCat member libraries worldwide
Mathematical logic in latin america : Proceedings of the third Brazilian conference on mathematical logic : (Santiago, December
1978)(
Book
)
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
Provability, Computability and Reflection by
A. I Arruda(
Book
)
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
Seminaire de logique algébrique, 19691970(
Book
)
in French and held by 1 WorldCat member library worldwide
in French and held by 1 WorldCat member library worldwide
N.A. Vasiliev e a logica paraconsistente by
A. I Arruda(
)
1 edition published in 1990 in Portuguese and held by 1 WorldCat member library worldwide
1 edition published in 1990 in Portuguese and held by 1 WorldCat member library worldwide
A survey of paraconsistent logic by
A. I Arruda(
Book
)
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
1 edition published in 1978 in English and held by 1 WorldCat member library worldwide
The scientific work of A. I. Arruda by
Newton C. A. da Costa(
Book
)
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
1 edition published in 1985 in English and held by 1 WorldCat member library worldwide
Brazilian Conference on Mathematical Logic : proceedings by Brazilian Conference on Mathematical Logic(
Book
)
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
1 edition published in 1980 in English and held by 1 WorldCat member library worldwide
Iii simposio latino americano de logica matematica. Resumos de conferencias e comunicacoes(
Book
)
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
1 edition published in 1976 in English and held by 1 WorldCat member library worldwide
Remarks on da Costa's paraconsistent set theories by
A. I Arruda(
Book
)
1 edition published in 1982 in Undetermined and held by 0 WorldCat member libraries worldwide
1 edition published in 1982 in Undetermined and held by 0 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Costa, Newton C. A. da Author Editor
 Chuaqui, R. Editor
 Universidade Estadual de Campinas Centro de Lógica, Epistemologia e História da Ciência
 Universidade Estadual de Campinas Instituto de Matemática, Estatística, e Ciência da Computação
 Priest, Graham Editor
 Norman, Jean Editor
 Sylvan, Richard Editor
 Sette, A. M. Editor
 Brazilian Conference on Mathematical Logic (1, 1977, Campinas, São Paulo)
 Sociedade Brasileira de Logica
Useful Links
Covers
Alternative Names
Arruda, A. I.
Arruda, Ayda I.
Arruda, Ayda Ignez
Ayda Ignez Arruda brasilianische Mathematikerin und Logikerin
Ayda Ignez Arruda Brazilian university teacher (19361983)
Ayda Ignez Arruda hooglerares uit Brazilië (19361983)
Languages