A Mathematical Introduction to Logic عنوان فارسی: ریاضی مقدمه ای بر منطق نویسنده(گان): H. B. Enderton سال انتشار: 1972 دسته بندی: ریاضیات، منطق
Resource Logics: Proof-theoretical Investigations [PhD Thesis] عنوان فارسی: منطق منابع: تحقیق اثبات نظری [پایان نامه دکترا] نویسنده(گان): Dirk Roorda سال انتشار: 1991 دسته بندی: ریاضیات، منطق
The Noble Art of Linear Decorating [PhD Thesis] عنوان فارسی: اصیل هنر خطی تزئینات [پایان نامه دکترا] نویسنده(گان): Harold Schellinx سال انتشار: 1994 دسته بندی: ریاضیات، منطق
Fragments of Fixpoint Logics. Automata and Expressiveness [PhD Thesis] عنوان فارسی: قطعاتی از Fixpoint منطق. نویسنده(گان): Facundo Matias Carreiro سال انتشار: 2015 دسته بندی: ریاضیات، منطق
Correspondence and Canonicity in Non-Classical Logic [PhD Thesis] عنوان فارسی: مکاتبات و یگانی در منطق غیر کلاسیک [پایان نامه دکترا] نویسنده(گان): Sumit Sourabh سال انتشار: 2015 دسته بندی: ریاضیات، منطق
Orthogonality and Quantum Geometry: Towards a Relational Reconstruction of Quantum Theory [PhD Thesis] عنوان فارسی: تعامد و کوانتومی هندسه: به سوی یک بازسازی رابطه تئوری کوانتوم [پایان نامه دکترا] نویسنده(گان): Shengyang Zhong سال انتشار: 2015 دسته بندی: ریاضیات، منطق
A Matter of Trust. Dynamic Attitudes in Epistemic Logic [PhD Thesis] عنوان فارسی: یک ماده از اعتماد. نویسنده(گان): Ben Rodenhäuser سال انتشار: 2014 دسته بندی: ریاضیات، منطق
The Algorithmic Mind: A Study of Inference in Action [PhD Thesis] عنوان فارسی: الگوریتمی ذهن: مطالعه استنتاج در عمل [پایان نامه دکترا] نویسنده(گان): Thomas F. Icard, III سال انتشار: 2014 دسته بندی: ریاضیات، منطق
Quantum Entanglement in Non-local Games, Graph Parameters and Zero-error Information Theory [PhD Thesis] عنوان فارسی: درهمتنیدگی کوانتومی در بازی های غیر محلی، پارامترهای نمودار و صفر خطا تئوری اطلاعات [پایان نامه دکترا] نویسنده(گان): Giannicola Scarpa سال انتشار: 2013 دسته بندی: ریاضیات، منطق
Playing with Knowledge and Belief [PhD Thesis] عنوان فارسی: بازی با دانش و اعتقاد [پایان نامه دکترا] نویسنده(گان): Virginie Fiutek سال انتشار: 2013 دسته بندی: ریاضیات، منطق
Logics of Communication and Knowledge [PhD Thesis] عنوان فارسی: منطق ارتباطات و دانش [پایان نامه دکترا] نویسنده(گان): Floor Anna Gineke Sietsma سال انتشار: 2012 دسته بندی: ریاضیات، منطق
Knowing What Follows: Epistemic Closure and Epistemic Logic [PhD Thesis] عنوان فارسی: دانستن اینکه چه چیزی را دنبال: معرفتی بسته شدن و معرفتی منطق [پایان نامه دکترا] نویسنده(گان): Wesley H. Holliday سال انتشار: 2012 دسته بندی: ریاضیات، منطق
The Dynamics of Imperfect Information [PhD Thesis] عنوان فارسی: دینامیک از اطلاعات ناقص [پایان نامه دکترا] نویسنده(گان): Pietro Galliani سال انتشار: 2012 دسته بندی: ریاضیات، منطق
Complexity in Interaction [PhD Thesis] عنوان فارسی: پیچیدگی در تعامل [پایان نامه دکترا] نویسنده(گان): Lena Kurzen سال انتشار: 2011 دسته بندی: ریاضیات، منطق
Modalities Through the Looking Glass [PhD Thesis] عنوان فارسی: روش طریق شیشه به دنبال [پایان نامه دکترا] نویسنده(گان): Raul Andres Leal سال انتشار: 2011 دسته بندی: ریاضیات، منطق
Dynamic-Epistemic Logic of Questions and Inquiry [PhD Thesis] عنوان فارسی: پویا-معرفتی منطق سوالات و درخواست [پایان نامه دکترا] نویسنده(گان): Stefan A. Minica سال انتشار: 2011 دسته بندی: ریاضیات، منطق
Characterizing All Models in Infinite Cardinalities [PhD Thesis] عنوان فارسی: مشخص در تمام مدل های Cardinalities بی نهایت [پایان نامه دکترا] نویسنده(گان): Lauri Keskinen سال انتشار: 2011 دسته بندی: ریاضیات، منطق
Small Steps in Dynamics of Information [PhD Thesis] عنوان فارسی: گام های کوچک در دینامیک اطلاعات [پایان نامه دکترا] نویسنده(گان): Fernando Raymundo Velazquez Quesada سال انتشار: 2011 دسته بندی: ریاضیات، منطق
Modal Fixpoint Logic: Some model theoretic questions [PhD Thesis] عنوان فارسی: معین Fixpoint منطق: برخی از مدل سوالات نظری [پایان نامه دکترا] نویسنده(گان): Gaelle Fontaine سال انتشار: 2010 دسته بندی: ریاضیات، منطق
Fixed-Point Logics on Trees [PhD Thesis] عنوان فارسی: نقطه ثابت منطق در درختان [پایان نامه دکترا] نویسنده(گان): Amelie Gheerbrant سال انتشار: 2010 دسته بندی: ریاضیات، منطق