scientific article; zbMATH DE number 2070190
From MaRDI portal
Publication:4463926
zbMath1041.03500MaRDI QIDQ4463926
Vincent F. Hendricks, Jacek Malinowski
Publication date: 8 June 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03)
Related Items
Uniform inseparability in explicit mathematics, On the equational theory of representable polyadic equality algebras, The Lvov-Warsaw School: A True Mythology, Correspondences between gentzen and hilbert systems, 2005–06 Winter Meeting of the Association for Symbolic Logic, 2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05