فرزانگی
درون شدن
هموندی
دانشنامه
خرددوستی
گوییک
مزداهی
رایانش
هستیشناسی
پارسیگردان
ویراستار
آزمایشگاه گوییک
تالار ناموران
نبیگخانه
واژهنامه
درباره
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)
مک کینزی
