TY  - BOOK
AU  - Stenlund,Sören
ED  - D. Reidel Publishing Company.
TI  - Combinators, [lambda]-terms and proof theory
T2  - Synthese Library
SN  - 9027703051
PY  - 1972///
CY  - Dordrecht
PB  - D. Reidel Publishing Company
KW  - Teoria dowodu
KW  - kaba
KW  - Logika kombinatoryczna
N1  - Bibliogr. s. 177-180. Indeks
UR  - https://library.put.poznan.pl/spisy_tresci/237012.pdf
ER  -