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

 
     

 

 

 

21 septembre 2009