Approved Textbooks | American Inst. of Mathematics

[https://aimath.org/textbooks/approved-textbooks/] - 2022-11-18 02:58:36 - public:stevetao

Algebra, Book, Calculus, Discrete-Math, Free, Logic, Math, Math-Logic, Number-Theory, Probability, Proof - 11 | id:1294344 -

The Game of Logic by Lewis Carroll - Free Ebook

[http://www.gutenberg.org/ebooks/4763] - 2021-01-08 00:53:51 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485617 -

The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll

[http://www.gutenberg.org/files/4763/4763-h/4763-h.htm] - 2021-01-08 00:53:25 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485616 -

Mathematical Logic through Python

[https://www.logicthrupython.org/] - 2021-01-05 17:21:09 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Python - 6 | id:485559 -

The Zakon Series on Mathematical Analysis by Elias Zakon

[http://www.trillia.com/products.html] - 2021-01-04 08:47:01 - public:stevetao

Analysis, Book, Free, Logic, Math, Math-Logic, Number-Theory, Proof - 8 | id:485513 -

The Complexity of Boolean Functions

[https://eccc.weizmann.ac.il//static/books/The_Complexity_of_Boolean_Functions/] - 2021-01-04 08:44:56 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485512 -

Proofs and Concepts

[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html] - 2021-01-04 08:29:39 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Proof - 6 | id:485509 -

An introduction to logic programming through Prolog - Spivey's Corner

[http://spivey.oriel.ox.ac.uk/corner/An_introduction_to_logic_programming_through_Prolog] - 2021-01-04 01:59:54 - public:stevetao

Book, Free, Logic, Logic-Programming, Programming, Prolog - 6 | id:485475 -

A Gentle Introduction to the Art of Mathematics (GIAM)

[https://osj1961.github.io/giam/] - 2021-01-04 01:59:03 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Proof - 6 | id:485474 -

Mathematical Logic - Computability, Set Theory, Model Theory, Proof Theory, etc. - Free Computer, Programming, Mathematics, Technical Books, Lecture Notes and Tutorials

[https://freecomputerbooks.com/mathLogicBooks.html] - 2021-01-04 00:22:26 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485471 -

Simply Logical : Intelligent Reasoning by Example

[http://people.cs.bris.ac.uk/~flach/SimplyLogical.html] - 2021-01-03 14:58:40 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485463 -

Set Theory by William Weiss

[http://www.math.utoronto.ca/weiss/set_theory.html] - 2021-01-03 14:29:47 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Set-Theory - 6 | id:485461 -

Model Theory, Algebra, and Geometry

[http://library.msri.org/books/Book39/contents.html] - 2021-01-03 14:28:15 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485460 -

Elementary Set Theory with a Universal Set

[https://randall-holmes.github.io/] - 2021-01-03 14:27:38 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485459 -

Model-Theoretic Logics

[https://projecteuclid.org/euclid.pl/1235417263#toc] - 2021-01-03 14:16:32 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485458 -

Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry

[https://www.unco.edu/nhs/mathematical-sciences/faculty/miller/] - 2021-01-03 14:13:49 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485457 -

Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters

[http://www.logicmatters.net/tyl/] - 2021-01-03 13:36:51 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485456 -

forall x: the Mississippi State edition – Dragon Philosophy

[http://blog.loighic.net/forallx-the-mississippi-state-edition] - 2021-01-03 12:23:48 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485453 -

For All X, the Lorain County Remix | A free, open-access introductory logic text

[https://forallxremix.org/] - 2021-01-03 12:18:08 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485452 -

Edward Elliott - Teaching - Edward Elliott (forall x: Leeds)

[http://www.edwardjrelliott.com/misc-resources.html] - 2021-01-03 12:09:23 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485451 -

forallx: SLU (Saint Louis University)

[http://www.klindeman.com/forallx.html] - 2021-01-03 12:02:45 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485450 -

Teaching - Cathal Woods (Logic)

[https://sites.google.com/site/cathalwoods/teaching] - 2021-01-03 11:56:53 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Person - 6 | id:485449 -

GitHub - rob-helpy-chalk/openintroduction: files for For All X: The Lorain County Remix

[https://github.com/rob-helpy-chalk/openintroduction] - 2021-01-03 11:56:22 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485448 -

forall x: UBC edition — Jonathan Jenkins Ichikawa

[http://jichikawa.net/forall-x-ubc-edition] - 2021-01-03 11:45:36 - public:stevetao

Book, Forall-x, Free, Logic, Math, Math-Logic - 6 | id:485447 -

tim button

[http://www.homepages.ucl.ac.uk/~uctytbu/OERs.html] - 2021-01-03 11:40:39 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485446 -

forall x: Calgary

[http://forallx.openlogicproject.org/] - 2021-01-03 11:19:41 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485445 -

A Problem Course in Mathematical Logic

[http://euclid.trentu.ca/math/sb/pcml/pcml.html] - 2021-01-03 11:17:58 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485444 -

Books

[https://web.math.princeton.edu/~nelson/books.html] - 2021-01-03 11:16:50 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485443 -

- Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Formal_Logic] - 2021-01-03 11:08:39 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485442 -

Introduction to Mathematical Philosophy | Bertrand Russell

[http://people.umass.edu/klement/russell-imp.html] - 2021-01-03 11:07:58 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485441 -

The Principles Of Mathematics : Bertrand Russell : Free Download, Borrow, and Streaming : Internet Archive

[https://archive.org/details/principlesofmath005807mbp/page/n5/mode/2up] - 2021-01-03 10:00:01 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485439 -

[math/9601203v1] Introduction to mathematical logic - A problem solving course

[https://arxiv.org/abs/math/9601203v1] - 2021-01-03 09:59:18 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485438 -

Hardegree - Philosophy 110

[http://courses.umass.edu/phil110-gmh/MAIN/IHome-5.htm] - 2021-01-03 09:51:23 - public:stevetao

Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485437 -

Phil 310 Website

[http://courses.umass.edu/phil310-gmh/MAIN/IHome-4.htm] - 2021-01-03 09:41:26 - public:stevetao

Book, Course, Free, Logic, Math, Math-Logic - 6 | id:485436 -

Nuel Belnap

[http://www.pitt.edu/~belnap/] - 2021-01-03 09:38:01 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Person - 6 | id:485435 -

Logic for Computer Scientists - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists] - 2021-01-03 09:04:09 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485433 -

Logic for Computer Science - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Logic_for_Computer_Science] - 2021-01-03 09:02:05 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485432 -

Introduction to Mathematical Logic (Edition 2014)

[https://dspace.lu.lv/dspace/handle/7/2777] - 2021-01-03 09:00:14 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485431 -

What is Mathematics: Gödel's Theorem and Around (Edition 2013)

[https://dspace.lu.lv/dspace/handle/7/1442] - 2021-01-03 08:59:12 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485430 -

A Friendly Introduction to Mathematical Logic – Minerva

[https://minerva.geneseo.edu/a-friendly-introduction-to-mathematical-logic/] - 2021-01-03 08:55:26 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485429 -

Actual Causality

[https://www.cs.cornell.edu/home/halpern/papers/causalitybook-ch1-3.html] - 2021-01-03 08:42:22 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:485427 -

Introduction to Computing: Explorations in Language, Logic, and Machines

[http://computingbook.org/] - 2020-05-29 02:39:13 - public:stevetao

Book, Free, Logic, Programming-Languages - 4 | id:321607 -

A Modern Formal Logic Primer — Teller Logic Primer

[https://tellerprimer.ucdavis.edu/] - 2019-10-07 04:44:11 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267007 -

Introduction to Mathematical Logic : Mendelson, Elliott : Free Download, Borrow, and Streaming : Internet Archive

[https://archive.org/details/IntroductionToMathematicalLogicByMendelson] - 2019-10-07 04:43:54 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267006 -

Open Logic Project Builds

[http://builds.openlogicproject.org/] - 2019-10-06 15:04:23 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267001 -

Open Logic Project – Open Source, Customizable, Advanced Logic Text

[https://openlogicproject.org/] - 2019-10-06 15:03:55 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Textbook - 6 | id:267000 -

Online Mathematics Textbooks | Download free books legally

[https://www.topfreebooks.org/online-mathematics-textbooks/] - 2019-01-03 11:51:23 - public:stevetao

Algebra, Book, Free, Geometry, Group-Theory, Logic, Math, Math-Logic, Number-Theory, Physics, Statistics, Textbook, Topology - 13 | id:230246 -

Handbook of Modal Logic: A Proposal

[http://cgi.csc.liv.ac.uk/~frank/MLHandbook/] - 2018-12-14 16:22:32 - public:stevetao

Book, Free, Logic, Math, Math-Logic, Modal-Logic - 6 | id:229842 -

Free Mathematical Logic Books | Download free books legally

[https://www.topfreebooks.org/free-mathematics-ebooks-online-mathematical-logic/] - 2018-12-12 17:03:09 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:229243 -

Mathematical Logic - Free Books at EBD

[https://www.e-booksdirectory.com/listing.php?category=33] - 2018-12-06 02:57:24 - public:stevetao

Book, Free, Logic, Math, Math-Logic - 5 | id:229093 -

Search

Results