]> 2026-04-14T02:19:35+00:00 Computer Science 14 en 2013-01-28T19:51:48Z 2456321.3276389 Computer Science Ampheck 0 en Ampheck Boolean domain 0 en Boolean domain Boolean function 0 en Boolean function Boolean-valued function 0 en Boolean-valued function Cactus Language 110 en Cactus Language Change In Logic 110 en Change In Logic Cybernetics 0 en Cybernetics Differential Analytic Turing Automata 110 en Differential Analytic Turing Automata Differential Logic 110 en Differential Logic Differential Logic : Introduction 110 en Differential Logic : Introduction Differential Logic and Dynamic Systems 0 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 110 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 2.0 110 en Differential Logic and Dynamic Systems 2.0 Differential Logic and Dynamic Systems 3.0 110 en Differential Logic and Dynamic Systems 3.0 Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Dynamics of inquiry 0 en Dynamics of inquiry Exclusive disjunction 0 en Exclusive disjunction Functional Logic : Higher Order Propositions 110 en Functional Logic : Higher Order Propositions Functional Logic : Inquiry and Analogy 110 en Functional Logic : Inquiry and Analogy Functional Logic : Quantification Theory 110 en Functional Logic : Quantification Theory Futures Of Logical Graphs 110 en Futures Of Logical Graphs Inquiry 0 en Inquiry User:Jon Awbrey 2 en Jon Awbrey Directory:Jon Awbrey 110 en Jon Awbrey Directory:Jon Awbrey/Differential Logic : Various Sketches 110 en Jon Awbrey/Differential Logic : Various Sketches Logic 0 en Logic Logical NAND 0 en Logical NAND Logical NNOR 0 en Logical NNOR Logical conjunction 0 en Logical conjunction Logical disjunction 0 en Logical disjunction Logical equality 0 en Logical equality Logical graph 0 en Logical graph Logical implication 0 en Logical implication Logical matrix 0 en Logical matrix Logical negation 0 en Logical negation Minimal negation operator 0 en Minimal negation operator Multigrade operator 0 en Multigrade operator Parametric operator 0 en Parametric operator Peirce's law 0 en Peirce's law Project : Inquiry 110 en Project : Inquiry Propositional Equation Reasoning Systems 110 en Propositional Equation Reasoning Systems Propositional calculus 0 en Propositional calculus Propositions As Types 110 en Propositions As Types Relation (mathematics) 0 en Relation (mathematics) Relation composition 0 en Relation composition Relation construction 0 en Relation construction Relation reduction 0 en Relation reduction Relation theory 0 en Relation theory User:Roygbiv/Graph 2 en Roygbiv/Graph Tech Talk 110 en Tech Talk Truth table 0 en Truth table Universe of discourse 0 en Universe of discourse Zeroth order logic 0 en Zeroth order logic Ampheck 0 en Ampheck Boolean domain 0 en Boolean domain Boolean function 0 en Boolean function Boolean-valued function 0 en Boolean-valued function Cactus Language 110 en Cactus Language Change In Logic 110 en Change In Logic Cybernetics 0 en Cybernetics Differential Analytic Turing Automata 110 en Differential Analytic Turing Automata Differential Logic 110 en Differential Logic Differential Logic : Introduction 110 en Differential Logic : Introduction Differential Logic and Dynamic Systems 0 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 110 en Differential Logic and Dynamic Systems Differential Logic and Dynamic Systems 2.0 110 en Differential Logic and Dynamic Systems 2.0 Differential Logic and Dynamic Systems 3.0 110 en Differential Logic and Dynamic Systems 3.0 Differential Propositional Calculus 110 en Differential Propositional Calculus Differential logic 0 en Differential logic Dynamics And Logic 110 en Dynamics And Logic Dynamics of inquiry 0 en Dynamics of inquiry Exclusive disjunction 0 en Exclusive disjunction Functional Logic : Higher Order Propositions 110 en Functional Logic : Higher Order Propositions Functional Logic : Inquiry and Analogy 110 en Functional Logic : Inquiry and Analogy Functional Logic : Quantification Theory 110 en Functional Logic : Quantification Theory Futures Of Logical Graphs 110 en Futures Of Logical Graphs Inquiry 0 en Inquiry User:Jon Awbrey 2 en Jon Awbrey Directory:Jon Awbrey 110 en Jon Awbrey Directory:Jon Awbrey/Differential Logic : Various Sketches 110 en Jon Awbrey/Differential Logic : Various Sketches Logic 0 en Logic Logical NAND 0 en Logical NAND Logical NNOR 0 en Logical NNOR Logical conjunction 0 en Logical conjunction Logical disjunction 0 en Logical disjunction Logical equality 0 en Logical equality Logical graph 0 en Logical graph Logical implication 0 en Logical implication Logical matrix 0 en Logical matrix Logical negation 0 en Logical negation Minimal negation operator 0 en Minimal negation operator Multigrade operator 0 en Multigrade operator Parametric operator 0 en Parametric operator Peirce's law 0 en Peirce's law Project : Inquiry 110 en Project : Inquiry Propositional Equation Reasoning Systems 110 en Propositional Equation Reasoning Systems Propositional calculus 0 en Propositional calculus Propositions As Types 110 en Propositions As Types Relation (mathematics) 0 en Relation (mathematics) Relation composition 0 en Relation composition Relation construction 0 en Relation construction Relation reduction 0 en Relation reduction Relation theory 0 en Relation theory User:Roygbiv/Graph 2 en Roygbiv/Graph Tech Talk 110 en Tech Talk Truth table 0 en Truth table Universe of discourse 0 en Universe of discourse Zeroth order logic 0 en Zeroth order logic INST 152 en INST