Search Results - "MATHEMATICS / Infinity"

New Infinitary Mathematics

Authors: Vopěnka, Petr

Resource Type: eBook.

Subjects: Set theory, Mathematics--Philosophy

Categories: MATHEMATICS / Infinity, MATHEMATICS / Calculus, MATHEMATICS / Set Theory

God and the Mathematics of Infinity : What Irreducible Mathematics Says About Godhood

Authors: H Chris Ransford

Resource Type: eBook.

Subjects: Mathematics--Religious aspects--Christianity, Religion and science

Categories: MATHEMATICS / Infinity

Calculus: The Logical Extension of Arithmetic

Authors: Seymour B, Elk

Resource Type: eBook.

Subjects: Calculus

Categories: MATHEMATICS / Calculus, MATHEMATICS / Infinity

Logicism and Its Philosophical Legacy

Authors: William Demopoulos

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical, Mathematics--Philosophy

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

Classical and Multilinear Harmonic Analysis: Volume 1

Authors: Camil Muscalu Wilhelm Schlag

Resource Type: eBook.

Subjects: Harmonic analysis

Categories: MATHEMATICS / Infinity

Lambda Calculus with Types

Authors: Henk Barendregt Wil Dekkers Richard Statman

Resource Type: eBook.

Subjects: Lambda calculus

Categories: MATHEMATICS / Logic, COMPUTERS / Machine Theory, MATHEMATICS / Infinity

Graph Structure and Monadic Second-Order Logic : A Language-Theoretic Approach

Authors: Bruno Courcelle Joost Engelfriet

Resource Type: eBook.

Subjects: Logic, Symbolic and mathematical--Graphic methods

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

The History of Mathematical Proof in Ancient Traditions

Authors: Karine Chemla

Resource Type: eBook.

Subjects: Mathematics, Ancient, Proof theory

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

Fuzzy Control Systems

Authors: Vukadinovic, Dinko

Resource Type: eBook.

Subjects: Intelligent control systems, Fuzzy systems

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

A Course in Model Theory

Authors: Katrin Tent Martin Ziegler

Resource Type: eBook.

Subjects: Model theory, Model theory--Problems, exercises, etc

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Formal Languages in Logic : A Philosophical and Cognitive Analysis

Authors: Catarina Dutilh Novaes

Resource Type: eBook.

Subjects: Cognition, Formal languages, Reasoning

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Finite Ordered Sets : Concepts, Results and Uses

Authors: Nathalie Caspard Bruno Leclerc Bernard Monjardet

Resource Type: eBook.

Subjects: Ordered sets, Finite groups

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Classical and Multilinear Harmonic Analysis: Volume 2

Authors: Camil Muscalu Wilhelm Schlag

Resource Type: eBook.

Subjects: Harmonic analysis--Problems, exercises, etc, Harmonic analysis

Categories: MATHEMATICS / Infinity

Ice Sheets: Dynamics, Formation and Environmental Concerns

Authors: Koch,, Luka Müller, Jonas Adrian

Resource Type: eBook.

Subjects: Ice sheets

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Finite and Algorithmic Model Theory

Authors: Javier Esparza Christian Michaux Charles Steinhorn

Resource Type: eBook.

Subjects: Finite model theory, Computer science--Mathematics

Categories: MATHEMATICS / Logic, MATHEMATICS / Infinity

Forcing with Random Variables and Proof Complexity

Authors: Jan Krajíček

Resource Type: eBook.

Subjects: Mathematical analysis, Computational complexity, Random variables

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Proof Analysis : A Contribution to Hilbert's Last Problem

Authors: Sara Negri Jan von Plato

Resource Type: eBook.

Subjects: Proof theory

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Motivic Integration and Its Interactions with Model Theory and Non-Archimedean Geometry: Volume 2

Authors: Raf Cluckers Johannes Nicaise Julien Sebag

Resource Type: eBook.

Subjects: Geometry, Algebraic, Motives (Mathematics), Model theory, Valued fields, Analytic spaces

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Kurt Gödel and the Foundations of Mathematics : Horizons of Truth

Authors: Matthias Baaz Christos H. Papadimitriou Hilary W. Putnam et al.

Resource Type: eBook.

Subjects: Mathematics--Philosophy, Go¨del's theorem

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic

Computational Logic and Human Thinking : How to Be Artificially Intelligent

Authors: Robert Kowalski

Resource Type: eBook.

Subjects: Critical thinking, Reasoning, Logic, Symbolic and mathematical--Famous problems, Computational intelligence, Communication--Philosophy, Rhetoric--Mathematics

Categories: MATHEMATICS / Infinity, MATHEMATICS / Logic