pág. 111
pág. 126
Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces
K. Keremedis
pág. 141
V. Mazoyer
pág. 152
Arithmetic of divisibility in finite models
A. E. Wasilewska, M. Mostowski
pág. 169
pág. 175
An Ehrenfeucht-Fraisse class game
W. B. Lotfallah
pág. 179
pág. 189
A secondary semantics for Second Order Intuitionistic Propositional Logic
M. Ferrari, C. Fiorentini
pág. 202
pág. 211
© 2001-2024 Fundación Dialnet · Todos los derechos reservados