Publication:4949916
From MaRDI portal
zbMath0961.03001MaRDI QIDQ4949916
Publication date: 7 May 2000
03-01: Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations
03B05: Classical propositional logic
03E20: Other classical set theory (including functions, relations, and set algebra)
Related Items
Plural logicism, Sulla struttura dello spazio-tempo, Using Padoa's principle to prove the non-definability, in terms of each other, of the three fundamental qualitative concepts of comparative probability, independence and comparative uncertainty, with some new axioms of qualitative independence and uncertainty included, Optico-mechanical analogy: an axiomatic approach, OBDD-Based Load Shedding Algorithm for Power Systems