Trends in logic : Studia logica library
Titelvariant: TREN
| rdfs:label | "Trends in logic : Studia logica library" |
| schema:name | "Trends in logic : Studia logica library" |
| schema:description | "Titelvariant: TREN" |
| "Vanaf 2005 uitg.: Dordrecht : Springer; Ook: Dordrecht [etc.]" | |
|
schema:same |
<http:/ |
|
schema:main |
<https:/ |
|
kbdef:has |
Trends in logic : Studia logica library |
|
http:/ |
"1997" |
|
schema:in |
"en" |
| schema:issn | "15726126" |
| schema:publication |
<https:/ |
Inverse relations
[ .. ] → schema:isPartOf → Trends in logic : Studia logica library
A guide to classical and modern model theory / by Annalisa Marcja and Carlo Toffalorischema:ProductModel
Advances in natural deduction : a celebration of Dag Prawitz's work / Luiz Carlos Pereira, Edward Hermann Haeusler, Valeria de Paiva, editorsschema:ProductModel
Algebraic foundations of many-valued reasoning / Roberto L.O. Cignoli, Itala M.L. D'Ottaviano and Daniele Mundicischema:ProductModel
Anaphora and type logical grammar / by Gerhard Jägerschema:ProductModel
Classical and new paradigms of computation and their complexity hierarchies : papers of the conference "Foundations of the Formal Sciences III / edited by Benedikt Löwe, Boris Piwinger and Thoralf Räschschema:ProductModel
Cut elimination in categories / Kosta Došenschema:ProductModel
Displaying modal logic / Heinrich Wansingschema:ProductModel
Dual tableaux: foundations, methodology, case studies / Ewa Orłowska, Joanna Golińska-Pilarekschema:ProductModel
Foundation[s] of the formal sciences II : applications of mathematical logic in philosophy and linguistics : papers of a conference held in Bonn, November 10-13, 2000 / ed. by Benedikt Löwe, Wolfgang Malzkom [i.e. Malzkorn], Thoralf Räschschema:ProductModel
Freedom and enforcement in action : a study in formal action theory / Janusz Czelakowskischema:ProductModel
Fuzzy logic : mathematical tools for approximate reasoning / Giangiacomo Gerlaschema:ProductModel
Gentzen calculi for modal propositional logic / Francesca Poggiolesischema:ProductModel
Logic for concurrency and synchronisation / ed. by Ruy J.G.B. de Queirozschema:ProductModel
Logic, action and cognition : essays in philosophical logic / ed. by Eva Ejerhed and Sten Lindströmschema:ProductModel
Logic, language and reasoning : essays in honour of Dov Gabbay / ed. by Hans Jürgen Ohlbach and Uwe Reyleschema:ProductModel
Metamathematics of fuzzy logic / Petr Hájekschema:ProductModel
Natural deduction, hybrid systems and modal logics / Andrzej Indrzejczakschema:ProductModel
Paradoxes / Piotr Łukowski ; [transl. from the Polish by Marek Gensler]schema:ProductModel
Philosophy of syntax : foundational topics / Mieszko Tałasiewiczschema:ProductModel
Probabilistic logic in a coherent setting / Giulianella Coletti, Romano Scozzafavaschema:ProductModel
... show all 33