Mathematics\\LogicRSS

Turing Computability: Theory and Applications

نویسندهRobert I. Soare
زبانEnglish
Natural Deduction

نویسندهMueller Anderson, J. , Johnstone, H.
زبانEnglish
Naive Set Theory

نویسندهPaul R. Halmos
زبانEnglish
Naive Set Theory

نویسندهPaul R. Halmos
زبانEnglish
The Foundations of Mathematics

نویسندهKenneth Kunen
زبانEnglish
Handbook of Deontic Logic and Normative Systems

نویسندهDov Gabbay, John Horty, Xavier Parent, Ron van der Meyd...
زبانEnglish
Resource Logics: Proof-theoretical Investigations [PhD Thesis]

نویسندهDirk Roorda
زبانEnglish
The Noble Art of Linear Decorating [PhD Thesis]

نویسندهHarold Schellinx
زبانEnglish
Handbook of Philosophical Logic. Volume IV: Topics in the Philosophy of Language

نویسندهDov M. Gabbay, Franz Guenthner (eds.)
زبانEnglish
Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis]

نویسندهFacundo Matias Carreiro
زبانEnglish
Correspondence and Canonicity in Non-Classical Logic [PhD Thesis]

نویسندهSumit Sourabh
زبانEnglish
Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory [PhD Thesis]

نویسندهShengyang Zhong
زبانEnglish
A Matter of Trust. Dynamic Attitudes in Epistemic Logic [PhD Thesis]

نویسندهBen Rodenhäuser
زبانEnglish
The Algorithmic Mind: A Study of Inference in Action [PhD Thesis]

نویسندهThomas F. Icard, III
زبانEnglish
Quantum Entanglement in Non-local Games, Graph Parameters and Zero-error Information Theory [PhD Thesis]

نویسندهGiannicola Scarpa
زبانEnglish
Playing with Knowledge and Belief [PhD Thesis]

نویسندهVirginie Fiutek
زبانEnglish
Logics of Communication and Knowledge [PhD Thesis]

نویسندهFloor Anna Gineke Sietsma
زبانEnglish
Knowing What Follows: Epistemic Closure and Epistemic Logic [PhD Thesis]

نویسندهWesley H. Holliday
زبانEnglish
The Dynamics of Imperfect Information [PhD Thesis]

نویسندهPietro Galliani
زبانEnglish
Complexity in Interaction [PhD Thesis]

نویسندهLena Kurzen
زبانEnglish