Contribution of Polish logicians to predicate calculus

zbMATH Open1221.01080MaRDI QIDQ2997672FDOQ2997672

Authors: Roman Murawski 

Publication date: 9 May 2011

Recommendations

• Polish Logic
• Theory of logical calculi. Basic theory of consequence operations
• scientific article; zbMATH DE number 856752
• scientific article; zbMATH DE number 3983134
• Mathematical logic in Warsaw: 1918--1939

zbMATH Keywords

natural deductionclassical predicate calculusalgebraic methodsfinite domainsgeneral quantifiers

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Classical first-order logic (03B10)

Cited In (3)

• Title not available (Why is that?)
• Polish logic, language and philosophy of language
• Quine's Philosophy of Language and Polish Logic

This page was built for publication: Contribution of Polish logicians to predicate calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2997672)