فرزانگی
درون شدن
هموندی
دانشنامه
فرزانگی
گویایی
انگارش
رایانش
هستیشناسی
پارسیگردان
ویراستار
آزمایشگاه گویایی
تالار ناموران
نبیگخانه
واژهنامه
درباره
Logical-Historical Analysis of Gödel's Metatheorem in Modal Logic
افشین پوریا
The Correspondence between Intuitionistic and superIntuitionistic logic and modal logic S4 and above S4
افشین پوریا
Investigations in the foundations of set theory I
(1908)
ارنست فردریش فردیناند تسرملو
نگرهی هنگرد
درآمدی به گویایی ناکلاسیک
(2020 – 2021)
افشین پوریا
Zur Logik der Modalitäten
(1930)
Oskar Becker
Metaphysics, A Contemporary Introduction
(1998)
Michael J. Loux
Introduction to Algorithms
(2009)
کلیفورد استین
رونالد ریوست
چارلز ای لیزرسان
توماس اچ کورمن
Tractatus Logico-Philosophicus
(1921)
لودویگ ویتگنشتاین
Philosophical Investigations
(1953)
لودویگ ویتگنشتاین
Blue Book
(1933 – 1934)
لودویگ ویتگنشتاین
Principia Mathematica
(1910 – 1913)
آلفرد نورث وایتهد
برتراند راسل
On Certainty
(1960)
لودویگ ویتگنشتاین
Aristotle’s Logic
(2016 – 2021)
پاول پارسی
رهام اشه
بزرگمهر لقمان
Begriffsschrift
(1879)
گوتلوب فرگه
The Compendious Book on Calculation by Completion and Balancing
محمد ابن موسی خوارزمی
The Mathematical Analysis of Logic
(1847)
جورج بول
On Denoting
(1905)
برتراند راسل
An Interpretation of the Intuitionistic Propositional Calculus
(1933)
کورت گودل
Über die Vollständigkeit des Logikkalküls
(1929)
کورت گودل
نگرهی نمونه
The Completeness of the First-Order Functional Calculus
(1949)
لئون هنکین
Thinking about Mathematics
استوارت شپیرو
Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol 5
(1959)
Modal Logics between S4 and S5
(1959)
ادوارد جان لمون
مایکل دامت
گویایی سویی گزارهای
Naming and Necessity
(1972)
سول کریپکی
Logics for Computer Science, Classical and Non-Classical
(2018)
آنیتا واسیلوسکا
Substructural Logics
(1993)
Kosta Došen
Peter Schroeder-Heister
گویاییهای زیرساختاری
The Laws of Thought
جورج بول
An Introduction to Modal Logic
(1968)
جورج ادوارد هیوز
ماکسول جان کرسول
گویایی سویی
A New Introduction to Modal Logic
(1996)
جورج ادوارد هیوز
ماکسول جان کرسول
گویایی سویی
Some Theorems About the Sentential Calculi of Lewis and Heyting
(1948)
مک کینزی
آلفرد تارسکی
A Solution of the Decision Problem for the Lewis systems S2 and S4, with an Application to Topology
(1941)
مک کینزی
Zum Lewisschen Aussagenkalkül
(1932)
ویلیام پری
Ueber eine Eigenschaft des Inbegriffes aller reellen algebraischen Zahlen
(1874)
گئورگ کانتور
نگرهی هنگرد
نگرهی آسانگیرانه هنگرد
Entailment: The Logic of Relevance and Necessity
(1975)
نوئل بلنپ
آلن راس اندرسون
گویاییهای پیوند
Über Möglichkeiten im Relativkalkül
(1915)
لئوپارد لونهایم
نگرهی نمونه
Introduction to Logic and to the Methodology of Deductive Sciences
(1941)
آلفرد تارسکی
Vorlesungen über die Algebra der Logik
(1890)
ارنست شرودر
نگرهی نمونه
Die Vollständigkeit der Axiome des logischen Funktionenkalküls
(1930)
کورت گودل
نگرهی نمونه
Entailment: The Logic of Relevance and Necessity
(1992)
نوئل بلنپ
آلن راس اندرسون
گویاییهای پیوند
An Introduction to Non-Classical Logic
(2008)
گراهام پریست
Begründung Einer Strengen implikation
(1956)
ویلهلم آکرمان
گویاییهای پیوند
Logic: a Very Short Introduction
(2000)
گراهام پریست
A Survey of Symbolic Logic
(1918)
کلارنس ایروینگ لوییس
Symbolic Logic
(1932)
کوپر هارولد لانگفورد
کلارنس ایروینگ لوییس
گویایی سویی
A Completeness Theorem in Modal Logic
(1959)
سول کریپکی
گویایی سویی
Semantical Considerations on Modal Logic
(1963)
سول کریپکی
گویایی سویی
A reduction in number of the postulates for C. I. Lewis' system of strict implication
(1934)
مک کینزی
