- 2 402 202 книги
- Поиск
Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic (The New Synthese Historical Library)
Автор: Adriane RiniКатегория: История
Размер книги: 2.52 Mb
The Logic System of Concept Graphs with Negation and Its Relationship to Predicate Logic (Lecture Notes in Computer Science)
Автор: Frithjof Dau
Размер книги: 1.79 Mb
Logical Properties: Identity, Existence, Predication, Necessity, Truth
Автор: Colin McGinnКатегория: Математика, Математическая логика
Размер книги: 612 Kb
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Автор: Rene Cori, Автор: Daniel LascarКатегория: Математика, Прикладная математика
Размер книги: 5.28 Mb
On the Expressive Power of First-Order Logic with Built-In Predicates
Автор: Nicole Schweikardt
Размер книги: 1.90 Mb
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Автор: Rene Cori, Автор: Daniel Lascar
Размер книги: 3.95 Mb
Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems
Автор: René Cori, Автор: Daniel Lascar
Размер книги: 8.01 Mb
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Автор: Benjamin Weiß
Размер книги: 12.96 Mb
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Автор: Makkai M.
Размер книги: 581 Kb
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Автор: Makkai M.
Размер книги: 308 Kb
The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic
Автор: Frithjof DauКатегория: CsLn_
Размер книги: 3.26 Mb
Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djvu
Автор:
Размер книги: 308 Kb
Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 1 (Notre Dame J.Formal Logic 34, p334, 1993)(600dpi)(T)(44s)_MAml_.djvu
Автор:
Размер книги: 581 Kb
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
forallx Cambridge version
Автор: P.D. Magnus, Автор: Tim ButtonКатегория: propositional logic, predicate logic
Размер книги: 588 Kb