scientific article
From MaRDI portal
Publication:2785786
zbMath0877.03002MaRDI QIDQ2785786
Publication date: 26 February 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
textbookliar paradoxfirst-order logicconditionalsformal logicdeductive systemstransfinite numberstruth-functional logicGödel and Church theoremstruth-tree approach
Philosophical and critical aspects of logic and foundations (03A05) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Related Items (1)
This page was built for publication: