Logic is an ancient discipline that has undergone striking modern developments through the introduction of rigorous formal methods, stimulated largely by foundational problems in mathematics.

Readers' Reviews of Possible Worlds: An Introduction to Logic and Its Philosophy by Raymond Bradley and Norman Swartz An excellent introduction to logic (in all possible worlds), September 24, 2002, ...

By accommodating the exponentials of linear logic, our model is extended to the polarized fragment of the second order linear logic. Strong forms of completeness theorems are given to yield ...

Picat is a new logic-based programming language. In many ways, Picat is similar to Prolog, especially B-Prolog, but it has functions in addition to predicates, pattern-matching instead of unification ...

Catalog : MATH.2210 Introduction to Linear Algebra (Formerly 92.221) MATH.2210 — Undergraduate Id: 008281 Offering: 1 Credits: 3-3 Description Elementary set theory and solution sets of systems of ...

Introduces ordinary differential equations, systems of linear equations, matrices, determinants, vector spaces, linear transformations, and systems of linear differential equations. Prereq., APPM 1360 ...

Christophe P. Basso has written a new book: Linear Circuit Transfer Functions—An Introduction to Fast Analytical Techniques.

This is a new introduction to logic for university undergraduates in their first and second years. The originality of the approach will also make it of considerable interest to postgraduates and ...