Subject Terms: Logic, Symbolic and mathematical, QA9 .C88 1957
Availability: https://catalog.hathitrust.org/Record/004449577
Subject Terms: Logic, Symbolic and mathematical, QA9 .C88 1950
File Description: application/pdf
Authors: Kyburg, Henry Ely, 1928-
Subject Terms: Probabilities, Logic, Symbolic and Mathematical, BC141 .K9
Availability: https://catalog.hathitrust.org/Record/001387621
Authors: Martin, Benjamin
Subject Terms: Logic
Relation: https://press.rebus.community/intro-to-phil-logic/
Availability: https://press.rebus.community/intro-to-phil-logic/
Subject Terms: Logic, Symbolic and mathematical, Set theory, Infinite, QA9 .R79 2019
File Description: text/html
Availability: https://www.rudyrucker.com/infinityandthemind/
Subject Terms: Science -- Methodology, Induction (Logic), B1168 .E5 J3713
Availability: https://catalog.hathitrust.org/Record/001915372
Authors: Lamport, Leslie
Subject Terms: System design, Computer systems -- Specifications, Logic, Symbolic and mathematical, QA76.9 .S88 L35 2003
File Description: application/pdf
Availability: http://lamport.azurewebsites.net/tla/book.html
Authors: Magnus, P. D., Button, Tim, Loftis, J. Robert, Trueman, Robert, Thomas-Bolduc, Aaron, Zach, Richard
Subject Terms: Logic, Symbolic and mathematical
Relation: https://forallx.openlogicproject.org/
Availability: https://forallx.openlogicproject.org/
Authors: Hamilton, William, Sir, 1788-1856, Mansel, Henry Longueville, 1820-1871, Veitch, John, 1829-1894
Subject Terms: Metaphysics, Logic, B1423 .L3 1859
Relation: https://archive.org/details/hamiltonslectur01hamiuoft; https://archive.org/details/lecturesmetaphys00hamirich; https://catalog.hathitrust.org/Record/001915584
Authors: Kroedel, Thomas, 1977-
Subject Terms: Causation, Causation -- Psychological aspects, Counterfactuals (Logic), Philosophy of mind, BD541 .K76 2019
File Description: text/html; application/pdf
Relation: https://doi.org/10.1017/9781108762717
Availability: https://doi.org/10.1017/9781108762717
Subject Terms: Logic programming, Prolog (Computer program language), QA76.63 .N55
File Description: application/pdf
Relation: https://www.ida.liu.se/~ulfni53/lpp/
Availability: https://www.ida.liu.se/~ulfni53/lpp/
Authors: Niederliński, Antoni
Subject Terms: Constraint programming (Computer science), Logic programming
File Description: application/pdf
Relation: http://anclp.pl/
Availability: http://anclp.pl/
Authors: Feher, James
File Description: application/pdf; text/plain
Relation: https://www.textbookequity.org/digital-logic/
Availability: https://www.textbookequity.org/digital-logic/
Authors: Galen, Kieffer, John Spangler
Subject Terms: Logic -- Early works to 1800, B577 .G23 I53
File Description: text/html; application/pdf
Relation: https://doi.org/10.1353/book.71676
Availability: https://doi.org/10.1353/book.71676