Logic, Construction, Computation
Latest Publications

TOTAL DOCUMENTS

24

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By DE GRUYTER

9783110324921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

About the Strength of Operational Regularity Dedicated to Helmut Schwichtenberg on his retirement

Logic, Construction, Computation ◽

10.1515/9783110324921.305 ◽

2013 ◽

Author(s):

Gerhard Jäger ◽

Rico Zumbrunnen

Download Full-text

Contributors

Logic, Construction, Computation ◽

10.1515/9783110324921.7 ◽

2013 ◽

Download Full-text

Formal Baire Space in Constructive Set Theory

Logic, Construction, Computation ◽

10.1515/9783110324921.123 ◽

2013 ◽

Author(s):

Giovanni Curi ◽

Michael Rathjen

Keyword(s):

Baire Space ◽

Constructive Set Theory

Download Full-text

Preface

Logic, Construction, Computation ◽

10.1515/9783110324921.2 ◽

2013 ◽

Author(s):

Ulrich Berger ◽

Hannes Diener ◽

Peter Schuster ◽

Monika Seisenberger

Download Full-text

A Hierarchy of Ramified Theories Below PRA

Logic, Construction, Computation ◽

10.1515/9783110324921.475 ◽

2013 ◽

Author(s):

Elliott J. Spoors ◽

Stanley S. Wainer

Download Full-text

Constructive Solutions of Ordinary Differential Equations

Logic, Construction, Computation ◽

10.1515/9783110324921.67 ◽

2013 ◽

Author(s):

Douglas S. Bridges

Keyword(s):

Differential Equations ◽

Ordinary Differential Equations

Download Full-text

Another Unique Weak König’s Lemma WKL!! For Helmut Schwichtenberg, with respect and appreciation for his encouragement and friendship.

Logic, Construction, Computation ◽

10.1515/9783110324921.343 ◽

2013 ◽

Author(s):

Joan Rand Moschovakis

Keyword(s):

Weak König’S Lemma ◽

König’S Lemma

Download Full-text

On the Relation Between Various Negative Translations

Logic, Construction, Computation ◽

10.1515/9783110324921.227 ◽

2013 ◽

Author(s):

Gilda Ferreira ◽

Paulo Oliva

Keyword(s):

Negative Translations

Download Full-text

Axiomatizing Truth: Why and How? For Helmut Schwichtenberg on the occasion of his 70th birthday

Logic, Construction, Computation ◽

10.1515/9783110324921.185 ◽

2013 ◽

Author(s):

Solomon Feferman

Keyword(s):

Download Full-text

A Finite Axiomatisation of Inductive-Inductive Definitions

Logic, Construction, Computation ◽

10.1515/9783110324921.259 ◽

2013 ◽

Author(s):

Fredrik Nordvall Forsberg ◽

Anton Setzer

Keyword(s):

Inductive Definitions

Download Full-text