Tableau systems for first order number theory and certain higher order theories

Salvato in:

Dettagli Bibliografici
Autore principale:	Toledo, Sue (Autore)
Natura:	Libro
Lingua:	inglese
Pubblicazione:	Berlín Springer-Verlag 1975
Serie:	Lecture Notes in Mathematics, 447
Soggetti:	TEORIA DE PRUEBAS Teoría de números CALCULO DE PREDICADOS Lógica matemática Lógica simbólica
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

MARC


LEADER	00000nam a2200000 a 4500
001	UCQ8267
003	CL-VaPUC
008	981209e19750000GW \|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|eng\|d
082	0	4	\|a 511.3 \|b TOL \|2 21
100	0		\|a Toledo, Sue \|e author \|9 422119
245	1	0	\|a Tableau systems for first order number theory and certain higher order theories
300			\|a 334 p
942			\|c BK
945			\|d 19981209 00:00:00 \|a crobeson
260			\|a Berlín \|b Springer-Verlag \|c 1975
650		7	\|a TEORIA DE PRUEBAS \|2 CL-VaPUC \|9 271233
650		0	\|a Teoría de números \|9 265327
650		7	\|a CALCULO DE PREDICADOS \|2 CL-VaPUC \|9 421888
650		0	\|a Lógica matemática \|9 262442
650		0	\|a Lógica simbólica \|9 269868
583			\|a last modification \|c 19981209 00:00:00 \|k Rodrigo Vera
490	0		\|a Lecture Notes in Mathematics, 447
999			\|c 277552 \|d 277550
952			\|0 0 \|1 0 \|4 0 \|6 511_300000000000000_TOL_1975 \|7 0 \|8 A \|9 315546 \|a BIBMAT \|b BIBMAT \|d 2019-11-20 \|i 1300296 \|o 511.3 TOL 1975 \|p 1300296 \|r 2025-01-07 \|w 2019-11-20 \|y BK \|k MAT