LARA

Definition of Boolean Algebra with Presburger Arithmetic

- Login

Trace: • first-order_logic_syntax_revision • nicg-four • vepar_set_theory • correctness_of_a_g_reasoning • first-order_logic_is_undecidable • review_of_fixpoints_in_semantics • substitution_theorems_for_propositional_logic • e.3_liaison_and_interaction_with_other_research_programmes • e.1_coordination_and_organisation • definition_of_boolean_algebra_with_presburger_arithmetic

sav08/definition_of_boolean_algebra_with_presburger_arithmetic.txt · Last modified: 2008/04/16 22:46 by vkuncak