Logic foundations of computer science /

Bibliographic Details
Corporate Author:	LFCS (Symposium) Yaroslavl, Russia)
Other Authors:	Adian, Segei Ivanovich, 1931- (ed.), Nerode, Anil, 1932- (ed.)
Format:	Conference Proceeding Book
Published:	Berlin : Springer, 1997.
Series:	Lecture notes in computer science ; v. 1234 LNCS ; v. 1234
Subjects:	Lógica matemática. y lenguajes formales. Mathematical logic. Formal languages. Lógica y significado de programas. Logics and meanings of programs.

MARC


LEADER	00000nam a22000007a 4500
001	130
003	AR_CdUFM
005	20190823175957.0
008	110630s1997 gw\|\|\|\|\| \|\|\|\| 00\| 0 eng d
952			\|0 0 \|1 0 \|4 0 \|6 C_LNCS_V__1234_000000000000000 \|7 0 \|9 10362 \|a MMA \|b MMA \|c LN \|d 2008-06-09 \|e FOMEC/Comp. \|l 0 \|o C LNCS v. 1234 \|p 14870 \|r 2013-08-23 00:00:00 \|w 2008-06-09 \|y LIBRO
999			\|c 8101 \|d 8101
020			\|a 3540630457
040			\|a AR_CdUFM \|c AR_CdUFM
111	2		\|a LFCS (Symposium) \|n (4º : \|d 1997 : \|c Yaroslavl, Russia)
245	1	0	\|a Logic foundations of computer science / \|c edited by Sergei Adian, Anil Nerode.
260			\|a Berlin : \|b Springer, \|c 1997.
300			\|a ix, 429 p. : \|b il. ; \|c 24 cm.
490	0		\|a Lecture notes in computer science ; \|v v. 1234
490	0		\|a LNCS ; \|v v. 1234
650		4	\|a Lógica matemática.
650		4	\|a y lenguajes formales.
650		4	\|a Mathematical logic.
650		4	\|a Formal languages.
650		4	\|a Lógica y significado de programas.
650		4	\|a Logics and meanings of programs.
700	1		\|9 21550 \|a Adian, Segei Ivanovich, \|d 1931- \|e ed.
700	1		\|a Nerode, Anil, \|d 1932- \|e ed. \|9 12298
942			\|c LIBRO \|2
945			\|a MCR \|d 2011-06-30