Holdings: Logic as algebra :: THWS Bibkatalog

Logic as algebra:

Saved in:

Bibliographic Details
Main Authors:	Halmos, Paul R. 1916-2006 (Author), Givant, Steven (Author)
Format:	Book
Language:	English
Published:	Washington, DC Math. Assoc. of America 1998
Series:	Dolciani mathematical expositions 21
Subjects:	Logica Logique symbolique et mathématique Logik Logic, Symbolic and mathematical Mathematische Logik Algebra
Online Access:	Inhaltsverzeichnis
Physical Description:	IX, 141 S.
ISBN:	0883853272

Staff View

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

Record in the Search Index

_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

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items