SEQUENTS AND BIVALUATIONS

Autor: BÉZIAU, JEAN-YVES
Zdroj: Logique et Analyse, 2001 Dec 01. 44(176), 373-394.
Databáze: JSTOR Journals