Model-Theoretic Logics

[https://projecteuclid.org/euclid.pl/1235417263#toc] - 2021-01-03 06: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 06: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 05: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 05: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 04: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 04: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 04: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 04: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 03: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 03: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 03: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 03:40:39 - public:stevetao

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

forall x: Calgary

[http://forallx.openlogicproject.org/] - 2021-01-03 03: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 03: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 03: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 03: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 03:07:58 - public:stevetao

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

The Haskell Road to Logic, Maths and Programming

[https://staff.fnwi.uva.nl/d.j.n.vaneijck2/HR/] - 2021-01-03 03:05:06 - public:stevetao

Book, Haskell, Logic, Math, Math-Logic - 5 | id:485440 -

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 02: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 01: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 01: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 01:41:26 - public:stevetao

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

Nuel Belnap

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

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

Jeremy Avigad's Home Page

[https://www.andrew.cmu.edu/user/avigad/] - 2021-01-03 01:12:25 - public:stevetao

Book, Math, Math-Logic, Person - 4 | id:485434 -

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

[https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists] - 2021-01-03 01: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 01: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 01: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 00: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 00:55:26 - public:stevetao

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

Simpson: Home Page

[http://www.personal.psu.edu/t20/] - 2021-01-03 00:51:55 - public:stevetao

Logic, Math, Math-Logic, Person - 4 | id:485428 -

Actual Causality

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

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

Mathematical Logic Free Online Courses and MOOCs | MOOC List

[https://www.mooc-list.com/tags/mathematical-logic] - 2021-01-03 00:38:39 - public:stevetao

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

Free Online Course: Mathematical Logic and Algorithms Theory from iversity | Class Central

[https://www.classcentral.com/course/iversity-mathematical-logic-and-algorithms-theory-6116] - 2021-01-03 00:38:07 - public:stevetao

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

An almost one-liner to construct the Mandelbrot set with Mathematica | A blog on science

[https://ekamperi.github.io/math/2020/12/01/mandelbrot-set-one-liner.html] - 2020-12-23 07:15:39 - public:emergie

math - 1 | id:485240 -

Camera View Matrix

[https://stackoverflow.com/questions/28075743/how-do-i-compose-a-rotation-matrix-with-human-readable-angles-from-scratch/28084380#28084380] - 2020-09-06 09:09:17 - public:amedlock

gamedev, math - 2 | id:375943 -

Essential Math for gamedev

[http://essentialmath.com/] - 2020-08-22 16:53:27 - public:amedlock

gamedev, math - 2 | id:375777 -

BetterExplained – Math lessons that click - BetterExplained – Math lessons for lasting insight.

[https://betterexplained.com/] - 2020-07-20 05:16:50 - public:xxx

interesting, learn, learning, math, study - 5 | id:351463 -

Learn Math

Welcome to stixfonts | Scientific and Technical Information Exchange (STIX)

[https://www.stixfonts.org/] - 2020-07-17 20:20:52 - public:stevetao

Font, Math - 2 | id:351159 -

GitHub - alif-type/xits: XITS - OpenType implementation of STIX fonts with math support

[https://github.com/alif-type/xits] - 2020-07-17 20:15:26 - public:stevetao

Font, Math - 2 | id:351158 -

GitHub - alerque/libertinus: Libertinus font family

[https://github.com/alerque/libertinus] - 2020-07-17 20:15:09 - public:stevetao

Font, Math - 2 | id:351157 -

Which OpenType Math fonts are available? - TeX - LaTeX Stack Exchange

[https://tex.stackexchange.com/questions/425098/which-opentype-math-fonts-are-available] - 2020-07-17 20:14:58 - public:stevetao

Font, Math - 2 | id:351156 -

CindyJS

[https://cindyjs.org/gallery/main/] - 2020-06-22 08:50:20 - public:xxx

amazing, cool, graphs, library, math, mathematics, webgl - 7 | id:350404 -

Amazing math graphs library with 3d

תרגילים עם מספרים פלינדרומים לילדים

[http://ymath.haifa.ac.il/images/stories/mispar_chazak_2000/issue29/May_Anatoly.pdf] - 2020-05-11 10:04:48 - public:xxx

interesting, kids, math, numbers, palindrome - 5 | id:310190 -

Typing Mathematics in Microsoft Word - Wikibooks, open books for an open world

[https://en.wikibooks.org/wiki/Typing_Mathematics_in_Microsoft_Word] - 2020-05-03 18:22:38 - public:stevetao

Equation, Math, Tip, Word - 4 | id:309962 -

3 Ways To Write Math Equations In HTML - Code Boxx

[https://code-boxx.com/math-equations-html/] - 2020-04-08 20:38:38 - public:stevetao

HTML, Math - 2 | id:292852 -

Explorable Explanations

[https://explorabl.es/] - 2020-02-21 07:25:35 - public:xxx

chemistry, interesting, kids, learn, math, nice, sample - 7 | id:283172 -

Learn by example and trying

Doomsday Algorithm

[http://rudy.ca/doomsday.html] - 2020-01-10 09:23:28 - public:xxx

calculator, dates, math - 3 | id:277060 -

The Doomsday Algorithm gives the day of the week for any date (and you can do it in your head)

Quadratic Equations - Quadratic Equations How to Solve

[https://www.popularmechanics.com/science/math/a30152083/solve-quadratic-equations/] - 2019-12-08 04:37:21 - public:mepage

equations, math, reference - 3 | id:1495517 -

How to Convert Watt Hours Per Meter Squared to Lux Hours

[https://sciencing.com/how-8305943-convert-meter-squared-lux-hours.html] - 2019-12-02 05:26:01 - public:mepage

development, formulas, light, lux, math - 5 | id:1495521 -

CS270 -- Mathematical Foundations in CS, Fall 2017

[https://www.cs.drexel.edu/~jjohnson/2017-18/fall/CS270/] - 2019-11-28 10:04:23 - public:stevetao

Logic, Math, Scheme - 3 | id:272122 -

Search

Results