# Findings:

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

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