m

F Nous contacter

0
     
Ouvrage

H 0 Combinatory logic. Vol. 2 :
incompressible flow

Curry, Haskell B. (Principal) ; Hindley, J. Roger (Co-auteur) ; Seldin , Jonathan P. (Co-auteur)

North-Holland Publishing Co.

1972

520 p.

978-0-7204-2208-5

00000179

03B15 ; 03B40

arithmétique combinatoire # fonctionalité # généralité restreinte # généralité universelle # logique combinatoire # système illatif # théorie des types combinatoires

Ville d'édition : Amsterdam ; London

Pays d'édition : Pays-Bas

Langue : Anglais

EAN13 : 9780720422085

ISBN : 0-7204-2208-6

Collation : 23 cm#rel. ; Bibliogr. ; Index

Collection : Studies in logic and the foundations of mathematics

N° de collection : 0065

Localisation : Ouvrage RdC (CURR)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00000179 [disponible]
Z