scientific article; zbMATH DE number 1088212
From MaRDI portal
Publication:4364527
zbMath0929.03037MaRDI QIDQ4364527
Publication date: 20 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
monotonicitypropositional logicpredicate logiceverywhere operatorstrengtheningweakeningcalculational logiccalculational approach to logicformal development of algorithmsmetatheorem Witnesstreating undefined terms
Related Items