An Introduction to the Language of Mathematics

This is a textbook for an undergraduate mathematics major transition course from technique-based mathematics (such as Algebra and Calculus) to proof-based mathematics. It motivates the introduction of the formal language of logic and set theory and develops the basics with examples, exercises with s...

Full description

Bibliographic Details

Main Author:	Mynard, Frédéric (Author)
Format:	Electronic eBook
Language:	English
Published:	Cham : Springer International Publishing, 2018.
Edition:	1st ed. 2018.
Subjects:	Proof theory.
ISBN:	9783030006419
Online Access:
Tags:	Add Tag No Tags, Be the first to tag this record!