TY - BOOK AU - Craig,William TI - Logic in algebraic form: three languages and theories T2 - Studies in Logic and the Foundations of Mathematics SN - 0720422728 PY - 1974/// CY - Amsterdam [etc.] PB - North-Holland KW - Logika symboliczna i matematyczna KW - kaba N1 - Bibliogr. s. 182-183. Indeks UR - https://library.put.poznan.pl/spisy_tresci/221522.pdf ER -