Christopher John Ash 1945-1995 | Australian Academy of Science

[https://www.science.org.au/fellowship/fellows/biographical-memoirs-1/christopher-john-ash-1945-1995] - 2020-10-19 04:13:47 - public:stevetao

Logic, Math-Logic, Person - 3 | id:426120 -

A picture of logic, between mathematics and philosophy | Joel David Hamkins

[http://jdh.hamkins.org/a-picture-of-logic-between-mathematics-and-philosophy/] - 2020-10-18 00:57:25 - public:stevetao

Logic - 1 | id:426107 -

Logic, Non-Classical | Encyclopedia.com

[https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/logic-non-classical] - 2020-10-16 21:43:51 - public:stevetao

Logic, Non-classical - 2 | id:426102 -

Teaching: Non-classical logic

[http://michaelde.com/teaching/non-classical_logic(duesseldorf)/non-classical_logic.html] - 2020-10-16 21:42:54 - public:stevetao

Logic, Non-classical - 2 | id:426101 -

Mathematics Notes

[https://coopersnotes.net/second_langmach.html] - 2020-05-29 18:39:26 - public:stevetao

Automata, Book, Discrete-Math, Logic, Turing-Machine - 5 | id:321631 -

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

[http://computingbook.org/] - 2020-05-28 19:39:13 - public:stevetao

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

600.325/425 - Declarative Methods - JHU CS

[http://cs.jhu.edu/~jason/325/] - 2019-12-09 20:12:50 - public:stevetao

Computer-Science, Declarative, Logic, Normal-Form, Programming - 5 | id:272202 -

โจทย์ตรรกศาสตร์ค่ะ - Mathcenter Forum

[http://www.mathcenter.net/forum/showthread.php?t=7508] - 2019-11-29 06:47:46 - public:stevetao

Logic, Puzzle - 2 | id:272129 -

โจทย์ชวนคิด - MATH NARAK

[http://mathnarak.weebly.com/36503592360736183660359436233609358836363604.html] - 2019-11-29 01:35:10 - public:stevetao

Logic, Puzzle - 2 | id:272128 -

Logic & Proofs — Open & Free - OLI

[https://oli.cmu.edu/courses/logic-proofs-copy/] - 2019-11-28 10:11:12 - public:stevetao

Course, Logic - 2 | id:272123 -

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 -

CSE 482/CIS 582: Logic in Computer Science

[https://www.cis.upenn.edu/~alur/cse482.html] - 2019-11-28 09:29:36 - public:stevetao

Course, Logic - 2 | id:272118 -

Lectures 11—13: Introduction to logic for verification

[http://www.cs.cornell.edu/courses/cs312/2008sp/lectures/logic.html] - 2019-11-28 09:17:38 - public:stevetao

Logic, Verification - 2 | id:272116 -

first order logic - What is the operator precedence for quantifiers? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/1150746/what-is-the-operator-precedence-for-quantifiers] - 2019-11-15 10:24:23 - public:stevetao

Logic, Math-Logic, Precedence - 3 | id:271979 -

Logic Alphabet Home Page

[http://www.logic-alphabet.net/] - 2019-11-13 07:12:05 - public:stevetao

Logic - 1 | id:271958 -

Lecture Notes Philosophy 120A Autumn 2007 Introduction to Logic

[https://faculty.washington.edu/smcohen/120/LectureNotes.htm] - 2019-11-11 21:45:57 - public:stevetao

Book, Logic - 2 | id:271949 -

Derivation of Null Quantification in Logic? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/850887/derivation-of-null-quantification-in-logic] - 2019-11-11 21:40:12 - public:stevetao

Logic, Math-Logic, Null, Quantification, Quantifier - 5 | id:271948 -

Representation - propositional logic

[https://ermongroup.github.io/cs323-notes/logic/representation/] - 2019-11-10 09:42:47 - public:stevetao

Logic, Math-Logic - 2 | id:271915 -

Representation - propositional logic

[https://ermongroup.github.io/cs323-notes/logic/representation/] - 2019-11-10 09:41:59 - public:suradet

Logic, Math-Logic - 2 | id:271914 -

reference request - Axioms of Propositional Logic with as few negation axioms as possible - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3260288/axioms-of-propositional-logic-with-as-few-negation-axioms-as-possible/3261156] - 2019-11-06 09:19:46 - public:stevetao

Axiom, Logic - 2 | id:271293 -

Why are there several axiom systems for propositional logic? - Mathematics Stack Exchange

[https://math.stackexchange.com/questions/3230255/why-are-there-several-axiom-systems-for-propositional-logic] - 2019-11-06 09:18:08 - public:stevetao

Axiom, Logic - 2 | id:271292 -