TY  - BOOK
AU  - Toledo,Sue Ann
TI  - Tableau systems for first order number theory and certain higher order theories
T2  - Lecture Notes in Mathematics,
SN  - 3540071490
PY  - 1975///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Teoria dowodu
KW  - kaba
KW  - Rachunek kwantyfikatorów
KW  - Teoria liczb
N1  - Bibliogr. s. 335 - 339; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9783540071495
ER  -