語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

Trends in Logic, Studia Logica Library ;

書目資訊

A geometry of approximationrough set...

~

Chakraborty, Mihir.

A geometry of approximationrough set theory: logic, algebra and topology of Conceptual Patterns /

by: Chakraborty, Mihir.

Descriptor revisionbelief change thr...

~

Hansson, Sven Ove.

Descriptor revisionbelief change through direct choice /

by: Hansson, Sven Ove.

Meaning and proscription in formal l...

~

Ferguson, Thomas Macaulay.

Meaning and proscription in formal logicvariations on the propositional logic of William T. Parry /

by: Ferguson, Thomas Macaulay.

Contradictions, from consistency to ...

~

Carnielli, Walter.

Contradictions, from consistency to inconsistency

by: Carnielli, Walter.

Quantum computation and logichow qua...

~

Dalla Chiara, Maria Luisa.

Quantum computation and logichow quantum computers have inspired logical investigations /

by: Dalla Chiara, Maria Luisa.

Heyting algebrasduality theory /

~

Bezhanishvili, Guram.

Heyting algebrasduality theory /

by: Bezhanishvili, Guram.

A model-theoretic approach to proof ...

~

Adamowicz, Zofia.

A model-theoretic approach to proof theory

by: Adamowicz, Zofia.

Foundations of the theory of parthoo...

~

Pietruszczak, Andrzej.

Foundations of the theory of parthooda study of mereology /

by: Pietruszczak, Andrzej.

Well-quasi orders in computation, lo...

~

Schuster, Peter M.

Well-quasi orders in computation, logic, language and reasoninga unifying concept of proof theory, automata theory, formal languages and descriptive set theory /

by: Schuster, Peter M.

Algebraic perspectives on substructu...

~

Fazio, Davide.

Algebraic perspectives on substructural logics

by: Fazio, Davide.

Logic in high definitiontrends in lo...

~

Giordani, Alessandro.

Logic in high definitiontrends in logical semantics /

by: Giordani, Alessandro.

Logical studies of paraconsistent re...

~

Andreas, Holger.

Logical studies of paraconsistent reasoning in science and mathematics

by: Andreas, Holger.

Recent trends in philosophical logic

~

Ciuni, Roberto.

Recent trends in philosophical logic

by: Ciuni, Roberto.

Logic and implicationan introduction...

~

Cintula, Petr.

Logic and implicationan introduction to the general algebraic study of non-classical logics /

by: Cintula, Petr.

Anaphora and Type Logical Grammar /

by: Jager, Gerhard.

Logics of variable inclusion

by: Bonzio, Stefano.

The logical writings of Karl Popper

by: Binder, David.

Inquisitive logicconsequence and inference in the realm of questions /

by: Ciardelli, Ivano.

Metainferential logics

by: Da Re, Bruno.

變更密碼

登入