forall x Calgary

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order in...

Full description

Saved in:
Bibliographic Details
Main Authors: Magnus, P.D (Author), Button, Tim (Author), Trueman, Robert (Author), Zach, Richard (Author), Loftis, J. Robert (Author), Thomas-Bolduc, Aaron (Author)
Format: Electronic eBook
Language:English
Published: Calgary, Alberta University of Calgary 2023.
Series:Open textbook library.
Subjects:
Online Access:Access online version
Tags: Add Tag
No Tags, Be the first to tag this record!

Internet

Access online version

3rd Floor Main Library

Holdings details from 3rd Floor Main Library
Call Number: A1234.567
Copy 1 Available