forall x (Record no. 39321)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02220nam a2200421 i 4500 |
| 001 - CONTROL NUMBER | |
| control field | OTLid0001139 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | MnU |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20241120064027.0 |
| 006 - FIXED-LENGTH DATA ELEMENTS--ADDITIONAL MATERIAL CHARACTERISTICS--GENERAL INFORMATION | |
| fixed length control field | m o d s |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220219s2023 mnu o 0 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | MnU |
| Language of cataloging | eng |
| Transcribing agency | MnU |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | B72 |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Magnus, P.D. |
| Relator term | author |
| 245 00 - TITLE STATEMENT | |
| Title | forall x |
| Remainder of title | Calgary |
| Statement of responsibility, etc | P.D. Magnus |
| 264 #2 - | |
| -- | Minneapolis, MN |
| -- | Open Textbook Library |
| 264 #1 - | |
| -- | Calgary, Alberta |
| -- | University of Calgary |
| -- | 2023. |
| 264 #4 - | |
| -- | ©2023. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 1 online resource |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 490 0# - SERIES STATEMENT | |
| Series statement | Open textbook library. |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | Preface -- Key notions of logic -- Truth-functional logic -- Truth tables -- Natural deduction for TFL -- First-order logic -- Interpretations -- Natural deduction for FOL -- Modal logic -- Metatheory -- Appendices -- Glossary |
| 520 0# - SUMMARY, ETC. | |
| Summary, etc | 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 interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML (with additional accessibility features), and in LaTeX source code. |
| 542 1# - | |
| -- | Attribution |
| 546 ## - LANGUAGE NOTE | |
| Language note | In English. |
| 588 0# - | |
| -- | Description based on print resource |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Humanities |
| Form subdivision | Textbooks |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Philosophy |
| Form subdivision | Textbooks |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Button, Tim |
| Relator term | author |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Trueman, Robert |
| Relator term | author |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Zach, Richard |
| Relator term | author |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Loftis, J. Robert |
| Relator term | author |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Thomas-Bolduc, Aaron |
| Relator term | author |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Open Textbook Library |
| Relator term | distributor |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://open.umn.edu/opentextbooks/textbooks/1139">https://open.umn.edu/opentextbooks/textbooks/1139</a> |
| Public note | Access online version |
No items available.