Math and Arithmetic

Mathematicians

Abstract Algebra

# What is meant by mathematical logic?

###### Wiki User

###### 2015-07-11 10:54:08

Mathematical logic is a branch of mathematics which brings

together formal logic and mathematics. Mathematical logic entails

formal systems for defining the basics and then using the deductive

power of logic to develop a system of formal proofs.

## Related Questions

###### Asked in Authors, Poets, and Playwrights

### What has the author Robert A Magnuson written?

Robert A. Magnuson has written:
'Symbolic logic retrieval users code' -- subject(s): Data
processing, Logic, Symbolic and mathematical, Medical records,
Symbolic and mathematical Logic
'Symbolic logic retrieval users guide' -- subject(s): Data
processing, Logic, Symbolic and mathematical, Medical records,
Symbolic and mathematical Logic

###### Asked in Authors, Poets, and Playwrights

### What has the author C Casadio written?

C. Casadio has written:
'Computational algebraic approaches to natural language' --
subject(s): Comparative and general Grammar, Language and logic,
Computational linguistics, Mathematical linguistics, Grammar
categories
'Interpretazione generica e metafora' -- subject(s):
Genericalness (Linguistics), Metaphor
'Logic for grammar' -- subject(s): Categorial grammar,
Formalization (Linguistics), Lambda calculus, Language and logic,
Logic, Symbolic and mathematical, Mathematical linguistics,
Semantics (Philosophy), Symbolic and mathematical Logic