Büchi's Monadic second order successor arithmetic

Shranjeno v:

Bibliografske podrobnosti
Glavni avtor:	Siefkes, Dirk (Author)
Format:	Knjiga
Jezik:	angleščina
Izdano:	Berlín Springer-Verlag 1970
Serija:	Lecture Notes in Mathematics, 120. Decidable theories, 1
Teme:	Lógica matemática Teoría de conjuntos Cálculo TEOREMAS CALCULO DE PREDICADOS Integrales
Oznake:	Označite Brez oznak, prvi označite!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8728
003	CL-VaPUC
008	981217e19700000GW \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.322 \|b SIE \|2 21
100	0		\|a Siefkes, Dirk \|e author \|9 422864
245	1	0	\|a Büchi's Monadic second order successor arithmetic
300			\|a 130 p
942			\|c BK
945			\|d 19981217 00:00:00 \|a cmena
260			\|a Berlín \|b Springer-Verlag \|c 1970
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Teoría de conjuntos \|9 265668
650		0	\|a Cálculo \|9 260234
650		7	\|a TEOREMAS \|2 CL-VaPUC \|9 350068
650		7	\|a CALCULO DE PREDICADOS \|2 CL-VaPUC \|9 421888
650		0	\|a Integrales \|9 260233
583			\|a last modification \|c 19981217 00:00:00 \|k Rodrigo Vera
490	0		\|a Lecture Notes in Mathematics, 120. Decidable theories, 1
999			\|c 277909 \|d 277907
952			\|0 0 \|1 0 \|4 0 \|6 511_322000000000000_SIE_1970 \|7 0 \|8 A \|9 316175 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1479423 \|o 511.322 SIE 1970 \|p 1479423 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT