b3ta.com board
You are not logged in. Login or Signup
Home » Messageboard » Message 2260933 (Thread)

# lovely predicate calculus
that and lambda calculus were the bane of my life.
(, Mon 3 Nov 2003, 15:17, archived)