A01=David Charles McCarty
A01=John B. Bacon
A01=Michael Detlefsen
advanced logic terminology
AUB
Author_David Charles McCarty
Author_John B. Bacon
Author_Michael Detlefsen
Cantor's Theorem
categorical
Categorical Proposition
Categorical Syllogism
Category=GB
Category=QD
Choice Sequence
Church's Theorem
Church's Thesis
computable
Continuum Hypothesis
Dense
encyclopedia
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
formal reasoning
Generalized Continuum Hypothesis
glossary of formal logic terms
Godel Sentence
Halting Problem
Large Cardinal
logical symbol table
Lowenheim Skolem Theorem
mathematical logic reference
Minor Term
model theory glossary
natural
Natural Numbers
number
Peano Arithmetic
philosophy
Power Set Operation
Prenex Normal Form
proposition
propositional
Recursion Theorem
Recursive Function
routledge
set theory concepts
Strict Implication
syllogism
Traditional Logic
Turing Computable Function
Turing Machine
Product details
- ISBN 9781138436695
- Weight: 400g
- Dimensions: 129 x 198mm
- Publication Date: 28 Jul 2017
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
First published in the most ambitious international philosophy project for a generation; the Routledge Encyclopedia of Philosophy.Logic from A to Z is a unique glossary of terms used in formal logic and the philosophy of mathematics.Over 500 entries include key terms found in the study of: Logic: Argument, Turing Machine, Variable Set and model theory: Isomorphism, Function Computability theory: Algorithm, Turing Machine Plus a table of logical symbols.Extensively cross-referenced to help comprehension and add detail, Logic from A to Z provides an indispensable reference source for students of all branches of logic.
Michael Detlefsen, David Charles McCarty, John B. Bacon
