Presentación
Ernesto García Camarero
págs. 3-4
On the construction of simple first-order formulae without recursive models
Egon Börger
págs. 7-24
Axiomatizing set theory
Heinz-Dieter Ebbinghaus
págs. 25-33
The axion of determinateness
págs. 35-41
General logic systems
págs. 43-49
Teorías recursivas, creativas y productivas
José F. Prida
págs. 51-66
Análisis no standard
Jörg Flum
págs. 67-79
El problema de las palabras en la teoría de grupos
págs. 81-90
Álgebra y lógica
págs. 91-101
Domino games
Hans Hermes (1912-2003)
págs. 103-114
Dialog games
págs. 115-125
Hilbert's Tenth Problem
págs. 127-136
El metódo de prioridad en teoría de grados
Fernando Orejas Valdés
págs. 137-158
Lógica, fundamentos, geometría y autómatas en el dominio de los topos
Ignacio Sols Lucia
págs. 159-176
© 2001-2024 Fundación Dialnet · Todos los derechos reservados
Coordinado por: