WorldCat Identities

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
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 by Latin-American Symposium on Mathematical Logic( Book )

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

Paraconsistent logic : essays on the inconsistent( Book )

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

Mathematical logic in South America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 by Latin-American Symposium on Mathematical Logic( Book )

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

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

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

Provability, Computability and Reflection by A. I Arruda( Book )

1 edition published in 1980 in English and held by 1 WorldCat member library worldwide

Seminaire de logique algébrique, 1969-1970( Book )

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

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

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

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

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

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

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.69 (from 0.38 for N.A. Vasil ... to 1.00 for Remarks on ...)

Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 Studies in Logic and the Foundations of Mathematics, 99 : Provability, Computability and Reflection. Symposium Proceedings
Covers
Studies in Logic and the Foundations of Mathematics, 99 : Provability, Computability and Reflection. Symposium Proceedings
Alternative Names
Arruda, A. I.

Arruda, Ayda I.

Arruda, Ayda Ignez

Ayda Ignez Arruda brasilianische Mathematikerin und Logikerin

Ayda Ignez Arruda Brazilian university teacher (1936-1983)

Ayda Ignez Arruda hooglerares uit Brazilië (1936-1983)

Languages