Cahiers du centre de logique, vol. 6

(épuisé / out of print)

Références

Logique et informatique
volume 6 des Cahiers du Centre de logique, Cabay, Louvain-la-Neuve (Belgique), 1986, 86 pp.
ISBN 2-87077-364-1

Table des matières

[PDF]	[Préliminaires]
Hinnion, R.	Points (presque) fixes	1-29
Hoogewijs, A.	Three-valued logic and computer science	31-45
Dzierzgowski, D.	Équivalence élémentaire de structures stratifiées	47-62
Crabbé, M.	Le calcul lambda	63-86
17 l 16 l 15 l 14 l 13 l 12 l 11 l 10 l 9 l 8 l 7 l 5 l 4 l 3 l 2 l 1

23 octobre 2015