( en | de | ru )

 

Disambiguierung von "Huuskonen, Taneli"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Polish Notation.

. Formaliz. Math., 23 (3): 161-176 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Taneli Lahti

 

Weitere Publikationen von Autoren mit dem selben Namen

Comparing Notions of Similarity for Uncountable Models.. J. Symb. Log., 60 (4): 1153-1167 (1995)Observations about Scott and Karp Trees.. Ann. Pure Appl. Log., 76 (3): 201-230 (1995)On the k\kappa-cub game on land IlI., , und . Arch. Math. Log., 38 (8): 549-557 (1999)On Definability of Order in Logic with Choice., und . LICS, Seite 167-172. IEEE Computer Society, (2001)On potential isomorphism and non-structure., , und . Arch. Math. Log., 43 (1): 85-120 (2004)Tableau-based Decision Procedure for Non-Fregean Logic of Sentential Identity., , und . CADE, Volume 12699 von Lecture Notes in Computer Science, Seite 41-57. Springer, (2021)Non-Fregean Propositional Logic with Quantifiers., und . Notre Dame J. Formal Log., 57 (2): 249-279 (2016)Polish Notation.. Formaliz. Math., 23 (3): 161-176 (2015)The Construction of A Definable Non-Categorical Domain.. Math. Log. Q., 37 (13-16): 217-226 (1991)Number of Extensions of Non-Fregean Logics., und . J. Philosophical Logic, 34 (2): 193-206 (2005)