2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
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
A modern formal logic primer: predicate theory
Автор:
Teller P.
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 2.85 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
Subject and Predicate in Logic and Grammar
Автор:
P. F. Strawson
Размер книги: 1.89 Mb
Subject and Predicate in Logic and Grammar
Автор:
P. F. Strawson
Размер книги: 1.20 Mb
The Logical Simplicity of Predicates
Автор:
Goodman Nelson
Категория:
fiction
Размер книги: 344 Kb
Fibrational formulation of intuitionistic predicate logic 1
Автор:
Makkai M.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 581 Kb
Fibrational formulation of intuitionistic predicate logic 1
Автор:
Makkai M.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 308 Kb
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
Predicative arithmetic
Автор:
Edward Nelson
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 1.07 Mb
A modern formal logic primer: predicate theory
Автор:
Paul Teller
Категория:
M_Mathematics
,
MA_Algebra
,
MAml_Mathematical logic
Размер книги: 1.80 Mb
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
forallx Cambridge Solutions Booklet
Автор:
P.D. Magnus
, Автор:
Tim Button
Категория:
propositional logic
,
predicate logic
,
solutions manual
Размер книги: 232 Kb