Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

first-order logic

Home / Tags / first-order logic /
Showing 2012 and older publications, page 1 of 1
Analysis and Synthesis of Logics: How to Cut and Paste Reasoning Systems (Applied Logic Series)

Read more

February 2008

A First Course in Logic: An Introduction to Model Theory, Proof Theory, Computability, and Complexity (Oxford Texts in Logic)

Read more

September 2004

Logic and Language Models for Computer Science

Read more

January 2002

Logic in Computer Science: Modelling and Reasoning about Systems

Read more

November 1999

Publication by Year