First Order Logic
by earl, 7569 days ago
First order logic or first-order predicate calculus (Prädikatenlogik erster Stufe).
http://burks.brighton.ac.uk/burks/foldoc/92/41.htm http://www.cs.man.ac.uk/~franconi/teaching/1999/3411/logic-glossary/search
8 active users
- unknown (8)
backlinks (more)
recent stores (more)
echo earlZstrainYat|tr ZY @.
