Fundamentals of Finitary Proofs von Huuskonen, Taneli

Volltext

Polish Notation von Huuskonen, Taneli

Volltext

Grzegorczyk’s Logics. Part I von Huuskonen, Taneli

Volltext

Non-Fregean Propositional Logic with Quantifiers von Golińska-Pilarek, Joanna, Huuskonen, Taneli

Volltext

Relational dual tableau decision procedures and their applications to modal and intuitionistic logics von Golińska-Pilarek, Joanna, Huuskonen, Taneli, Muñoz-Velasco, Emilio

Volltext

Tableau-based decision procedure for non-Fregean logic of sentential identity von Pilarek, Joanna Golińska, Huuskonen, Taneli, Zawidzki, Michał

Volltext

Number of Extensions of Non-Fregean Logics von Golińska-Pilarek, Joanna, Huuskonen, Taneli

Volltext

Constants are definable in rings of analytic functions von Huuskonen, Taneli

Volltext

Hyers–Ulam constants of Hilbert spaces von Huuskonen, Taneli, Väısälä, Jussi

Volltext

Observations about Scott and Karp trees von Huuskonen, Taneli

Volltext

On potential isomorphism and non-structure von Rautila, Mika, Huuskonen, Taneli, Hyttinen, Tapani

Volltext

Comparing notions of similarity for uncountable models von Huuskonen, Taneli

Volltext

A Mystery of Grzegorczyk’s Logic of Descriptions von Golińska-Pilarek, Joanna, Huuskonen, Taneli

Volltext

Uniqueness of maximum values in discrete distributions von Floréen, Patrik, Huuskonen, Taneli

Volltext

On the $\kappa$ -cub game on $\lambda $ and $I[\lambda ] von Huuskonen, Taneli, Hyttinen, Tapani, Rautila, Mika

Volltext

The Construction of A Definable Non-Categorical Domain von Huuskonen, Taneli

Volltext

Uniqueness of maximum values in discrete distributions von Floréen, Patrik, Huuskonen, Taneli

Volltext

Bilipschitz extensions from smooth manifolds von Huuskonen, Taneli, Partanen, Juha, Väisälä, Jussi

Volltext