An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski
From MaRDI portal
Publication:1845714
zbMath0287.02001MaRDI QIDQ1845714
Publication date: 1974
Published in: Synthese Library (Search for Journal in Brave)
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)
Related Items
On Metapaths in Metagraphs, The choice of logical foundations: Non-classical choices and the ultralogical choice, All Quantifiers Versus the Quantifier All, Truth and consistency, THE TERNARY DESCRIPTION LANGUAGE AS A FORMALISM FOR THE PARAMETRIC GENERAL SYSTEMS THEORY: PART 1