Mathematical Logic and Its Applications:
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Boston, MA
Springer US
1987
|
| Subjects: | |
| Online Access: | Volltext |
| Item Description: | The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th anniversary of Kurt Godel (1906 - 1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov - The Language of !:-expressions and its Semantics; S. Goncharov - Mathematical Foundations of Semantic Programming; Y. Moschovakis - Foundations of the Theory of Algorithms; N. Nagornyj - Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin - Some Approaches to Finitization of Mathematical Analysis; V. Uspensky - Algorithms and Randomness - joint with A. N. |
| Physical Description: | 1 Online-Ressource (386p) |
| ISBN: | 9781461308973 9781461282341 |
| DOI: | 10.1007/978-1-4613-0897-3 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042420606 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s1987 |||| o||u| ||||||eng d | ||
| 020 | |a 9781461308973 |c Online |9 978-1-4613-0897-3 | ||
| 020 | |a 9781461282341 |c Print |9 978-1-4612-8234-1 | ||
| 024 | 7 | |a 10.1007/978-1-4613-0897-3 |2 doi | |
| 035 | |a (OCoLC)879621872 | ||
| 035 | |a (DE-599)BVBBV042420606 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 511.3 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Skordev, Dimiter G. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematical Logic and Its Applications |c edited by Dimiter G. Skordev |
| 264 | 1 | |a Boston, MA |b Springer US |c 1987 | |
| 300 | |a 1 Online-Ressource (386p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th anniversary of Kurt Godel (1906 - 1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov - The Language of !:-expressions and its Semantics; S. Goncharov - Mathematical Foundations of Semantic Programming; Y. Moschovakis - Foundations of the Theory of Algorithms; N. Nagornyj - Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin - Some Approaches to Finitization of Mathematical Analysis; V. Uspensky - Algorithms and Randomness - joint with A. N. | ||
| 600 | 1 | 7 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |2 gnd |9 rswk-swf |
| 650 | 4 | |a Mathematics | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Integral Transforms | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Integral Transforms, Operational Calculus | |
| 650 | 4 | |a Mathematik | |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)1071861417 |a Konferenzschrift |y 1986 |z Družba |2 gnd-content | |
| 689 | 0 | 0 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Gödel, Kurt |d 1906-1978 |0 (DE-588)11869569X |D p |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4613-0897-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027856023 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Record in the Search Index
| _version_ | 1804153092711645184 |
|---|---|
| any_adam_object | |
| author | Skordev, Dimiter G. |
| author_facet | Skordev, Dimiter G. |
| author_role | aut |
| author_sort | Skordev, Dimiter G. |
| author_variant | d g s dg dgs |
| building | Verbundindex |
| bvnumber | BV042420606 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)879621872 (DE-599)BVBBV042420606 |
| 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 |
| doi_str_mv | 10.1007/978-1-4613-0897-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03399nmm a2200553zc 4500</leader><controlfield tag="001">BV042420606</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s1987 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461308973</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-4613-0897-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461282341</subfield><subfield code="c">Print</subfield><subfield code="9">978-1-4612-8234-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4613-0897-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)879621872</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042420606</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511.3</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Skordev, Dimiter G.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical Logic and Its Applications</subfield><subfield code="c">edited by Dimiter G. Skordev</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston, MA</subfield><subfield code="b">Springer US</subfield><subfield code="c">1987</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (386p)</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">The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th anniversary of Kurt Godel (1906 - 1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov - The Language of !:-expressions and its Semantics; S. Goncharov - Mathematical Foundations of Semantic Programming; Y. Moschovakis - Foundations of the Theory of Algorithms; N. Nagornyj - Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin - Some Approaches to Finitization of Mathematical Analysis; V. Uspensky - Algorithms and Randomness - joint with A. N.</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integral Transforms</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integral Transforms, Operational Calculus</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematik</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1986</subfield><subfield code="z">Družba</subfield><subfield code="2">gnd-content</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">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Gödel, Kurt</subfield><subfield code="d">1906-1978</subfield><subfield code="0">(DE-588)11869569X</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4613-0897-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027856023</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="883" ind1="1" ind2=" "><subfield code="8">2\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="883" ind1="1" ind2=" "><subfield code="8">3\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></record></collection> |
| genre | 1\p (DE-588)1071861417 Konferenzschrift 1986 Družba gnd-content |
| genre_facet | Konferenzschrift 1986 Družba |
| id | DE-604.BV042420606 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:07Z |
| institution | BVB |
| isbn | 9781461308973 9781461282341 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027856023 |
| oclc_num | 879621872 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (386p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 1987 |
| publishDateSearch | 1987 |
| publishDateSort | 1987 |
| publisher | Springer US |
| record_format | marc |
| spelling | Skordev, Dimiter G. Verfasser aut Mathematical Logic and Its Applications edited by Dimiter G. Skordev Boston, MA Springer US 1987 1 Online-Ressource (386p) txt rdacontent c rdamedia cr rdacarrier The Summer School and Conference on Mathematical Logic and its Applications, September 24 - October 4, 1986, Druzhba, Bulgaria, was honourably dedicated to the 80-th anniversary of Kurt Godel (1906 - 1978), one of the greatest scientists of this (and not only of this) century. The main topics of the Meeting were: Logic and the Foundation of Mathematics; Logic and Computer Science; Logic, Philosophy, and the Study of Language; Kurt Godel's life and deed. The scientific program comprised 5 kinds of activities, namely: a) a Godel Session with 3 invited lecturers b) a Summer School with 17 invited lecturers c) a Conference with 13 contributed talks d) Seminar talks (one invited and 12 with no preliminary selection) e) three discussions The present volume reflects an essential part of this program, namely 14 of the invited lectures and all of the contributed talks. Not presented in the volltme remai ned si x of the i nvi ted lecturers who di d not submi t texts: Yu. Ershov - The Language of !:-expressions and its Semantics; S. Goncharov - Mathematical Foundations of Semantic Programming; Y. Moschovakis - Foundations of the Theory of Algorithms; N. Nagornyj - Is Realizability of Propositional Formulae a GBdelean Property; N. Shanin - Some Approaches to Finitization of Mathematical Analysis; V. Uspensky - Algorithms and Randomness - joint with A. N. Gödel, Kurt 1906-1978 (DE-588)11869569X gnd rswk-swf Mathematics Logic Integral Transforms Logic, Symbolic and mathematical Mathematical Logic and Foundations Integral Transforms, Operational Calculus Mathematik Mathematische Logik (DE-588)4037951-6 gnd rswk-swf 1\p (DE-588)1071861417 Konferenzschrift 1986 Družba gnd-content Mathematische Logik (DE-588)4037951-6 s 2\p DE-604 Gödel, Kurt 1906-1978 (DE-588)11869569X p 3\p DE-604 https://doi.org/10.1007/978-1-4613-0897-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Skordev, Dimiter G. Mathematical Logic and Its Applications Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Mathematics Logic Integral Transforms Logic, Symbolic and mathematical Mathematical Logic and Foundations Integral Transforms, Operational Calculus Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| subject_GND | (DE-588)11869569X (DE-588)4037951-6 (DE-588)1071861417 |
| title | Mathematical Logic and Its Applications |
| title_auth | Mathematical Logic and Its Applications |
| title_exact_search | Mathematical Logic and Its Applications |
| title_full | Mathematical Logic and Its Applications edited by Dimiter G. Skordev |
| title_fullStr | Mathematical Logic and Its Applications edited by Dimiter G. Skordev |
| title_full_unstemmed | Mathematical Logic and Its Applications edited by Dimiter G. Skordev |
| title_short | Mathematical Logic and Its Applications |
| title_sort | mathematical logic and its applications |
| topic | Gödel, Kurt 1906-1978 (DE-588)11869569X gnd Mathematics Logic Integral Transforms Logic, Symbolic and mathematical Mathematical Logic and Foundations Integral Transforms, Operational Calculus Mathematik Mathematische Logik (DE-588)4037951-6 gnd |
| topic_facet | Gödel, Kurt 1906-1978 Mathematics Logic Integral Transforms Logic, Symbolic and mathematical Mathematical Logic and Foundations Integral Transforms, Operational Calculus Mathematik Mathematische Logik Konferenzschrift 1986 Družba |
| url | https://doi.org/10.1007/978-1-4613-0897-3 |
| work_keys_str_mv | AT skordevdimiterg mathematicallogicanditsapplications |