X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Online Resource
    Online Resource
    Logic, Computation, Hierarchies / (2014)
    Berlin ; : De Gruyter,
    Details
    UID:
    almahu_9949474038402882
    Format: 1 online resource (414 p.)
    ISBN: 9781614518044 , 9783110238570
    Series Statement: Ontos Mathematical Logic , 4
    Content: 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.
    Note: Frontmatter -- , 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 -- , Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces -- , ON 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 , Issued also in print. , Mode of access: Internet via World Wide Web. , In English.
    In: DGBA Backlist Complete English Language 2000-2014 PART1, De Gruyter, 9783110238570
    In: DGBA Backlist Philosophy 2000-2014 (EN), De Gruyter, 9783110238488
    In: DGBA Philosophy 2000 - 2014, De Gruyter, 9783110636949
    In: EBOOK PACKAGE Complete Package 2014, De Gruyter, 9783110369526
    In: EBOOK PACKAGE Philosophy 2014, De Gruyter, 9783110370393
    Additional Edition: ISBN 9781614519409
    Additional Edition: ISBN 9781614517832
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2600
    Keywords: Electronic books. ; Aufsatzsammlung ; Bibliografie
    DOI: 10.1515/9781614518044
    URL: https://doi.org/10.1515/9781614518044
    URL: https://www.degruyter.com/isbn/9781614518044
    URL: Cover
    URL: Click to View
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: lizenzpflichtig
    URL: Cover
    URL: Inhaltstext
    URL: Cover
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    Stabi Berlin
    HU Berlin
    UB Potsdam
  • 2
    Online Resource
    Online Resource
    Logic, Construction, Computation / (2013)
    Berlin ; : De Gruyter,
    Details
    UID:
    almahu_9949473986002882
    Format: 1 online resource (542 p.) : , Zahlr. Abb.
    ISBN: 9783110324921 , 9783110238570
    Series Statement: Ontos Mathematical Logic , 3
    Content: Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.
    Note: Frontmatter -- , Preface -- , Contents -- , Contributors -- , A New Use of Friedman's Translation: Interactive Realizability -- , Polymorphic Logic -- , Constructive Solutions of Ordinary Differential Equations -- , A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy -- , Conservativity of transitive closure over weak constructive operational set theory -- , Formal Baire Space in Constructive Set Theory -- , Functional Interpretations of Classical and Constructive Set Theory -- , Weak Theories of Truth and Explicit Mathematics -- , Axiomatizing Truth: Why and How? -- , On the Strength of some Semi-Constructive Theories -- , On the Relation Between Various Negative Translations -- , A Finite Axiomatisation of Inductive-Inductive Definitions -- , Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi -- , About the Strength of Operational Regularity -- , Non-Deterministic Epsilon Substitution for ID1: Effective Proof -- , Another Unique Weak König's Lemma WKL!! -- , The Continuous Functionals as Limit Spaces -- , Provably Recursive Functions of Reflection -- , A Hierarchy of Ramified Theories Below PRA -- , Representing L-Domains as Information Systems , Issued also in print. , Mode of access: Internet via World Wide Web. , In English.
    In: DGBA Backlist Complete English Language 2000-2014 PART1, De Gruyter, 9783110238570
    In: DGBA Backlist Philosophy 2000-2014 (EN), De Gruyter, 9783110238488
    In: DGBA Philosophy 2000 - 2014, De Gruyter, 9783110636949
    In: eBook Package De Gruyter Ontos 2002-2012, De Gruyter, 9783110331226
    In: eBook Paket De Gruyter Ontos 2002-2012, De Gruyter, 9783110331219
    Additional Edition: ISBN 9783110324532
    Language: English
    DOI: 10.1515/9783110324921
    URL: https://doi.org/10.1515/9783110324921
    URL: https://www.degruyter.com/isbn/9783110324921
    URL: Cover
    URL: Volltext
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    URL: Inhaltstext
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Online Access
    Open Access Request
    HU Berlin
    UB Potsdam
  • 3
    Book
    Book
    Logic, computation, hierarchies / (2014)
    Boston, Mass. ; Berlin :de Gruyter,
    Details
    UID:
    almahu_BV042031440
    Format: X, 413 S. : , Ill. ; , 24 cm.
    ISBN: 978-1-61451-783-2
    Series Statement: Ontos mathematical logic 4
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2600
    Keywords: Berechnungstheorie ; 1952- Selivanov, Viktor ; Aufsatzsammlung ; Bibliografie ; Festschrift
    URL: http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027472875&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
    Author information: Brattka, Vasco.
    Author information: Selivanov, Viktor, 1952-
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Book
    HU Berlin get availability status
    Berlin VÖBB/ZLB get availability status
  • 4
    Online Resource
    Online Resource
    Logic, Construction, Computation / (2012)
    Berlin/Boston :De Gruyter,
    Details
    UID:
    edocfu_9958354147802883
    Format: 1 online resource(542p.) : , illustrations.
    Edition: Electronic reproduction. Berlin/Boston : De Gruyter, 2012. Mode of access: World Wide Web.
    Edition: System requirements: Web browser.
    Edition: Access may be restricted to users at subscribing institutions.
    ISBN: 9783110324921
    Series Statement: Ontos Mathematical Logic; 3
    Content: Over the last few decades the interest of logicians and mathematicians in constructive and computational aspects of their subjects has been steadily growing, and researchers from disparate areas realized that they can benefit enormously from the mutual exchange of techniques concerned with those aspects. A key figure in this exciting development is the logician and mathematician Helmut Schwichtenberg to whom this volume is dedicated on the occasion of his 70th birthday and his turning emeritus. The volume contains 20 articles from leading experts about recent developments in Constructive set theory, Provably recursive functions, Program extraction, Theories of truth, Constructive mathematics, Classical vs. intuitionistic logic, Inductive definitions, and Continuous functionals and domains.
    Note: Frontmatter -- , Preface / , Contents -- , Contributors -- , A New Use of Friedman’s Translation: Interactive Realizability / , Polymorphic Logic / , Constructive Solutions of Ordinary Differential Equations / , A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy / , Conservativity of transitive closure over weak constructive operational set theory / , Formal Baire Space in Constructive Set Theory / , Functional Interpretations of Classical and Constructive Set Theory / , Weak Theories of Truth and Explicit Mathematics / , Axiomatizing Truth: Why and How? / , On the Strength of some Semi-Constructive Theories / , On the Relation Between Various Negative Translations / , A Finite Axiomatisation of Inductive-Inductive Definitions / , Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi / , About the Strength of Operational Regularity / , Non-Deterministic Epsilon Substitution for ID1: Effective Proof / , Another Unique Weak König’s Lemma WKL!! / , The Continuous Functionals as Limit Spaces / , Provably Recursive Functions of Reflection / , A Hierarchy of Ramified Theories Below PRA / , Representing L-Domains as Information Systems / , Also available in print edition. , In English.
    Additional Edition: ISBN 9783110324532
    Additional Edition: ISBN 9783110324938
    Language: English
    DOI: 10.1515/9783110324921
    URL: https://doi.org/10.1515/9783110324921
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 5
    Online Resource
    Online Resource
    Logic, Computation, Hierarchies / (2014)
    Berlin/Boston :De Gruyter,
    Details
    UID:
    edocfu_9958353588102883
    Format: 1 online resource(x,414p.) : , illustrations.
    Edition: Electronic reproduction. Berlin/Boston : De Gruyter. Mode of access: World Wide Web.
    Edition: System requirements: Web browser.
    Edition: Access may be restricted to users at subscribing institutions.
    ISBN: 9781614518044
    Series Statement: Ontos Mathematical Logic; 4
    Content: 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.
    Note: Frontmatter -- , Preface -- , Contents -- , The life and work of Victor L. Selivanov / , Tight extensions of T / , 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 / , Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / , ON 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. , Also available in print edition. , In English.
    Additional Edition: ISBN 9781614517832
    Additional Edition: ISBN 9781614518051
    Language: English
    DOI: 10.1515/9781614518044
    URL: https://doi.org/10.1515/9781614518044
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
  • 6
    Online Resource
    Online Resource
    Logic, computation, hierarchies / (2014)
    Boston :De Gruyter,
    Details
    UID:
    edocfu_9959230313402883
    Format: 1 online resource (424 p.)
    Edition: 1st ed.
    ISBN: 1-61451-940-4 , 1-61451-804-1
    Series Statement: Ontos mathematical logic, volume 4
    Content: 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.
    Note: Description based upon print version of record. , Front matter -- , 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 / , Lipschitz and uniformly continuous Reducibilities on Ultrametric polish spaces / , ON 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 , Issued also in print. , English
    Additional Edition: ISBN 1-61451-783-5
    Language: English
    Subjects: Philosophy
    RVK:
    CC 2600
    DOI: 10.1515/9781614518044
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
    Online Resource
    Open Access Request
    FU Berlin
Nothing or not found what you are looking for? Please check your search query or use the Interlibrary Loan Search.
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages