Logic as algebra:
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Washington, DC
Math. Assoc. of America
1998
|
| Schriftenreihe: | Dolciani mathematical expositions
21 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 141 S. |
| ISBN: | 0883853272 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012083675 | ||
| 003 | DE-604 | ||
| 005 | 19981127 | ||
| 007 | t | ||
| 008 | 980803s1998 |||| 00||| eng d | ||
| 020 | |a 0883853272 |9 0-88385-327-2 | ||
| 035 | |a (OCoLC)39230871 | ||
| 035 | |a (DE-599)BVBBV012083675 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-20 |a DE-824 |a DE-634 |a DE-188 | ||
| 050 | 0 | |a QA9 | |
| 082 | 0 | |a 511.3 |2 21 | |
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Halmos, Paul R. |d 1916-2006 |e Verfasser |0 (DE-588)118746677 |4 aut | |
| 245 | 1 | 0 | |a Logic as algebra |c Paul Halmos ; Steven Givant |
| 264 | 1 | |a Washington, DC |b Math. Assoc. of America |c 1998 | |
| 300 | |a IX, 141 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Dolciani mathematical expositions |v 21 | |
| 650 | 7 | |a Logica |2 gtt | |
| 650 | 4 | |a Logique symbolique et mathématique | |
| 650 | 4 | |a Logik | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algebra |0 (DE-588)4001156-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Algebra |0 (DE-588)4001156-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Givant, Steven |e Verfasser |4 aut | |
| 830 | 0 | |a Dolciani mathematical expositions |v 21 |w (DE-604)BV001900740 |9 21 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008181821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008181821 | ||
Datensatz im Suchindex
| _version_ | 1804126686855299072 |
|---|---|
| adam_text | THE DOLCIANI MATHEMATICAL EXPOSITIONS NUMBER TWENTY-ONE LOGIC AS ALGEBRA
PAUL HALMOS SANTA CLARA UNIVERSITY STEVEN GIVANT MILLS COLLEGE PUBLISHED
AND DISTRIBUTED BY THE MATHEMATICAL ASSOCIATION OF AMERICA CONTENTS WHAT
IS LOGIC? 1 1. TO COUNT OR TO THINK 1 2. A SMALL ALPHABET 3 3. A SMALL
GRAMMAR 4 4. A SMALL LOGIC 6 5. WHAT IS TRUTH? 7 6. MOTIVATION OF THE
SMALL LANGUAGE 8 7. ALL MATHEMATICS 9 PROPOSITIONAL CALCULUS 13 8.
PROPOSITIONAL SYMBOLS 13 9. PROPOSITIONAL ABBREVIATIONS 15 10. POLISH
NOTATION 17 11. LANGUAGE AS AN ALGEBRA 18 12. CONCATENATION 18 13..
THEOREM SCHEMATA 20 14. FORMAL PROOFS 23 15. ENTAILMENT 27 16. LOGICAL
EQUIVALENCE 29 * 17. CONJUNCTION 31 18. ALGEBRAIC IDENTITIES 35 BOOLEAN
ALGEBRA 41 19. EQUIVALENCE CLASSES 41 20. INTERPRETATIONS 43 21.
CONSISTENCY AND BOOLEAN ALGEBRA 45 22. DUALITY AND COMMUTATIVITY 46 VII
VIII LOGIC AS ALGEBRA 23. PROPERTIES OF BOOLEAN ALGEBRAS 48 24.
SUBTRACTION 53 25. EXAMPLES OF BOOLEAN ALGEBRAS 55 BOOLEAN UNIVERSAL
ALGEBRA 59 26. SUBALGEBRAS 59 27. HOMOMORPHISMS 60 28. EXAMPLES OF
HOMOMORPHISMS 62 29. FREE ALGEBRAS 63 30. KERNELS AND IDEALS 66 31.
MAXIMAL IDEALS 71 32. HOMOMORPHISM THEOREM 74 33. CONSEQUENCES 74 34.
REPRESENTATION THEOREM 75 LOGIC VIA ALGEBRA 79 35. PRE-BOOLEAN ALGEBRAS
79 36. SUBSTITUTION RULE 82 37. BOOLEAN LOGICS 83 38. ALGEBRA OF THE
PROPOSITIONAL CALCULUS 87 39. ALGEBRA OF PROOF AND CONSEQUENCE 89
LATTICES AND INFINITE OPERATIONS 95 40. LATTICES 95 41. NON-DISTRIBUTIVE
LATTICES 97 42. INFINITE OPERATIONS 101 MONADIC PREDICATE CALCULUS 107
43. PROPOSITIONAL FUNCTIONS 107 44. FINITE FUNCTIONS 108 45. FUNCTIONAL
MONADIC ALGEBRAS ILL 46. FUNCTIONAL QUANTIFIERS 113 ^ 47. PROPERTIES OF
QUANTIFIERS 115 48. MONADIC ALGEBRAS 117 49. FREE MONADIC ALGEBRAS 123
50. MODAL LOGICS 124 51. MONADIC LOGICS 125 52. SYLLOGISMS . . . . 127
INDEX 135
|
| any_adam_object | 1 |
| author | Halmos, Paul R. 1916-2006 Givant, Steven |
| author_GND | (DE-588)118746677 |
| author_facet | Halmos, Paul R. 1916-2006 Givant, Steven |
| author_role | aut aut |
| author_sort | Halmos, Paul R. 1916-2006 |
| author_variant | p r h pr prh s g sg |
| building | Verbundindex |
| bvnumber | BV012083675 |
| callnumber-first | Q - Science |
| callnumber-label | QA9 |
| callnumber-raw | QA9 |
| callnumber-search | QA9 |
| callnumber-sort | QA 19 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)39230871 (DE-599)BVBBV012083675 |
| dewey-full | 511.3 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511.3 |
| dewey-search | 511.3 |
| dewey-sort | 3511.3 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01683nam a2200445 cb4500</leader><controlfield tag="001">BV012083675</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19981127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980803s1998 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0883853272</subfield><subfield code="9">0-88385-327-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)39230871</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012083675</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA9</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Halmos, Paul R.</subfield><subfield code="d">1916-2006</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)118746677</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic as algebra</subfield><subfield code="c">Paul Halmos ; Steven Givant</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Washington, DC</subfield><subfield code="b">Math. Assoc. of America</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 141 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Dolciani mathematical expositions</subfield><subfield code="v">21</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logique symbolique et mathématique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logik</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algebra</subfield><subfield code="0">(DE-588)4001156-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Givant, Steven</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Dolciani mathematical expositions</subfield><subfield code="v">21</subfield><subfield code="w">(DE-604)BV001900740</subfield><subfield code="9">21</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008181821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008181821</subfield></datafield></record></collection> |
| id | DE-604.BV012083675 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T18:21:24Z |
| institution | BVB |
| isbn | 0883853272 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008181821 |
| oclc_num | 39230871 |
| open_access_boolean | |
| owner | DE-739 DE-20 DE-824 DE-634 DE-188 |
| owner_facet | DE-739 DE-20 DE-824 DE-634 DE-188 |
| physical | IX, 141 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Math. Assoc. of America |
| record_format | marc |
| series | Dolciani mathematical expositions |
| series2 | Dolciani mathematical expositions |
| spelling | Halmos, Paul R. 1916-2006 Verfasser (DE-588)118746677 aut Logic as algebra Paul Halmos ; Steven Givant Washington, DC Math. Assoc. of America 1998 IX, 141 S. txt rdacontent n rdamedia nc rdacarrier Dolciani mathematical expositions 21 Logica gtt Logique symbolique et mathématique Logik Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Algebra (DE-588)4001156-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Algebra (DE-588)4001156-2 s DE-604 Givant, Steven Verfasser aut Dolciani mathematical expositions 21 (DE-604)BV001900740 21 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008181821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Halmos, Paul R. 1916-2006 Givant, Steven Logic as algebra Dolciani mathematical expositions Logica gtt Logique symbolique et mathématique Logik Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd |
| subject_GND | (DE-588)4037951-6 (DE-588)4001156-2 |
| title | Logic as algebra |
| title_auth | Logic as algebra |
| title_exact_search | Logic as algebra |
| title_full | Logic as algebra Paul Halmos ; Steven Givant |
| title_fullStr | Logic as algebra Paul Halmos ; Steven Givant |
| title_full_unstemmed | Logic as algebra Paul Halmos ; Steven Givant |
| title_short | Logic as algebra |
| title_sort | logic as algebra |
| topic | Logica gtt Logique symbolique et mathématique Logik Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd Algebra (DE-588)4001156-2 gnd |
| topic_facet | Logica Logique symbolique et mathématique Logik Logic, Symbolic and mathematical Mathematische Logik Algebra |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008181821&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900740 |
| work_keys_str_mv | AT halmospaulr logicasalgebra AT givantsteven logicasalgebra |