Algebraic Methods of Mathematical Logic:
Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization.The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Saint Louis
Elsevier Science
2014
|
| Schlagworte: | |
| Online-Zugang: | FAW01 |
| Zusammenfassung: | Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization.The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language.The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization.The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic |
| Beschreibung: | Description based on publisher supplied metadata and other sources |
| Beschreibung: | 1 online resource (213 pages) |
| ISBN: | 9781483270524 9781483231235 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043615531 | ||
| 003 | DE-604 | ||
| 005 | 20191211 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160616s2014 |||| o||u| ||||||eng d | ||
| 020 | |a 9781483270524 |9 978-1-4832-7052-4 | ||
| 020 | |a 9781483231235 |c Print |9 978-1-4832-3123-5 | ||
| 035 | |a (ZDB-30-PQE)EBC1888525 | ||
| 035 | |a (ZDB-89-EBL)EBL1888525 | ||
| 035 | |a (ZDB-38-EBR)ebr10999629 | ||
| 035 | |a (OCoLC)680278345 | ||
| 035 | |a (DE-599)BVBBV043615531 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 164 | |
| 100 | 1 | |a Rieger, Ladislav |d 1916-1963 |e Verfasser |0 (DE-588)140980199 |4 aut | |
| 245 | 1 | 0 | |a Algebraic Methods of Mathematical Logic |
| 264 | 1 | |a Saint Louis |b Elsevier Science |c 2014 | |
| 264 | 4 | |c © 1967 | |
| 300 | |a 1 online resource (213 pages) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a Description based on publisher supplied metadata and other sources | ||
| 520 | |a Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization.The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language.The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization.The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic | ||
| 650 | 4 | |a Algebra, Boolean | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Rieger, Ladislav |t Algebraic Methods of Mathematical Logic |
| 912 | |a ZDB-30-PQE |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029029590 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9781483231235 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804176358106988544 |
|---|---|
| any_adam_object | |
| author | Rieger, Ladislav 1916-1963 |
| author_GND | (DE-588)140980199 |
| author_facet | Rieger, Ladislav 1916-1963 |
| author_role | aut |
| author_sort | Rieger, Ladislav 1916-1963 |
| author_variant | l r lr |
| building | Verbundindex |
| bvnumber | BV043615531 |
| collection | ZDB-30-PQE ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-30-PQE)EBC1888525 (ZDB-89-EBL)EBL1888525 (ZDB-38-EBR)ebr10999629 (OCoLC)680278345 (DE-599)BVBBV043615531 |
| dewey-full | 164 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 164 - [Unassigned] |
| dewey-raw | 164 |
| dewey-search | 164 |
| dewey-sort | 3164 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03061nmm a2200457zc 4500</leader><controlfield tag="001">BV043615531</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20191211 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160616s2014 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483270524</subfield><subfield code="9">978-1-4832-7052-4</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781483231235</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4832-3123-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-30-PQE)EBC1888525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-89-EBL)EBL1888525</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-38-EBR)ebr10999629</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)680278345</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043615531</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">164</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Rieger, Ladislav</subfield><subfield code="d">1916-1963</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)140980199</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Algebraic Methods of Mathematical Logic</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saint Louis</subfield><subfield code="b">Elsevier Science</subfield><subfield code="c">2014</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 1967</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (213 pages)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Description based on publisher supplied metadata and other sources</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization.The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language.The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization.The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Algebra, Boolean</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="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=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Rieger, Ladislav</subfield><subfield code="t">Algebraic Methods of Mathematical Logic</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029029590</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9781483231235</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043615531 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:30:54Z |
| institution | BVB |
| isbn | 9781483270524 9781483231235 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029029590 |
| oclc_num | 680278345 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 online resource (213 pages) |
| psigel | ZDB-30-PQE ZDB-33-ESD ZDB-33-EBS ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 2014 |
| publishDateSearch | 2014 |
| publishDateSort | 2014 |
| publisher | Elsevier Science |
| record_format | marc |
| spelling | Rieger, Ladislav 1916-1963 Verfasser (DE-588)140980199 aut Algebraic Methods of Mathematical Logic Saint Louis Elsevier Science 2014 © 1967 1 online resource (213 pages) txt rdacontent c rdamedia cr rdacarrier Description based on publisher supplied metadata and other sources Algebraic Methods of Mathematical Logic focuses on the algebraic methods of mathematical logic, including Boolean algebra, mathematical language, and arithmetization.The book first offers information on the dialectic of the relation between mathematical and metamathematical aspects; metamathematico-mathematical parallelism and its natural limits; practical applications of methods of mathematical logic; and principal mathematical tools of mathematical logic. The text then elaborates on the language of mathematics and its symbolization and recursive construction of the relation of consequence. Discussions focus on recursive construction of the relation of consequence, fundamental descriptively-semantic rules, mathematical logic and mathematical language as a material system of signs, and the substance and purpose of symbolization of mathematical language.The publication examines expressive possibilities of symbolization; intuitive and mathematical notions of an idealized axiomatic mathematical theory; and the algebraic theory of elementary predicate logic. Topics include the notion of Boolean algebra based on joins, meets, and complementation, logical frame of a language and mathematical theory, and arithmetization and algebraization.The manuscript is a valuable reference for mathematicians and researchers interested in the algebraic methods of mathematical logic Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s 1\p DE-604 Erscheint auch als Druck-Ausgabe Rieger, Ladislav Algebraic Methods of Mathematical Logic 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Rieger, Ladislav 1916-1963 Algebraic Methods of Mathematical Logic Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)4037951-6 |
| title | Algebraic Methods of Mathematical Logic |
| title_auth | Algebraic Methods of Mathematical Logic |
| title_exact_search | Algebraic Methods of Mathematical Logic |
| title_full | Algebraic Methods of Mathematical Logic |
| title_fullStr | Algebraic Methods of Mathematical Logic |
| title_full_unstemmed | Algebraic Methods of Mathematical Logic |
| title_short | Algebraic Methods of Mathematical Logic |
| title_sort | algebraic methods of mathematical logic |
| topic | Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Algebra, Boolean Logic, Symbolic and mathematical Mathematische Logik |
| work_keys_str_mv | AT riegerladislav algebraicmethodsofmathematicallogic |