Re: [ontolog-forum] formal systems, common logic and lbase

["rick@xxxxxxxxxxxxxx" <rick@xxxxxxxxxxxxxx>]

Christopher Menzel wrote:    (01)

> 
> Many good choices here, but two I often recommend are Mendelson's  
> _Introduction to Mathematical Logic_ and Enderton's _A Mathematical  
> Introduction to Logic_.  A somewhat less expensive and more  
> approachable text is Christopher Leary's _A Friendly Introduction to  
> Mathematical Logic_.  The latter is out of print, but you can find  
> used copies on Amazon.    (02)

Thanks Chris, I'll add one of these to my Christmas list !    (03)

Rick    (04)

> -chris
> 
> 
> 
>  
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
> Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/ 
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>  
> 
>     (05)


_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/  
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/  
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/ 
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx    (06)