Yet Another Bookmarks Service
Viewing stevetao's Bookmarks
Boolean normal form - Learning Logic for Computer Science
[https://logic4free.informatik.uni-kiel.de/llocs/Boolean_normal_form] -
-
public:
stevetao
Lecture1
[https://www.cs.columbia.edu/~rgu/courses/e6998/fall2018/Lecture1.html] -
-
public:
stevetao
Syllabus - Programming Languages and Methodologies
[https://eecs.ceas.uc.edu/~ralescal/AI_I/LECTURES/Lecture1_printable.html] -
-
public:
stevetao
The formal language of propositional logic – The nature of physics
[https://philphys.hypotheses.org/149] -
-
public:
stevetao
logic - How to denote the BNF syntax of propositional calculus? - Mathematics Stack Exchange
[https://math.stackexchange.com/questions/4037220/how-to-denote-the-bnf-syntax-of-propositional-calculus] -
-
public:
stevetao
Introduction to Logic
[http://intrologic.stanford.edu/homepage/index.html] -
-
public:
stevetao
Introduction to Logic - Chapter 2
[http://intrologic.stanford.edu/chapters/chapter_02.html] -
-
public:
stevetao
propositional logic- formal language Propositional Logic is a formal language. - Zitoc
[https://zitoc.com/propositional-logic-formal-language/] -
-
public:
stevetao
Propositional Logic | Internet Encyclopedia of Philosophy
[https://iep.utm.edu/prop-log/] -
-
public:
stevetao
Approved Textbooks | American Inst. of Mathematics
[https://aimath.org/textbooks/approved-textbooks/] -
-
public:
stevetao
WFF 'N PROOF - Wikipedia
[https://en.wikipedia.org/wiki/WFF_%27N_PROOF] -
-
public:
stevetao
Fitch notation - Wikipedia
[https://en.wikipedia.org/wiki/Fitch_notation] -
-
public:
stevetao
Well-formed formula
[https://en-academic.com/dic.nsf/enwiki/229538] -
-
public:
stevetao
Mathematics 187 - Introduction to Mathematical Logic
[https://services.math.duke.edu/~wka/math187/] -
-
public:
stevetao
Mathematical logics Fall 2014 - Exams - University of Trento
[https://disi.unitn.it/~ldkr/ml2014/lessons.html] -
-
public:
stevetao
Single axioms for BCI
[https://web.ics.purdue.edu/~dulrich/BCI-page.htm] -
-
public:
stevetao
Comprehensive List of Logic Symbols | Math Vault
[https://mathvault.ca/hub/higher-math/math-symbols/logic-symbols/] -
-
public:
stevetao
Philosophy of Mathematics and Its Logic: Introduction - Oxford Handbooks
[https://www.oxfordhandbooks.com/view/10.1093/oxfordhb/9780195325928.001.0001/oxfordhb-9780195325928-e-1] -
-
public:
stevetao
List of free mathematics books | Math Wiki | Fandom
[https://math.wikia.org/wiki/List_of_free_mathematics_books] -
-
public:
stevetao
Yiannis N. Moschovakis Books
[https://www.math.ucla.edu/~ynm/books.htm] -
-
public:
stevetao
Lewis Carroll's Logic Game (an introduction)
[https://www.cut-the-knot.org/LewisCarroll/index.shtml] -
-
public:
stevetao
The Game of Logic by Lewis Carroll - Free Ebook
[http://www.gutenberg.org/ebooks/4763] -
-
public:
stevetao
The Project Gutenberg E-text of The Game of Logic, by Lewis Carroll
[http://www.gutenberg.org/files/4763/4763-h/4763-h.htm] -
-
public:
stevetao
Newest Free mathematics / logic Books | BookFusion
[https://www.bookfusion.com/books/free?language=_all&query=mathematics+%2F+logic&sort=created_at-desc] -
-
public:
stevetao
Links on logic and the foundations of mathematics
[http://settheory.net/links] -
-
public:
stevetao
Mathematical logic reconstructed PDF download
[http://www.topology.org/tex/conc/mlstats.php] -
-
public:
stevetao
soft question - Reading materials for mathematical logic - MathOverflow
[https://mathoverflow.net/questions/33096/reading-materials-for-mathematical-logic] -
-
public:
stevetao
MATH 444 Senior Seminar: Mathematical Logic
[https://mileti.math.grinnell.edu/m444s16/schedule.html] -
-
public:
stevetao
A.Miller - Math
[https://www.math.wisc.edu/~miller/] -
-
public:
stevetao
Mathematical Logic through Python
[https://www.logicthrupython.org/] -
-
public:
stevetao
The Zakon Series on Mathematical Analysis by Elias Zakon
[http://www.trillia.com/products.html] -
-
public:
stevetao
The Complexity of Boolean Functions
[https://eccc.weizmann.ac.il//static/books/The_Complexity_of_Boolean_Functions/] -
-
public:
stevetao
Proofs and Concepts
[http://people.uleth.ca/~dave.morris/books/proofs+concepts.html] -
-
public:
stevetao
A Gentle Introduction to the Art of Mathematics (GIAM)
[https://osj1961.github.io/giam/] -
-
public:
stevetao
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] -
-
public:
stevetao
Simply Logical : Intelligent Reasoning by Example
[http://people.cs.bris.ac.uk/~flach/SimplyLogical.html] -
-
public:
stevetao
Set Theory by William Weiss
[http://www.math.utoronto.ca/weiss/set_theory.html] -
-
public:
stevetao
Model Theory, Algebra, and Geometry
[http://library.msri.org/books/Book39/contents.html] -
-
public:
stevetao
Elementary Set Theory with a Universal Set
[https://randall-holmes.github.io/] -
-
public:
stevetao
Model-Theoretic Logics
[https://projecteuclid.org/euclid.pl/1235417263#toc] -
-
public:
stevetao
Euclid and His Twentieth Century Rivals: Diagrams in the Logic of Euclidean Geometry
[https://www.unco.edu/nhs/mathematical-sciences/faculty/miller/] -
-
public:
stevetao
Logic: A Study Guide (and other Book Notes) - Logic MattersLogic Matters
[http://www.logicmatters.net/tyl/] -
-
public:
stevetao
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] -
-
public:
stevetao
forall x: the Mississippi State edition – Dragon Philosophy
[http://blog.loighic.net/forallx-the-mississippi-state-edition] -
-
public:
stevetao
For All X, the Lorain County Remix | A free, open-access introductory logic text
[https://forallxremix.org/] -
-
public:
stevetao
Edward Elliott - Teaching - Edward Elliott (forall x: Leeds)
[http://www.edwardjrelliott.com/misc-resources.html] -
-
public:
stevetao
forallx: SLU (Saint Louis University)
[http://www.klindeman.com/forallx.html] -
-
public:
stevetao
Teaching - Cathal Woods (Logic)
[https://sites.google.com/site/cathalwoods/teaching] -
-
public:
stevetao
GitHub - rob-helpy-chalk/openintroduction: files for For All X: The Lorain County Remix
[https://github.com/rob-helpy-chalk/openintroduction] -
-
public:
stevetao
forall x: UBC edition — Jonathan Jenkins Ichikawa
[http://jichikawa.net/forall-x-ubc-edition] -
-
public:
stevetao
Viewing 1 - 50, 50 links out of 118 links, page: 1
Follow Tags
Manage