scientific article; zbMATH DE number 6423364
From MaRDI portal
Publication:5245319
zbMath1314.03001MaRDI QIDQ5245319
Publication date: 8 April 2015
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Classical first-order logic (03B10) Classical propositional logic (03B05) Computability and recursion theory (03Dxx) Model theory (03Cxx) Set theory (03Exx) Nonstandard models (03Hxx)
Related Items (10)
A Beginner's Guide to Mathematical Logic ⋮ CLASSICALLY ARCHETYPAL RULES ⋮ Tropical limit and a micro-macro correspondence in statistical physics ⋮ Multi-adjoint lattice logic and truth-stressing hedges ⋮ A logical characterization of multi-adjoint algebras ⋮ Symmetry for transfinite computability ⋮ Frege's Begriffsschrift is Indeed First-Order Complete ⋮ Unnamed Item ⋮ Hereditarily structurally complete superintuitionistic deductive systems ⋮ Determinacy separations for class games
This page was built for publication:
