start | find | index | login or register | edit
First Order Logic
by earl, 6072 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/
powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 7508 days • c'est un vanilla site