- 2 402 202 книги
#1
Gentzen Calculi for Modal Propositional Logic (Trends in Logic, 32)
Francesca PoggiolesiКатегория: Математика, Математическая логика
1.70 Mb
#2
Gentzen Calculi for Modal Propositional Logic (Trends in Logic 32)
Francesca PoggiolesiКатегория: Математика, Математическая логика
1.16 Mb
#3
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)
Jan KrajicekКатегория: Математика
2.99 Mb
#4
Lectures on Propositional Logic
Ryszard WojcickiКатегория: Математика, Математическая логика
942 Kb
#5
The Propositional Logic in Avicenna A Translation from al-Shifa al-Qiyas with Introduction, Commentary and Glossary
Nabil Shehaby
104.32 Mb
#6
The Mechanics of Meaning: Propositional Content and the Logical Space of Wittgenstein's Tractatus (Quellen Und Studien Zur Philosophie, Bd. 57)
David HyderКатегория: Образование
11.28 Mb
#7
Propositional Attitudes: The Role of Content in Logic, Language, and Mind (Center for the Study of Language and Information - Lecture Notes)
C. Anthony Anderson, Joseph OwensКатегория: Языкознание
2.43 Mb
#8
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene Cori, Daniel LascarКатегория: Математика, Прикладная математика
5.28 Mb
#10
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene Cori, Daniel Lascar
3.95 Mb
#11
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
René Cori, Daniel Lascar
8.01 Mb
#18
Bounded Arithmetic, Propositional Logic and Complexity Theory (Encyclopedia of Mathematics and its Applications)
Jan Krajicek
2.97 Mb
#20
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Kurt Gödel
657 Kb
#21
The undecidable: Basic papers on undecidable propositions, unsolvable problems and computable functions
Martin DavisКатегория: Mathematical logic
4.32 Mb
#22
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Rene Cori, Daniel Lascar, Donald H. Pelletier
12.15 Mb
#23
forallx Cambridge version
P.D. Magnus, Tim ButtonКатегория: propositional logic, predicate logic
588 Kb