An elementary proof of Chang's completeness theorem for the infinite-valued calculus of Łukasiewicz

From MaRDI portal
Publication:677079