𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

Logicism renewed: Logical foundations for mathematics and computer science

✍ Scribed by Gilmore, Paul Carl

Publisher
A K Peters, Association for Symbolic Logic
Year
2005
Tongue
English
Leaves
249
Series
Springer Lecture notes in logic 23
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Table of Contents

Content: Ch. 1. Elementary logic --
Ch. 2. Type theory --
Ch. 3. An intensional type theory --
Ch. 4. Recursions --
Ch. 5. Choice and function terms --
Ch. 6. Intuitionist logic --
Ch. 7. Logic and mathematics --
Ch. 8. Logic and computer science.

✦ Subjects

Logic, Symbolic and mathematical.;Mathematische Logik.

πŸ“œ SIMILAR VOLUMES

Logicism Renewed: Logical Foundations fo
πŸ“ Logicism Renewed: Logical Foundations for Mathematics and Computer Science
✍ Paul C. Gilmore πŸ“‚ Library πŸ“… 2005 πŸ› ASL 🌐 English

Logicism, as put forward by Bertrand Russell, was predicated on a belief that all of mathematics can be deduced from a very small number of fundamental logical principles. In <i>Logicism Renewed</i>, the author revisits this concept in light of advances in mathematical logic and the need for languag

Mathematical Logic: Foundations for Info
πŸ“ Mathematical Logic: Foundations for Information Science
✍ Wei Li πŸ“‚ Library πŸ“… 2010 πŸ› BirkhΓ€user 🌐 English

<P>Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of