Logic, Construction, Computation / / ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger.

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 asp...

Full description

Saved in:
Bibliographic Details
Superior document:Title is part of eBook package: De Gruyter DGBA Backlist Complete English Language 2000-2014 PART1
MitwirkendeR:
HerausgeberIn:
Place / Publishing House:Berlin ;, Boston : : De Gruyter, , [2013]
©2012
Year of Publication:2013
Language:English
Series:Ontos Mathematical Logic , 3
Online Access:
Physical Description:1 online resource (542 p.) :; Zahlr. Abb.
Tags: Add Tag
No Tags, Be the first to tag this record!
LEADER 08964nam a22012735i 4500
001 9783110324921
003 DE-B1597
005 20230228123812.0
006 m|||||o||d||||||||
007 cr || ||||||||
008 230228t20132012gw fo d z eng d
019 |a (OCoLC)978593138 
020 |a 9783110324921 
024 7 |a 10.1515/9783110324921  |2 doi 
035 |a (DE-B1597)211283 
035 |a (OCoLC)853237147 
040 |a DE-B1597  |b eng  |c DE-B1597  |e rda 
041 0 |a eng 
044 |a gw  |c DE 
050 4 |a BC71  |b .L64 2012eb 
072 7 |a PHI000000  |2 bisacsh 
082 0 4 |a 511.3  |2 23 
245 0 0 |a Logic, Construction, Computation /  |c ed. by Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger. 
264 1 |a Berlin ;  |a Boston :   |b De Gruyter,   |c [2013] 
264 4 |c ©2012 
300 |a 1 online resource (542 p.) :  |b Zahlr. Abb. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
490 0 |a Ontos Mathematical Logic ,  |x 2198-2341 ;  |v 3 
505 0 0 |t Frontmatter --   |t Preface --   |t Contents --   |t Contributors --   |t A New Use of Friedman’s Translation: Interactive Realizability --   |t Polymorphic Logic --   |t Constructive Solutions of Ordinary Differential Equations --   |t A Nonstandard Hierarchy Comparison Theorem for the Slow and Fast Growing Hierarchy --   |t Conservativity of transitive closure over weak constructive operational set theory --   |t Formal Baire Space in Constructive Set Theory --   |t Functional Interpretations of Classical and Constructive Set Theory --   |t Weak Theories of Truth and Explicit Mathematics --   |t Axiomatizing Truth: Why and How? --   |t On the Strength of some Semi-Constructive Theories --   |t On the Relation Between Various Negative Translations --   |t A Finite Axiomatisation of Inductive-Inductive Definitions --   |t Some Conservative Extension Results on Classical and Intuitionistic Sequent Calculi --   |t About the Strength of Operational Regularity --   |t Non-Deterministic Epsilon Substitution for ID1: Effective Proof --   |t Another Unique Weak König’s Lemma WKL!! --   |t The Continuous Functionals as Limit Spaces --   |t Provably Recursive Functions of Reflection --   |t A Hierarchy of Ramified Theories Below PRA --   |t Representing L-Domains as Information Systems 
506 0 |a restricted access  |u http://purl.org/coar/access_right/c_16ec  |f online access with authorization  |2 star 
520 |a 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. 
530 |a Issued also in print. 
538 |a Mode of access: Internet via World Wide Web. 
546 |a In English. 
588 0 |a Description based on online resource; title from PDF title page (publisher's Web site, viewed 28. Feb 2023) 
650 0 |a Computational neuroscience. 
650 0 |a Logic. 
650 4 |a Logik. 
650 4 |a Mathematik. 
650 7 |a PHILOSOPHY / General.  |2 bisacsh 
700 1 |a Aschieri, Federico,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Berardi, Stefano,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Berger, Ulrich,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Berger, Ulrich,   |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Bickford, Mark,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Bridges, Douglas S.,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Buchholz, Wilfried,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Cantini, Andrea,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Crosilla, Laura,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Curi, Giovanni,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Diener, Hannes,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Diener, Hannes,   |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Diller, Justus,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Eberhard, Sebastian,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Feferman, Solomon,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Ferreira, Gilda,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Forsberg, Fredrik Nordvall,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Ishihara, Hajime,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Jäger, Gerhard,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Mints, Grigori,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Moschovakis, Joan Rand,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Normann, Dag,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Oliva, Paulo,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Pohlers, Wolfram,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Rathjen, Michael,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Robert, Constable,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Schuster, Peter,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Schuster, Peter,   |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Seisenberger, Monika,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Seisenberger, Monika,   |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Setzer, Anton,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Spoors, Elliott J.,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Spreen, Dieter,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Stegert, Jan–Carl,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Strahm, Thomas,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Wainer, Stanley S.,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Weiermann, Andreas,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
700 1 |a Zumbrunnen, Rico,   |e contributor.  |4 ctb  |4 https://id.loc.gov/vocabulary/relators/ctb 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DGBA Backlist Complete English Language 2000-2014 PART1  |z 9783110238570 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DGBA Backlist Philosophy 2000-2014 (EN)  |z 9783110238488 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t DGBA Philosophy 2000 - 2014  |z 9783110636949  |o ZDB-23-GPH 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t eBook Package De Gruyter Ontos 2002-2012  |z 9783110331226 
773 0 8 |i Title is part of eBook package:  |d De Gruyter  |t eBook Paket De Gruyter Ontos 2002-2012  |z 9783110331219  |o ZDB-23-DON 
776 0 |c print  |z 9783110324532 
856 4 0 |u https://doi.org/10.1515/9783110324921 
856 4 0 |u https://www.degruyter.com/isbn/9783110324921 
856 4 2 |3 Cover  |u https://www.degruyter.com/document/cover/isbn/9783110324921/original 
912 |a 978-3-11-023848-8 DGBA Backlist Philosophy 2000-2014 (EN)  |c 2000  |d 2014 
912 |a 978-3-11-023857-0 DGBA Backlist Complete English Language 2000-2014 PART1  |c 2000  |d 2014 
912 |a 978-3-11-033122-6 eBook Package De Gruyter Ontos 2002-2012  |c 2002  |d 2012 
912 |a EBA_BACKALL 
912 |a EBA_CL_PLTLJSIS 
912 |a EBA_DGALL 
912 |a EBA_EBACKALL 
912 |a EBA_EBKALL 
912 |a EBA_ECL_PLTLJSIS 
912 |a EBA_EEBKALL 
912 |a EBA_ESSHALL 
912 |a EBA_SSHALL 
912 |a GBV-deGruyter-alles 
912 |a PDA11SSHE 
912 |a PDA13ENGE 
912 |a PDA17SSHEE 
912 |a PDA5EBK 
912 |a ZDB-23-DON  |c 2002  |d 2012 
912 |a ZDB-23-GPH  |c 2000  |d 2014