UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Logic Colloquium '90: ASL Summer Meeting in Helsinki

1, 2017

Volltextzugriff (PDF)

Variability and changes of Arctic sea ice draft distribution – submarine sonar measurements revisited

The cryosphere, 2011-01, Vol.5 (4), p.917-929

2011

Volltextzugriff (PDF)

Logic Colloquium '90

2017

Volltextzugriff (PDF)

Logic Colloquium '90, 2017, p.ix-x

Oikkonen, Juha

2017

Volltextzugriff (PDF)

Frontmatter

Logic Colloquium '90, 2017, p.i-iv

Oikkonen, Juha

2017

Volltextzugriff (PDF)

Miscellaneous Frontmatter

Logic Colloquium '90, 2017, p.vii-viii

Oikkonen, Juha

2017

Volltextzugriff (PDF)

Gentzen-type systems and resolution rule. Part II. Predicate logic

Logic Colloquium '90, 2017, Vol.Series Number 2, p.163-190

2017

Volltextzugriff (PDF)

On the geometry of U-rank 2 types

Logic Colloquium '90, 2017, Vol.Series Number 2, p.10-24

2017

Volltextzugriff (PDF)

About the irreflexivity hypothesis for free left distributive magmas

Logic Colloquium '90, 2017, Vol.Series Number 2, p.46-61

2017

Volltextzugriff (PDF)

Absoluteness for projective sets

Logic Colloquium '90, 2017, Vol.Series Number 2, p.145-154

2017

Volltextzugriff (PDF)

Sense and denotation as algorithm and value

Logic Colloquium '90, 2017, Vol.Series Number 2, p.210-249

2017

Volltextzugriff (PDF)

Decidability questions for theories of modules

Logic Colloquium '90, 2017, Vol.Series Number 2, p.266-280

2017

Volltextzugriff (PDF)

On similarities of complete theories

Logic Colloquium '90, 2017, Vol.Series Number 2, p.259-265

2017

Volltextzugriff (PDF)

A note on the ordinal analysis of KPM

Logic Colloquium '90, 2017, Vol.Series Number 2, p.1-9

2017

Volltextzugriff (PDF)

Temporal expressive completeness in the presence of gaps

Logic Colloquium '90, 2017, Vol.Series Number 2, p.89-121

2017

Volltextzugriff (PDF)

Labelled deductive systems: a position paper

Logic Colloquium '90, 2017, Vol.Series Number 2, p.66-88

2017

Volltextzugriff (PDF)

An intuitionistic theory of lawlike, choice and lawless sequences

Logic Colloquium '90, 2017, Vol.Series Number 2, p.191-209

2017

Volltextzugriff (PDF)

Definability and global degree theory

Logic Colloquium '90, 2017, Vol.Series Number 2, p.25-45

2017

Volltextzugriff (PDF)

On the structure of gamma degrees

Logic Colloquium '90, 2017, Vol.Series Number 2, p.290-305

2017

Volltextzugriff (PDF)

A transfinite version of Puiseux's theorem, with applications to real closed fields

Logic Colloquium '90, 2017, Vol.Series Number 2, p.250-258

2017

Volltextzugriff (PDF)

A division algorithm for the free left distributive algebra

Logic Colloquium '90, 2017, Vol.Series Number 2, p.155-162

2017

Volltextzugriff (PDF)

New foundations for mathematical theories

Logic Colloquium '90, 2017, Vol.Series Number 2, p.122-144

2017

Volltextzugriff (PDF)

Invited talks of Logic Colloquium '90

Logic Colloquium '90, 2017, Vol.Series Number 2

2017

Volltextzugriff (PDF)

Series information

Logic Colloquium '90, 2017, Vol.Series Number 2

2017

Volltextzugriff (PDF)

Foreword

Logic Colloquium '90, 2017, Vol.Series Number 2

2017

Volltextzugriff (PDF)

1 – 25 von 271

Menü

Weitere Dienste

Einstellungen

Logic Colloquium '90: ASL Summer Meeting in Helsinki

Variability and changes of Arctic sea ice draft distribution – submarine sonar measurements revisited

Logic Colloquium '90

Contents

Frontmatter

Miscellaneous Frontmatter

Gentzen-type systems and resolution rule. Part II. Predicate logic

On the geometry of U-rank 2 types

About the irreflexivity hypothesis for free left distributive magmas

Absoluteness for projective sets

Sense and denotation as algorithm and value

Decidability questions for theories of modules

On similarities of complete theories

A note on the ordinal analysis of KPM

Temporal expressive completeness in the presence of gaps

Labelled deductive systems: a position paper

An intuitionistic theory of lawlike, choice and lawless sequences

Definability and global degree theory

On the structure of gamma degrees

A transfinite version of Puiseux's theorem, with applications to real closed fields

A division algorithm for the free left distributive algebra

New foundations for mathematical theories

Invited talks of Logic Colloquium '90

Series information

Foreword

Suchergebnisse filtern