×

zbMATH — the first resource for mathematics

Found 2 Authors (Results 1–2)

de Queiroz, Ruy

Published as:   De Queiroz, Ruy; de Queiroz, R.; de Queiroz, Ruy
Documents: 23 Publications indexed (1995–2019)
Co-Authors: Macintyre, Angus John; Bittencourt, Guilherme
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); General and overarching topics; collections (00-XX)

De Queiroz, Ruy José Guerra Barretto

Published as:   De Queiroz, Ruy; De Queiroz, Ruy José Guerra Barretto; de Queiroz, R.; de Queiroz, Ruy; de Queiroz, Ruy J. G. B.
Documents: 78 Publications indexed (1990–2019)
Co-Authors: de Oliveira, Anjolina Grisi; Kohlenbach, Ulrich Wilhelm; Gabbay, Dov M.; ...
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); General and overarching topics; collections (00-XX)