Findings:

• logic
• fuzzy logic
• set logic
• circular logic
• Case Logic
• Mathematical Logic
• analytic logic
• associative logic
• digital logic
• core logic chipset
• Logics
• Logic puzzles
• DJ Logic
• The first truth-value logic computer
• leap of logic
• Cirrus Logic
• Pretzel Logic
• Combinatorial logic circuit
• logic bomb
• Symbios Logic
• deductive logic
• digital logic family
• Teach Yourself Scheme: 14.4 Logic puzzles
• Modal Logic
• Arithmetic Logic Unit
• Combinational logic network
• Logic table
• Jetsonian Logic
• propositional logic
• United States v. Morrison
• dream logic
• tetralemmic logic
• lsi logic
• Morning Logic (tm)
• logic analyser
• drunken logic
• Amphetamine Logic
• Logic Programming
• Inductive Logic Programming
• Drunk Logic
• Sir Logic (user)
• Grouch Logic
• asynchronous logic
• forest of sideways logic
• Answer to the forest of sideways logic
• Table of 16 logic functions
• logic (user)
• Calculator Logic
• Logic gate
• dynamic logic
• Inductive logic
• Emitter Coupled Logic
• computer logic
• The flaws in Descartes' logic
• Predicate Logic
• Problems with logic
• symbolic logic
• Religious logic
• Dessert Logic
• Parallel Logic Programming
• Coercive Logic
• syllogistic logic
• logic analyzer
• majority logic
• intensional logic
• algebraic logic
• Language, Truth and Logic
• Police logic
• Quantum Logic
• The logic of atheism
• formal logic
• A Logic Named Joe
• paraconsistent logic
• Notes on the history of logic
• Logic error
• intuitionist logic
• Circle Logic
• I want to rip off your logic and make passionate sense to you
• Static logic
• Nintendo logic
• Boolean logic
• Hoare Logic
• The Logic Factory
• categorical logic
• The Logic of Empire
• 7400 logic families
• Operation Logic Bomb
• business logic
• Semantic Tableaux proof method for predicate logic
• Temporal logic
• Situational Logic
• Swarm logic
• Proofs and Refutations
• Arithmetic representation of boolean logic
• Programmable Logic Device
• rod logic
• Logic and Pragmatics of Attributive and Referential
• linear logic
• Chronic Logic
• The Five-Card Logic Problem
• Introduction to logic
• first-order logic
• Connectivity is not expressible in first-order logic
• Law of Logic (user)
• non-monotonic logic
• glue logic
• Man's Vision of God and the Logic of Theism
• The Ruins of Logic
• Governed By Logic
• He was born with the gift of logic but the inability to use it
• chemistry logic (user)
• Python logic: Truth
• Logic System
• The Cultural Logic of Computation
• Logic symbols
• "Birth" by Logic
• The extroverted feeler encounters Love and Logic
• they eat plot logic for breakfast
• Fridge Logic
• Kettle logic
• Logic Theorist
• Soundness & Validity in Logic
• Binary combinatory logic

If you Log in you could create a "Floyd-Hoare logic" node. If you don't already have an account, you can register here.