Distributive normal forms in the calculus of predicates / by Hintikka, Jaakko, 1929-

The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning. by Boole, George, 1815-1864

La langue des calculus, ouvrage posthume et élémentaire, imprimé sur les manuscrits autographes de l'auteur ; dans lequel des observations, faites sur les commencemens et les progrès de cette langue, démontrent les vices des langues vulgaires, et font voir comment on pourroit, dans toutes les sciences, réduire l'art de raisonner à une langue bien faite / by Condillac, Etienne Bonnot de, 1714-1780

Texto completo. [Consulta: 2020/06/01]
Texto completo (solo lectura) de la ed. en español de 1805. [Consulta: 2020/07/27]

Schaum´s outline of theory and problems of logic / by Nolt, John

Table of Contents: “…The predicate calculus. Fallacies. Induction. The probability calculus. …”

Introduction to mathematical logic / by Church, Alonzo, 1903-

Table of Contents: “…Propositional calculus. Functional calculi of first order. The pure functional calculus of first order. …”

Mathematical jurisprudence and mathematical ethics / by Lobovikov, V.O

Table of Contents: “…A calculus of schemes of human activity…”

Inconsistent mathematics / by Mortensen, Chris

Table of Contents: “…MOTIVATIONS -- ARITHMETIC -- MODULO INFINITY -- ORDER --CALCULUS -- INCONSISTENT CONTINUOUS FUNCTIONS -- THE DELTA FUNCTION -- INCONSISTENT SYSTEMS OF LINEAR EQUATIONS -- PROJECTIVE SPACES -- TOPOLOGY -- CATEGORY THEORY -- CLOSED SET SHEAVES AND THEIR CATEGORIES -- DUALITY -- FOUNDATIONS: PROVABILITY, TRUTH AND SETS [with Joshua Cole].…”

Logic of mathematics : a modern course of classical logic / by Adamowicz, Zofia

Table of Contents: “…Theorems of the Logical Calculus. Definability. Peano Arithmetic. Skolem-Lowenheim Theorems. …”

Foundations of rational agency /

Table of Contents: “…A Survey of Agent-Oriented Programming. A Situation Calculus Approach to Modeling and Programming Agents…”

Representations of commonsense knowledge / by Davis, Ernest

Table of Contents: “…Logic; 2.1 Logical Systems and Languages; 2.2 Propositional Calculus. 2.3 Predicate Calculus2.4 Standard First-Order Notations and Theories; 2.5 Operators on Sentences; 2.6 Extensional Operators; 2.7 Modal Logic; 2.8 Syntactic Theories; 2.9 Appendix A: Natural Deduction; 2.10 References; 2.11 Exercises; Chapter 3. …”

Southwestern Journal of Anthropology /

Table of Contents: “…Referential Ambiguity in the Calculus of Brazilian Racial Identity / Marvin Harris -- American Kinship Terms Once More / Robbins Burling -- Statistical Refutation of Comparative Functional-Causal Models / Harold E. …”