Conferčncies i seminaris | Congressos | Grups de recerca | Publicacions | Persones Persones
V. Krivtsov
Altres activitats (conferències, seminaris)
Ponent de congrés - ? - [5/2/1998 - 7/2/1998]
The completeness of Heyting´s predicate logic relative to a notion of intuitionistic validity in all structures (5/2/1998)
Dins el 4th Barcelona Logic Meeting, 5 a 7 febrer 1998. No en consta la data exacta