Re: Some exercises on first order logic

From: Peter_Smith <ps218@xxxxxxxxx>
Date: Sun, 24 Jun 2007 15:24:02 -0700

[Cue shameless advertising!] One thing that I still think P*t*r
Sm*th's Introduction to Formal Logic (CUP, 2003) does pretty well is
explain the business of translating into first-order logic. See
http://www.logicbook.net

.

References:
- Some exercises on first order logic
  - From: Simone Mayer

Prev by Date: Re: A conjunctis ad divisa
Next by Date: Re: Does logic belong to philosophy or mathematics?
Previous by thread: Re: Some exercises on first order logic
Next by thread: A conjunctis ad divisa
Index(es):
- Date
- Thread