Cargando…
Logic, Computation, Hierarchies.
<!Doctype html public ""-//w3c//dtd html 4.0 transitional//en""> <html><head> <meta content=""text/html; charset=iso-8859-1"" http-equiv=content-type> <meta name=generator content=""mshtml 8.00.6001.23644""><...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boston :
De Gruyter,
[2014]
|
| Colección: | Ontos mathematical logic.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn890071023 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr |n|---||||| | ||
| 008 | 140904t20142014mau ob 001 0 eng d | ||
| 040 | |a MHW |b eng |e rda |e pn |c MHW |d EBLCP |d OCLCO |d YDXCP |d OCLCQ |d OCLCO |d N$T |d E7B |d OCLCF |d OSU |d OCLCO |d COO |d IDEBK |d OCL |d OCLCO |d OCLCQ |d OCLCO |d DEBBG |d AGLDB |d MOR |d PIFBY |d VGM |d ZCU |d MERUC |d OCLCQ |d DEGRU |d I8H |d U3W |d NRC |d STF |d VNS |d OCLCQ |d VTS |d ICG |d INT |d VT2 |d AU@ |d CUY |d OCLCQ |d WYU |d TKN |d OCLCQ |d LEAUB |d DKC |d OCLCQ |d M8D |d UKAHL |d HS0 |d OCLCQ |d AJS |d OCLCO |d OCLCQ | ||
| 066 | |c (S | ||
| 019 | |a 900088782 |a 1055391455 |a 1066450996 |a 1081230804 | ||
| 020 | |a 9781614518044 |q (electronic bk.) | ||
| 020 | |a 1614518041 |q (electronic bk.) | ||
| 020 | |a 9781614518051 |q (print + online) | ||
| 020 | |a 161451805X |q (print + online) | ||
| 020 | |a 9781614519409 |q (electronic bk.) | ||
| 020 | |a 1614519404 |q (electronic bk.) | ||
| 020 | |z 9781614517832 |q (hardcover) | ||
| 020 | |z 1614517835 |q (hardcover) | ||
| 029 | 1 | |a CHBIS |b 010472013 | |
| 029 | 1 | |a CHNEW |b 000709410 | |
| 029 | 1 | |a DEBBG |b BV042991994 | |
| 029 | 1 | |a DEBBG |b BV043782632 | |
| 029 | 1 | |a DEBBG |b BV044067362 | |
| 029 | 1 | |a DEBSZ |b 472843907 | |
| 029 | 1 | |a AU@ |b 000056012448 | |
| 035 | |a (OCoLC)890071023 |z (OCoLC)900088782 |z (OCoLC)1055391455 |z (OCoLC)1066450996 |z (OCoLC)1081230804 | ||
| 050 | 4 | |a QA10.3 |b .L64 2014 | |
| 072 | 7 | |a MAT |x 000000 |2 bisacsh | |
| 072 | 7 | |a QA |2 lcco | |
| 082 | 0 | 4 | |a 511.324 |2 23 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Brattka, Vasco, |e editor. | |
| 245 | 1 | 0 | |a Logic, Computation, Hierarchies. |
| 264 | 1 | |a Boston : |b De Gruyter, |c [2014] | |
| 264 | 4 | |c ©2014 | |
| 300 | |a 1 online resource (x, 413 pages) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Ontos Mathematical Logic ; |v v. 4 | |
| 500 | |a Includes index. | ||
| 588 | 0 | |a Print version record. | |
| 500 | |a Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to mathematicians and logicians, as well as theoretical computer scientists. | ||
| 504 | |a Includes bibliographical references and index. | ||
| 520 | |a <!Doctype html public ""-//w3c//dtd html 4.0 transitional//en""> <html><head> <meta content=""text/html; charset=iso-8859-1"" http-equiv=content-type> <meta name=generator content=""mshtml 8.00.6001.23644""></head> <body> Published in honor of Victor L. Selivanov, the 17 articles collected in this volume inform on the latest developments in computability theory and its applications in computable analysis; descriptive set theory and topology; and the theory of omega-languages; as well as non-classical logics, such as temporal logic and paraconsistent logic. This volume will be of interest to | ||
| 505 | 0 | |a Preface; Contents; The life and work of Victor L. Selivanov; Tight extensions of T0-quasi-metric spaces; On the strongly bounded turing degrees of simple sets; Levels of discontinuity, limit-computability, and jump operators; The wadge hierarchy of Petri Nets?-languages; Diophantine properties of brownian motion: recursive aspects; The completeness of isomorphism; Complexity issues for Preorders on finite labeled forests; Boolean algebras of regular quasi-aperiodic languages; A simple indeterminate infinite game | |
| 505 | 8 | |a Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spacesON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC; COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY; AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC); PARTIAL NUMBERINGS AND PRECOMPLETENESS; AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS; TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR?-LANGUAGES; SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS; INDEX | |
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 0 | |a Algebra, Boolean |v Congresses. | |
| 650 | 0 | |a Quasi-metric spaces |v Congresses. | |
| 650 | 0 | |a Petri nets |v Congresses. | |
| 650 | 0 | |a Set theory |v Congresses. | |
| 650 | 4 | |a Algebra, Boolean |v Congresses. | |
| 650 | 4 | |a Algebra, Boolean. | |
| 650 | 4 | |a Logic, Symbolic and mathematical |v Congresses. | |
| 650 | 4 | |a Logic, Symbolic and mathematical. | |
| 650 | 4 | |a Logic. | |
| 650 | 4 | |a Petri nets |v Congresses. | |
| 650 | 4 | |a Petri nets. | |
| 650 | 4 | |a Philosophy. | |
| 650 | 4 | |a Quasi-metric spaces |v Congresses. | |
| 650 | 4 | |a Quasi-metric spaces. | |
| 650 | 4 | |a Set theory |v Congresses. | |
| 650 | 4 | |a Set theory. | |
| 650 | 4 | |a Theoretical Philosophy. | |
| 650 | 4 | |a Mathematik. | |
| 650 | 6 | |a Logique symbolique et mathématique |v Congrès. | |
| 650 | 6 | |a Algèbre de Boole |v Congrès. | |
| 650 | 6 | |a Espaces quasi-métriques |v Congrès. | |
| 650 | 6 | |a Réseaux de Pétri |v Congrès. | |
| 650 | 6 | |a Théorie des ensembles |v Congrès. | |
| 650 | 7 | |a MATHEMATICS |x General. |2 bisacsh | |
| 650 | 7 | |a Algebra, Boolean. |2 fast |0 (OCoLC)fst00804924 | |
| 650 | 7 | |a Logic, Symbolic and mathematical. |2 fast |0 (OCoLC)fst01002068 | |
| 650 | 7 | |a Petri nets. |2 fast |0 (OCoLC)fst01059237 | |
| 650 | 7 | |a Quasi-metric spaces. |2 fast |0 (OCoLC)fst01085477 | |
| 650 | 7 | |a Set theory. |2 fast |0 (OCoLC)fst01113587 | |
| 655 | 7 | |a Conference papers and proceedings. |2 fast |0 (OCoLC)fst01423772 | |
| 700 | 1 | |a Diener, Hannes, |e editor. | |
| 700 | 1 | |a Spreen, Dieter, |e editor. | |
| 776 | 0 | 8 | |i Print version: |z 9781614517832 |
| 830 | 0 | |a Ontos mathematical logic. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=852724 |z Texto completo |
| 880 | 0 | 0 | |6 505-00/(S |t Frontmatter -- |t Preface -- |t Contents -- |t The life and work of Victor L. Selivanov / |r Spreen, Dieter -- |t Tight extensions of T / |r Agyingi, Collins Amburo ; Haihambo, Paulus ; Künzi, Hans-Peter A. -- |t On the strongly bounded turing degrees of simple sets / |r Klaus, Ambos-Spies -- |t Levels of discontinuity, limit-computability, and jump operators / |r Matthew, de Brecht -- |t The wadge hierarchy of Petri Nets ω-languages / |r Duparc, Jacques ; Finkel, Olivier ; Ressayre, Jean-Pierre -- |t Diophantine properties of brownian motion: recursive aspects / |r Fouché, Willem L. -- |t The completeness of isomorphism / |r Friedman, Sy-David -- |t Complexity issues for Preorders on finite labeled forests / |r Hertling, Peter ; Selivanov, Victor -- |t Boolean algebras of regular quasi-aperiodic languages / |r Konovalov, Anton -- |t A simple indeterminate infinite game / |r Kopczynski, Eryk ; Niwinski, Damian -- |t Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / |r Luca, Motto Ros ; Schlicht, Philipp -- |t ON THE EQUIVALENCE OF PARACONSISTENT AND EXPLOSIVE VERSIONS OF NELSON LOGIC / |r Odintsov, Sergey -- |t COMPUTING CLEBSCH-GORDAN MATRICES WITH APPLICATIONS IN ELASTICITY THEORY / |r Selivanova, Svetlana -- |t AN APPROACH TO DESIGN OF AUTOMATA-BASED AXIOMATIZATION FOR PROPOSITIONAL PROGRAM AND TEMPORAL LOGICS (BY EXAMPLE OF LINEAR TEMPORAL LOGIC) / |r Shilov, Nikolay V. -- |t PARTIAL NUMBERINGS AND PRECOMPLETENESS / |r Spreen, Dieter -- |t AN ISOMORPHISM THEOREM FOR PARTIAL NUMBERINGS / |r Spreen, Dieter -- |t TWO THEOREMS ON THE HAUSDORFF MEASURE OF REGULAR ω-LANGUAGES / |r Staiger, Ludwig -- |t SOME NOTES ON THE UNIVERSALITY OF THREE-ORDERS ON FINITE LABELED POSETS / |r Zhukov, Anton V. -- |t INDEX. |
| 938 | |a YBP Library Services |b YANK |n 11902043 | ||
| 938 | |a YBP Library Services |b YANK |n 11719964 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n cis27984278 | ||
| 938 | |a EBSCOhost |b EBSC |n 852724 | ||
| 938 | |a ebrary |b EBRY |n ebr11006242 | ||
| 938 | |a ProQuest Ebook Central |b EBLB |n EBL1652547 | ||
| 938 | |a De Gruyter |b DEGR |n 9781614518044 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26196647 | ||
| 938 | |a Askews and Holts Library Services |b ASKH |n AH26834397 | ||
| 994 | |a 92 |b IZTAP | ||