"predicate logic" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic (The New Synthese Historical Library)

Категория: История

2.52 Mb

#2

The Logic System of Concept Graphs with Negation and Its Relationship to Predicate Logic (Lecture Notes in Computer Science)

Frithjof Dau

1.79 Mb

#3

A modern formal logic primer: predicate theory

Teller P.

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

2.85 Mb

#4

Logical Properties: Identity, Existence, Predication, Necessity, Truth

Категория: Математика, Математическая логика

612 Kb

#5

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar

Категория: Математика, Прикладная математика

5.28 Mb

#6

On the Expressive Power of First-Order Logic with Built-In Predicates

Nicole Schweikardt

1.90 Mb

#7

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

Rene Cori, Daniel Lascar

3.95 Mb

#8

Mathematical Logic: A Course with Exercises Part I: Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems

René Cori, Daniel Lascar

8.01 Mb

#9

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Benjamin Weiß

12.96 Mb

#10

Subject and Predicate in Logic and Grammar

P. F. Strawson

1.89 Mb

#11

Subject and Predicate in Logic and Grammar

P. F. Strawson

1.20 Mb

#12

The Logical Simplicity of Predicates

Категория: fiction

344 Kb

#13

Fibrational formulation of intuitionistic predicate logic 1

Makkai M.

Категория: Mathematics, Algebra, Mathematical logic

581 Kb

#14

Fibrational formulation of intuitionistic predicate logic 1

Makkai M.

Категория: Mathematics, Algebra, Mathematical logic

308 Kb

#15

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Makkai M.

Категория: Математика, Алгебра, Математическая логика

581 Kb

#16

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli

Makkai M.

Категория: Математика, Алгебра, Математическая логика

308 Kb

#17

The Logic System of Concept Graphs with Negation And Its Relationship to Predicate Logic

Категория: CsLn_

3.26 Mb

#18

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

#19

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

#20

Predicative arithmetic

Категория: Mathematics, Algebra, Mathematical logic

1.07 Mb

#21

A modern formal logic primer: predicate theory

Категория: M_Mathematics, MA_Algebra, MAml_Mathematical logic

1.80 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

#24

forallx Cambridge Solutions Booklet

P.D. Magnus, Tim Button

Категория: propositional logic, predicate logic, solutions manual

232 Kb