Semantics and logics of computation /

Bibliographic Details
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University, 1997.
Series:	Publications of the Newton Institute ; 14
Subjects:	Lógica matemática. Procesamiento electrónico de datos. Lenguajes de programación. Mathematical logics. Electronic data processing. Programming languages.
Online Access:	Publisher description Table of contents

MARC


LEADER	00000nam a22000007a 4500
001	4000722
003	AR_CdUFM
005	20150730153059.0
008	961119s1997 enka b 001 0 eng
020			\|a 9780521118460
040			\|a DLC \|c DLC \|d DLC \|d AR_CdUFM
245	0	0	\|a Semantics and logics of computation / \|c edited by Andrew M. Pitts, Peter Dybjer.
260			\|a Cambridge ; \|a New York : \|b Cambridge University, \|c 1997.
300			\|a xii, 361 p. : \|b il. ; \|c 24 cm.
490	0		\|a Publications of the Newton Institute ; \|v 14
504			\|a Incluye referencias bibliográficas e índice.
541			\|a Importación de Publicaciones ; \|c Compra Programa de Bibliotecas Res. 1038/10 ; \|d 2011-08-25 ; \|e 21100 ; \|h $255 ; \|o Libro
650		4	\|a Lógica matemática.
650		4	\|a Procesamiento electrónico de datos.
650		4	\|a Lenguajes de programación.
650		4	\|a Mathematical logics.
650		4	\|a Electronic data processing.
650		4	\|a Programming languages.
856	4	2	\|3 Publisher description \|u http://www.loc.gov/catdir/description/cam028/96050390.html
856	4	1	\|3 Table of contents \|u http://www.loc.gov/catdir/toc/cam027/96050390.html
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-08-25
952			\|0 0 \|1 0 \|2 CCS \|4 0 \|6 C_F41_S471 \|7 0 \|9 20566 \|a MMA \|b MMA \|c 4 \|d 2011-08-25 \|e Programa de Bibliotecas Res. 1038/10: Importación de Publicaciones \|g 0.00 \|l 1 \|o C F4.1 S471 \|p 21100 \|r 2023-01-24 00:00:00 \|s 2011-10-19 \|w 2011-08-25 \|y LIBRO
955			\|a pc17 to ja00 11-19-96; jf06 to subj 11-19-96; je05 to DDC 11-21-96; CIP ver. pv07 05-05-97
999			\|c 16156 \|d 16155