A theory of formal deducibility

Guardat en:

Dades bibliogràfiques
Autor principal:	Curry, Haskell B (Autor)
Format:	Llibre
Idioma:	anglès
Publicat:	Notre Dame University of Notre Dame 1950
Col·lecció:	Notre Dame Mathematical Lectures, 6
Matèries:	Lógica matemática
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

MARC


LEADER	00000nam a2200000 a 4500
001	UCW1288
003	CL-VaPUC
008	920103e19500000US \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b CUR \|2 21
100	0		\|a Curry, Haskell B \|e author \|9 305211
245	1	2	\|a A theory of formal deducibility
300			\|a 129 p
942			\|c BK
945			\|d 19920103 00:00:00
260			\|a Notre Dame \|b University of Notre Dame \|c 1950
650		0	\|a Lógica matemática \|9 262442
583			\|a last modification \|c 20120720 11:27:36 \|k Rodrigo Vera
490	0		\|a Notre Dame Mathematical Lectures, 6
999			\|c 216203 \|d 216201
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_CUR_1950 \|7 0 \|8 A \|9 201708 \|a BIBMAT \|b BIBMAT \|d 2019-11-14 \|i 2689553 \|o 511.3 CUR 1950 \|p 2689553 \|r 2025-01-07 \|w 2019-11-14 \|y BK \|k MAT