The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

  1. Home
  5. Mathematical logic
  1. Home
  3. Genres
  7. Mathematical logic
A TeXas Style Introduction to Proof

Paperback • 2018 • 1. edition

A TeXas Style Introduction to Proof

By Ron Taylor, Patrick X. Rault

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

A TeXas Style Introduction to Proof is an IBL textbook designed for a one-semester course on proofs (the ""bridge course"") that also introduces TeX as a tool students can use to communicate their work. As befitting ""textless"" text, the book is, as one reviewer characterized it, ""minimal."" Written in an easy-going style, the exposition is just enough to support the activities, and it is clear, concise, and effective. The book is well organized and contains ample carefully selected exercises ...Show more

Mathematics
Mathematical logic

Book details

ISBN

9781939512130

Publisher

Mathematical Association of America

Published year

2018

Language

Edition

1

Original title

A TeXas Style Introduction to Proof

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Other versions

A TeXas Style Introduction to Proof

A TeXas Style Introduction to Proof

Paperback · 2018

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications

Kenneth H. Rosen

Numerical Linear Algebra

Numerical Linear Algebra

Lloyd N. Trefethen

Logical Methods The Art of Thinking Abstractly and Mathematically

Logical Methods The Art of Thinking Abstractly and Mathematically

Roger Antonsen

Advances in Mathematics Education Research on Proof and Proving

Advances in Mathematics Education Research on Proof and Proving

Essential Discrete Mathematics for Computer Science

Essential Discrete Mathematics for Computer Science

Harry Lewis

We Reason & We Prove for ALL Mathematics

We Reason & We Prove for ALL Mathematics

Fran Arbaugh

The Tools of Mathematical Reasoning

The Tools of Mathematical Reasoning

Tamara J. Lakins

Introduction to Logic

Introduction to Logic

SJ Gensler Harry J.

Proving in the Elementary Mathematics Classroom

Proving in the Elementary Mathematics Classroom

University of Cambridge) Stylianides Andreas J. (Reader in Mathematics Education Reader in Mathematics Education

Introduction To Mathematical Logic (Extended Edition)

Introduction To Mathematical Logic (Extended Edition)

Norway) Walicki Michal (Univ Of Bergen

The logic manual

The logic manual

Volker Halbach

Algebra and Trigonometry

Algebra and Trigonometry

Abington Campus) Redlin Lothar (Pennsylvania State University

Mathematical Proofs: A Transition to Advanced Mathematichs

Mathematical Proofs: A Transition to Advanced Mathematichs

Chartrand Polimeni zhanh

A First Course in Abstract Algebra

A First Course in Abstract Algebra

John B.

Proof and Proving in Mathematics Education

Proof and Proving in Mathematics Education

Gila Hanna

Differential equations

Differential equations

Blanchard, Paul

Teaching and Learning Proof Across the Grades A K-16 Perspective

Teaching and Learning Proof Across the Grades A K-16 Perspective

Despina A. Stylianou

Proof in Mathematics Education Research, Learning and Teaching

Proof in Mathematics Education Research, Learning and Teaching

David A. Reid

Introduction to Reasoning and Proof Grades 6-8

Introduction to Reasoning and Proof Grades 6-8

Denisse Rubilee Thompson

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Thinking Mathematically

Thinking Mathematically

Thomas p.

Linear Algebra

Linear Algebra

Stephen H. Friedberg

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Logic and Philosophy

Logic and Philosophy

Paul Tidman

Mathematics: A Very Short Introduction

Mathematics: A Very Short Introduction

Timothy Gowers

Chapter Zero

Chapter Zero

Carol Schumacher

The Languages of Logic - An Introduction to Formal Logic

The Languages of Logic - An Introduction to Formal Logic

Samuel Guttenplan

Probability

Probability

Jim Pitman

Schaum's outline of theory and problems of discrete mathematics

Schaum's outline of theory and problems of discrete mathematics

Lipschutz,Seymour

Concepts of Modern Mathematics

Concepts of Modern Mathematics

Ian Stewart

Basic Abstract Algebra

Basic Abstract Algebra

P.B. Bhattacharya,

Mathematics For Economists

Mathematics For Economists

"Carl P.

Combinatorics Topics, Techniques, Algorithms

Combinatorics Topics, Techniques, Algorithms

Peter Jephson Cameron

Introduction To Commutative Algebra

Introduction To Commutative Algebra

Michael Atiyah

Mathematical Methods in Linguistics

Mathematical Methods in Linguistics

Barbara H.

Formal Logic

Formal Logic

Jeffrey, Richard C.

How to solve it

How to solve it

George Polya