 |
 Directories |
| |
|
|
|
 Recent Listings |
| |
|
|
|
|
Mission: Critical |
Popularity:  Hit: 390 | Visit: 13 |
 |
|
 |
|
 Related sites |
The Daily Translation (Popularity: ): Problems on translation into a logical system, drawn from the current news and updated daily.
Core Concepts in Critical Thinking (Popularity: ): A classroom guide.
Logic Software from CSLI (Popularity: ): Hyperproof, Tarski's World, Turing's World, and The Language of First-order Logic, educational logic software by ...
Games Mathematicians Play (Popularity: ): Mathematical games from a logical point of view: strategies for games and using games in ...
Infinity (Popularity: ): Exploring the logical basis and practical meaning of infinite sets.
University of Alberta Logic Course (Popularity: ): Contains an introduction to logic and formal systems, revolving around the Mizar proof checker, and ...
The Logic Classroom (Popularity: ): A course in basic logic consisting of 5 studies with exercises and answers to promote ...
Around Gödel's Theorem (Popularity: ): (Hyper)textbook for students in mathematical logic, by Karlis Podnieks.
Gödel's Theorem and Information (Popularity: ): G.J.Chaitin's proof of Gödel's theorem using arguments having an algorithmic information theory flavor.
The Logic Daemon (Popularity: ): On-line proof checker, and texts.
|
|
|
 |
|
 |
|
|
|
