Usted se encuentra revisando un registro bibliográfico de la BDU Para conocer mas sobre la Base de Datos Unificada haga click en el ícono del home

Titulos:
The lambda calculus : its syntax and semantics / H.P. Barendregt.
ISBN:
0444867481; 0444875085 (pbk.)
Lugar de Edición:
Amsterdam ;
Editor:
North-Holland ;
Fecha de Edición:
1984.
Edición #:
Rev. ed.
Notas #:
Includes indexes.
Palabras clave:
ALGEBRA; COMBINACIONES; GRUPOS; Lambda calculus.; Logica Matematica; TEORIA DE OPERADORES

Leader:
pam
Campo 003:
OCoLC
Campo 008:
840309s1984 ne a b 001 0 eng
Campo 020:
^a0444867481
Campo 020:
^a0444875085 (pbk.)
Campo 100:
1 ^aBarendregt, H. P.^q(Hendrik Pieter)
Campo 245:
14^aThe lambda calculus :^bits syntax and semantics /^cH.P. Barendregt.
Campo 246:
Campo 250:
^aRev. ed.
Campo 260:
^aAmsterdam ;^aNew York :^bNorth-Holland ;^aNew York, N.Y. :^bSole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.,^c1984.
Campo 300:
^axv, 621 p. :^bill. ;^c23 cm.
Campo 440:
0^aStudies in logic and the foundations of mathematics ;^vv. 103
Campo 500:
^aIncludes indexes.
Campo 650:
4^aALGEBRA
Campo 650:
4^aCOMBINACIONES
Campo 650:
4^aGRUPOS
Campo 650:
0^aLambda calculus.
Campo 650:
7^aLogica Matematica^2larpcal
Campo 650:
4^aTEORIA DE OPERADORES
Campo 653:
^aLambda calculus
Proveniencia:
^aUBA-EX
Seleccionar y guardar el registro Haga click en el botón del carrito
Institucion:
Base de Datos MARC21 - OCLC
Dependencia:
BDUMARC21

Compartir este registro en Redes Sociales

Seleccionar y guardar el registro Haga click en el botón del carrito