TY  - BOOK
AU  - Ferrante,Jeanne
AU  - Rackoff,Charles W.
TI  - The computational complexity of logical theories
T2  - Lecture Notes in Mathematics,
SN  - 3540095012
PY  - 1979///
CY  - Berlin [etc.]
PB  - Springer-Verlag
KW  - Złożoność obliczeniowa (informatyka)
KW  - kaba
KW  - Rachunek kwantyfikatorów
N1  - Bibliogr. s. 234-235. Indeks; Dostępne również w formie elektronicznej
UR  - https://www.infona.pl/resource/isbn/9780387095011
ER  -