Term logic with choice operator:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Berlin [u.a.]
Springer
1970
|
| Ausgabe: | Rev. and enl. transl. of the 1. German ed. |
| Schriftenreihe: | Lecture notes in mathematics
6 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | 55 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV002277805 | ||
| 003 | DE-604 | ||
| 005 | 20180410 | ||
| 007 | t| | ||
| 008 | 890928s1970 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)73787243 | ||
| 035 | |a (DE-599)BVBBV002277805 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-355 |a DE-19 |a DE-824 |a DE-188 |a DE-706 | ||
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SI 850 |0 (DE-625)143199: |2 rvk | ||
| 100 | 1 | |a Hermes, Hans |d 1912-2003 |e Verfasser |0 (DE-588)117712302 |4 aut | |
| 240 | 1 | 0 | |a Eine Termlogik mit Auswahloperator |
| 245 | 1 | 0 | |a Term logic with choice operator |c Hans Hermes |
| 250 | |a Rev. and enl. transl. of the 1. German ed. | ||
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 1970 | |
| 300 | |a 55 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in mathematics |v 6 | |
| 650 | 0 | 7 | |a Hilbertsches Epsilon-Symbol |0 (DE-588)4159853-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Term |0 (DE-588)4184754-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Auswahl |0 (DE-588)4214540-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | 1 | |a Auswahl |0 (DE-588)4214540-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Hilbertsches Epsilon-Symbol |0 (DE-588)4159853-2 |D s |
| 689 | 1 | 1 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 1 | 2 | |a Term |0 (DE-588)4184754-4 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 830 | 0 | |a Lecture notes in mathematics |v 6 |w (DE-604)BV000676446 |9 6 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001496544&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-001496544 | |
Datensatz im Suchindex
| _version_ | 1817688519197327360 |
|---|---|
| adam_text |
Contents
1. Introduction. Foreword to the Revised Edition 1
2. First order predicate logic with choice operator 3
3. First order term logic with choice operator 5
4. Embedding of predicate logic in term logic 8
5. Embedding of term logic in predicate logic 13
6. Free occurence of a variable. Rank of a term. Elementary substitution.18
7. A term calculus 21
8. Soundness of the rules 24
9. Survey of the completeness proof 26
10. Some theorems concerning deducibility 29
11. Substitution 30
12. Further theorems concerning deducibility 37
13. Survey of the proof of the Theorem on satisfiability 42
14. Details of the proof 47
15. Completeness of restricted term calculus 52
Bibliography 53
Index of Symbols 54
General Index 55 |
| any_adam_object | 1 |
| author | Hermes, Hans 1912-2003 |
| author_GND | (DE-588)117712302 |
| author_facet | Hermes, Hans 1912-2003 |
| author_role | aut |
| author_sort | Hermes, Hans 1912-2003 |
| author_variant | h h hh |
| building | Verbundindex |
| bvnumber | BV002277805 |
| classification_rvk | CC 2600 SI 850 |
| ctrlnum | (OCoLC)73787243 (DE-599)BVBBV002277805 |
| discipline | Mathematik Philosophie |
| edition | Rev. and enl. transl. of the 1. German ed. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV002277805</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20180410</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">890928s1970 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)73787243</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV002277805</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-355</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-824</subfield><subfield code="a">DE-188</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 850</subfield><subfield code="0">(DE-625)143199:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hermes, Hans</subfield><subfield code="d">1912-2003</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)117712302</subfield><subfield code="4">aut</subfield></datafield><datafield tag="240" ind1="1" ind2="0"><subfield code="a">Eine Termlogik mit Auswahloperator</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Term logic with choice operator</subfield><subfield code="c">Hans Hermes</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Rev. and enl. transl. of the 1. German ed.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">1970</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">55 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">Lecture notes in mathematics</subfield><subfield code="v">6</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hilbertsches Epsilon-Symbol</subfield><subfield code="0">(DE-588)4159853-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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">Term</subfield><subfield code="0">(DE-588)4184754-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Auswahl</subfield><subfield code="0">(DE-588)4214540-5</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">Auswahl</subfield><subfield code="0">(DE-588)4214540-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Hilbertsches Epsilon-Symbol</subfield><subfield code="0">(DE-588)4159853-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Term</subfield><subfield code="0">(DE-588)4184754-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in mathematics</subfield><subfield code="v">6</subfield><subfield code="w">(DE-604)BV000676446</subfield><subfield code="9">6</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=001496544&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</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="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-001496544</subfield></datafield></record></collection> |
| id | DE-604.BV002277805 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-06T11:00:55Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-001496544 |
| oclc_num | 73787243 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-824 DE-188 DE-706 |
| owner_facet | DE-91G DE-BY-TUM DE-355 DE-BY-UBR DE-19 DE-BY-UBM DE-824 DE-188 DE-706 |
| physical | 55 S. |
| publishDate | 1970 |
| publishDateSearch | 1970 |
| publishDateSort | 1970 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in mathematics |
| series2 | Lecture notes in mathematics |
| spelling | Hermes, Hans 1912-2003 Verfasser (DE-588)117712302 aut Eine Termlogik mit Auswahloperator Term logic with choice operator Hans Hermes Rev. and enl. transl. of the 1. German ed. Berlin [u.a.] Springer 1970 55 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in mathematics 6 Hilbertsches Epsilon-Symbol (DE-588)4159853-2 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Term (DE-588)4184754-4 gnd rswk-swf Auswahl (DE-588)4214540-5 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 s Auswahl (DE-588)4214540-5 s DE-604 Hilbertsches Epsilon-Symbol (DE-588)4159853-2 s Term (DE-588)4184754-4 s 1\p DE-604 Lecture notes in mathematics 6 (DE-604)BV000676446 6 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001496544&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Hermes, Hans 1912-2003 Term logic with choice operator Lecture notes in mathematics Hilbertsches Epsilon-Symbol (DE-588)4159853-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Term (DE-588)4184754-4 gnd Auswahl (DE-588)4214540-5 gnd |
| subject_GND | (DE-588)4159853-2 (DE-588)4037951-6 (DE-588)4184754-4 (DE-588)4214540-5 |
| title | Term logic with choice operator |
| title_alt | Eine Termlogik mit Auswahloperator |
| title_auth | Term logic with choice operator |
| title_exact_search | Term logic with choice operator |
| title_full | Term logic with choice operator Hans Hermes |
| title_fullStr | Term logic with choice operator Hans Hermes |
| title_full_unstemmed | Term logic with choice operator Hans Hermes |
| title_short | Term logic with choice operator |
| title_sort | term logic with choice operator |
| topic | Hilbertsches Epsilon-Symbol (DE-588)4159853-2 gnd Mathematische Logik (DE-588)4037951-6 gnd Term (DE-588)4184754-4 gnd Auswahl (DE-588)4214540-5 gnd |
| topic_facet | Hilbertsches Epsilon-Symbol Mathematische Logik Term Auswahl |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=001496544&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000676446 |
| work_keys_str_mv | AT hermeshans einetermlogikmitauswahloperator AT hermeshans termlogicwithchoiceoperator |