Loading...
Science, engineering, and mathematics — biology, chemistry, physics, astronomy, earth sciences, social sciences, and technology research. A curated gateway to academic and professional scientific resources.
57129 resources
Mathematical games from a logical point of view: strategies for games and using games in descriptive complexity.
(Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
On-line proof checker, and texts.
Theory and history of the binary connective 'or'; from the Stanford Encyclopedia of Philosophy by Ray Jennings.
This page includes a collection of logical laws of the first-order logic. This collection is based on the Kleene's collection from his books 'Introduction to Metamathematics' and 'Mathematical Logic' and includes a few additions.
Slides and notes by Enrico Franconi.