Normal view MARC view ISBD view

Combinators, [lambda]-terms and proof theory [] / Sören Stenlund

Auteur principal : Stenlund, SörenPublication :Dordrecht, Holland : D. Reidel publishing Company, 1972Description : 1 vol. (184 p.) ; 23 cmISBN : 90-277-0305-1.Dewey: 511/.3Classification : 03F99, 2010 ; 03-02, 2010 ; 03B40, 2010Bibliographie: Bibliogr. pp. 177-180. Index.Sujet - Nom d'actualité : Preuve, Théorie de la ;Logique combinatoire Sujet : LAMBDA CALCUL ;COMBINATEUR Sujet Catégorie : H-INF.TH
Current location Call number Status Date due Barcode
Centre de recherche en informatique
EM AI CI0943BIS Sur demande CRI01081D

NLD .

Bibliogr. pp. 177-180. Index

Powered by Koha