Mathematics 187 - Introduction to Mathematical Logic

[https://services.math.duke.edu/~wka/math187/] - 2021-02-23 23:58:55 - public:stevetao

Course, Logic, Math, Math-Logic - 4 | id:573967 -

Mathematical logics Fall 2014 - Exams - University of Trento

[https://disi.unitn.it/~ldkr/ml2014/lessons.html] - 2021-02-23 23:40:51 - public:stevetao

Course, Logic, Math, Math-Logic - 4 | id:573966 -

Single axioms for BCI

[https://web.ics.purdue.edu/~dulrich/BCI-page.htm] - 2021-02-22 15:36:54 - public:stevetao

Axiom, Logic, Math, Math-Logic, Single-Axiom - 5 | id:573951 -

________

[https://astunit.com/books/Maths.htm] - 2021-02-17 09:00:48 - public:stevetao

Astronomy, Book, Calculation, Math - 4 | id:573866 -

Comprehensive List of Logic Symbols | Math Vault

[https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/] - 2021-02-08 06:37:49 - public:stevetao

Logic, Math, Math-Logic - 3 | id:573752 -

201117 Mathematics and Science in Civilization

[http://math.science.cmu.ac.th/kettapun/201117/201117-2557-Term1/201117-2557Term1.htm] - 2021-01-15 01:08:35 - public:stevetao

Course, Math - 2 | id:485801 -

Algorithms for Decision Making - dm.pdf

[http://algorithmsbook.com/files/dm.pdf] - 2021-01-14 20:47:24 - public:xxx

algorithms, books, company, decision, makemyday, math, online - 7 | id:485795 -

PANTIP.COM : K5383822 มาลองทำโจทย์คณิตศาสตร์ตามแบบไทยแท้กันครับ [ประวัติศาสตร์]

[http://topicstock.pantip.com/library/topicstock/2007/05/K5383822/K5383822.html] - 2021-01-14 18:53:05 - public:stevetao

Calculation, Math, Thai - 3 | id:485783 -

Philosophy of Mathematics and Its Logic: Introduction - Oxford Handbooks

[https://www.oxfordhandbooks.com/view/10.1093/oxfordhb/9780195325928.001.0001/oxfordhb-9780195325928-e-1] - 2021-01-08 01:07:35 - public:stevetao

Logic, Math, Math-Logic - 3 | id:485621 -

List of free mathematics books | Math Wiki | Fandom

[https://math.wikia.org/wiki/List_of_free_mathematics_books] - 2021-01-08 01:04:19 - public:stevetao

Abstract-Algebra, Analysis, Calculus, Discrete-Math, Free, Game-Theory, Geometry, Logic, Math, Math-Logic, Number-Theory, Probability, Statistics - 13 | id:485620 -

Yiannis N. Moschovakis Books

[https://www.math.ucla.edu/~ynm/books.htm] - 2021-01-08 01:00:16 - public:stevetao

Book, Logic, Math, Math-Logic - 4 | id:485619 -

Lewis Carroll's Logic Game (an introduction)

[https://www.cut-the-knot.org/LewisCarroll/index.shtml] - 2021-01-08 00:57:43 - public:stevetao

Book, Logic, Math, Math-Logic - 4 | id:485618 -

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 -

Newest Free mathematics / logic Books | BookFusion

[https://www.bookfusion.com/books/free?language=_all&query=mathematics+%2F+logic&sort=created_at-desc] - 2021-01-08 00:46:33 - public:stevetao

Book, Logic, Math, Math-Logic - 4 | id:485615 -

Links on logic and the foundations of mathematics

[http://settheory.net/links] - 2021-01-08 00:45:20 - public:stevetao

Book, Course, Logic, Math, Math-Logic, Resource - 6 | id:485614 -

Mathematical logic reconstructed PDF download

[http://www.topology.org/tex/conc/mlstats.php] - 2021-01-07 14:15:27 - public:stevetao

Free, Logic, Math, Math-Logic - 4 | id:485606 -

soft question - Reading materials for mathematical logic - MathOverflow

[https://mathoverflow.net/questions/33096/reading-materials-for-mathematical-logic] - 2021-01-06 01:05:09 - public:stevetao

Book, Logic, Math, Math-Logic - 4 | id:485568 -

MATH 444 Senior Seminar: Mathematical Logic

[https://mileti.math.grinnell.edu/m444s16/schedule.html] - 2021-01-06 00:41:11 - public:stevetao

Book, Course, Logic, Math, Math-Logic - 5 | id:485567 -

A.Miller - Math

[https://www.math.wisc.edu/~miller/] - 2021-01-05 17:33:36 - public:stevetao

Lecture-Note, Logic, Math, Math-Logic, Person - 5 | id:485560 -

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 -

A Course in Algebraic Number Theory

[https://faculty.math.illinois.edu/~r-ash/ANT.html] - 2021-01-05 13:20:49 - public:stevetao

Book, Free, Math, Number-Theory - 4 | id:485557 -

MSRI

[http://library.msri.org/books/] - 2021-01-05 13:09:35 - public:stevetao

Book, Math - 2 | id:485556 -

Algorithmic Number Theory

[http://library.msri.org/books/Book44/contents.html] - 2021-01-05 12:52:41 - public:stevetao

Book, Free, Math, Number-Theory - 4 | id:485555 -

A Computational Introduction to Number Theory and Algebra

[https://shoup.net/ntb/] - 2021-01-05 12:20:18 - public:stevetao

Book, Free, Math, Number-Theory - 4 | id:485554 -

A Computational Introduction to Number Theory and Algebra - Open Textbook Library

[https://open.umn.edu/opentextbooks/textbooks/a-computational-introduction-to-number-theory-and-algebra] - 2021-01-05 12:17:33 - public:stevetao

Book, Free, Math, Number-Theory - 4 | id:485553 -

Elementary Number Theory

[https://wstein.org/ent/] - 2021-01-05 03:47:58 - public:stevetao

Book, Free, Math, Number-Theory - 4 | id:485533 -

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 -

Mathematical Analysis I - Real Analysis for Undergraduates - The Trillia Group

[http://www.trillia.com/zakon-analysisI.html] - 2021-01-04 08:35:27 - public:stevetao

Analysis, Book, Free, Math, Proof - 5 | id:485511 -

Book of Proof

[http://www.people.vcu.edu/~rhammack/BookOfProof/] - 2021-01-04 08:31:13 - public:stevetao

Book, Free, Math, Proof - 4 | id:485510 -

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 -

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 -

Let Over Lambda

[https://letoverlambda.com/index.cl/toc] - 2021-01-04 01:14:13 - public:stevetao

Book, Computer-Science, Free, Lambda, Lisp, Math - 6 | id:485472 -

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 -

Elementary Calculus

[http://www.math.wisc.edu/~keisler/calc.html] - 2021-01-03 14:51:54 - public:stevetao

Book, Calculus, Free, Math - 4 | id:485462 -

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 -

reference request - Online lectures for a first course in mathematical logic - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/690214/online-lectures-for-a-first-course-in-mathematical-logic] - 2021-01-03 13:35:08 - public:stevetao

Course, Logic, Math, Math-Logic - 4 | id:485455 -

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 -

Search

Results