Formal methods : an introduction to symbolic logic and to the study of efective operations in arithmetic and logic /

Guardado en:

Detalles Bibliográficos
Autor principal:	Beth, Evert W.
Formato:	Libro
Lenguaje:	Inglés
Publicado:	Netherlands : D.Reidel, 1962
Materias:	MATEMATICAS
Aporte de:	Registro referencial: Solicitar el recurso aquí Biblioteca UNPSJB de Universidad Nacional de la Patagonia San Juan Bosco


LEADER	00639cam a22002172u 4500
001	LIBRI-001434
003	AR-CrUNPB
007	ta
008	170901s1962 ne r 000 0 eng d
040			\|a AR-CrUNPB
082	0		\|a 511.3/B.15 \|2 20
100	1		\|a Beth, Evert W.
245	1	0	\|a Formal methods : \|b an introduction to symbolic logic and to the study of efective operations in arithmetic and logic / \|c Evert W. Beth
255			\|a .3
260			\|a Netherlands : \|b D.Reidel, \|c 1962
300			\|a xiv,170p
590			\|a Registros migrados a formato MARC
650		7	\|a MATEMATICAS \|2 Unescot \|9 4387
942			\|c BK
910			\|a LG19950412
999			\|c 52806 \|d 52806

Ejemplares similares