scientific article
From MaRDI portal
Publication:3620358
zbMath1165.03303MaRDI QIDQ3620358
Publication date: 14 April 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relevancemodal logiccompletenessstring theorymodel theoryproof theorynatural deductioncategoricityidentityepistemologyAristotelian logicinformation recoveryvariable binding term operatorsCorcoran
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
This page was built for publication: