An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski

zbMath0287.02001MaRDI QIDQ1845714

Andrzej Grzegorczyk

Publication date: 1974

Published in: Synthese Library (Search for Journal in Brave)

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Mathematical logic and foundations (03-XX)

Related Items (5)

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

This page was built for publication: An outline of mathematical logic. Fundamental results and notions explained with all details. Translated from the original Polish by Olgierd Wojtasiewicz and Waclaw Zawadowski