Language: English

圖資館首頁

Login

Trends in Logic ;

書目資訊

Fuzzy logic :mathematical tools for ...

~

Gerla, Giangiacomo.

Fuzzy logic :mathematical tools for approximate /

by: Gerla, Giangiacomo.

Dialetheism and its applications

~

Rieger, Adam.

Dialetheism and its applications

by: Rieger, Adam.

Toward predicate approaches to modality

~

SpringerLink (Online service)

Toward predicate approaches to modality

by: SpringerLink (Online service)

Advances in proof-theoretic semantics

~

Piecha, Thomas.

Advances in proof-theoretic semantics

by: Piecha, Thomas.

Freedom and enforcement in actiona s...

~

Czelakowski, Janusz.

Freedom and enforcement in actiona study in formal action theory /

by: Czelakowski, Janusz.

Logics and falsificationsa new persp...

~

Kapsner, Andreas.

Logics and falsificationsa new perspective on constructivist semantics /

by: Kapsner, Andreas.

Adaptive logics for defeasible reaso...

~

SpringerLink (Online service)

Adaptive logics for defeasible reasoningapplications in argumentation, normative reasoning and default reasoning /

by: SpringerLink (Online service)

Advances in natural deductiona celeb...

~

Haeusler, Edward Hermann.

Advances in natural deductiona celebration in Dag Prawitz's work /

by: Haeusler, Edward Hermann.

Leniewski's systems of logic and fou...

~

Leniewski, Stanislaw, (1886-1939.)

Leniewski's systems of logic and foundations of mathematics

by: Leniewski, Stanislaw, (1886-1939.)

Dual tableauxfoundations, methodolog...

~

Golinska Pilarek, Joanna.

Dual tableauxfoundations, methodology, case studies /

by: Golinska Pilarek, Joanna.

Paradoxes

~

Lukowski, Piotr.

by: Lukowski, Piotr.

Advanced Lukasiewicz calculus and MV...

~

Mundici, D.

Advanced Lukasiewicz calculus and MV-algebras

by: Mundici, D.

Gentzen calculi for modal propositio...

~

Poggiolesi, Francesca.

Gentzen calculi for modal propositional logic

by: Poggiolesi, Francesca.

Methods of cut-elimination

~

Baaz, Matthias.

Methods of cut-elimination

by: Baaz, Matthias.

Natural deduction, hybrid systems an...

~

Indrzejczak, Andrzej.

Natural deduction, hybrid systems and modal logics

by: Indrzejczak, Andrzej.

Philosophy of syntaxfoundational top...

~

SpringerLink (Online service)

Philosophy of syntaxfoundational topics /

by: SpringerLink (Online service)

Classical and new paradigms of compu...

~

(1998 :)

Classical and new paradigms of computation and their complexity hierarchiespapers of the conference "Foundations of the Formal Sciences III" /

by: (1998 :)

Logic for concurrency and synchronis...

~

Queiroz, Ruy J. G. B. de.

Logic for concurrency and synchronisation

by: Queiroz, Ruy J. G. B. de.

Towards mathematical philosophypaper...

~

Makinson, David.

Towards mathematical philosophypapers from the Studia Logica Conference Trends in Logic IV /

by: Makinson, David.

Constructive Negations and Paraconsi...

~

Odintsov, Sergei P.

Constructive Negations and Paraconsistency

by: Odintsov, Sergei P.

Change password

Login