This is our South Africa store.

Looks like you're in United States. You need a South Africa address to shop on our South Africa store. Go to our United States store to continue.

Choose another store Go to United States Store Go to United States Store Choose another store

Proofs 101

An Introduction to Formal Mathematics

Joseph Kirtland

Buy the eBook

R 1 513,46

You are in the South Africa store

Not in South Africa? Choose your country’s store to see books available for purchase.

Choose Store

Buy Now

Why read with us?

Kobo empowers book lovers to read more.

Elevated reading experience with our Kobo eReaders

Rich and relevant book catalogue

Free Kobo reading app

Synopsis

About this book

Language:English
ISBN:9781000227383
Release date:Aug 26, 2023
Publisher:CRC Press

Imprint:Chapman and Hall/CRC
File format:EPUB3
File size:1.39 MB
Download options:EPUB3 (Adobe DRM)

Related Reads

An Introduction to Non-Classical Logic

Graham Priest

R 861,11

Logic

Nicholas J.J. Smith

R 917,46

Computability Theory

Herbert B. Enderton

R 1 111,10

Symbolic Logic

David Agler

R 1 243,02

The Nuts and Bolts of Proofs

Antonella Cupillari

R 711,96

Logic in Computer Science

Michael Huth, Mark Ryan

R 1 250,96

Beginner's Further Guide To Mathematical Logic, A

Raymond M Smullyan

R 290,59

Understanding Analysis

Stephen Abbott

R 712,41

Computability and Logic

George S. Boolos, John P. Burgess, Richard C. Jeffrey

R 714,83

Proofs and Algorithms

Gilles Dowek

R 615,93

On the Logic and Learning of Language

Sean A. Fulop

R 127,87

Abstract Algebra

Gregory T. Lee

R 623,40

Introduction to Logic

Michael Genesereth, Eric Kao

R 382,25

Mathematical Logic

Joseph R. Shoenfield

R 1 385,18

Computational Logic and Set Theory

Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo, Martin Davis

R 890,55

Canonical Ramsey Theory on Polish Spaces

Vladimir Kanovei, Marcin Sabok, Jindřich Zapletal

R 2 583,12

A First Course in Mathematical Analysis

David Alexander Brannan

R 1 429,67

Understanding Analysis

Stephen Abbott

R 665,72

Sets, Logic and Maths for Computing

David Makinson

R 480,80

An Introduction to the Theory of Reproducing Kernel Hilbert Spaces

Vern I. Paulsen, Mrinal Raghupathi

R 1 559,62

Introduction To Commutative Algebra, Student Economy Edition

Michael Atiyah

R 4 156,04

Sets, Logic and Maths for Computing

David Makinson

R 587,75

Concrete Abstract Algebra

Niels Lauritzen

R 1 462,21

A Course in Finite Group Representation Theory

Peter Webb

R 1 559,62

Building Proofs: A Practical Guide

Suely Oliveira, David Stewart

R 290,59

Computability

Nigel Cutland

R 1 478,43

Applied Logic for Computer Scientists

Mauricio Ayala-Rincón, Flávio L. C. de Moura

R 801,54

Temporal Logics in Computer Science

Stéphane Demri, Valentin Goranko, Martin Lange

R 2 518,14

Mathematical Logic for Computer Science

Mordechai Ben-Ari

R 1 068,68

Representation Theory

Alexander Zimmermann

R 2 850,15

Computational Linear and Commutative Algebra

Martin Kreuzer, Lorenzo Robbiano

R 890,55

An Invitation to Abstract Mathematics

Béla Bajnok

R 890,55

A Logical Introduction to Proof

Daniel W. Cunningham

R 890,55

A First Course in Computational Algebraic Geometry

Wolfram Decker, Gerhard Pfister

R 373,74

Logical Foundations of Computer Science

Sergei Artemov, Anil Nerode

R 890,55

Towards an Elegant Syntax

Michael Brody

R 641,15

Introduction to Set Theory, Revised and Expanded

Karel Hrbacek, Thomas Jech

R 2 821,92

Number Theory

Don Redmond

R 3 745,55

Nominal Sets

Andrew M. Pitts

R 1 267,17

Handbook of Analysis and Its Foundations

Eric Schechter

R 2 059,38

Transition to Analysis with Proof

Steven Krantz

R 2 334,46

Algebra

David Surowski, Ernest Shult

R 890,55

The Whole Truth About Whole Numbers

Sylvia Forman, Agnes M. Rash

R 1 068,68

Exploring the Infinite

Jennifer Brooks

R 1 333,86

The Block Theory of Finite Group Algebras: Volume 1

Markus Linckelmann

R 1 380,91

The Pragmatics and Semiotics of Standard Languages

Albert Sweet

R 445,27

Duality Theories for Boolean Algebras with Operators

Steven Givant

R 890,55

Efficient Computation of Argumentation Semantics

Beishui Liao

R 2 093,05

Handbook of Philosophical Logic

Dov M. Gabbay, Franz Guenthner

R 2 493,76

Did you like the book?

Be the first to rate and review this book!

This is our South Africa store.

Proofs 101

Why read with us?

Synopsis

About this book

Book details

Accessibility details

How to read

Related Reads

An Introduction to Non-Classical Logic

Logic

Computability Theory

Symbolic Logic

The Nuts and Bolts of Proofs

Logic in Computer Science

Beginner's Further Guide To Mathematical Logic, A

Understanding Analysis

Computability and Logic

Proofs and Algorithms

On the Logic and Learning of Language

Abstract Algebra

Introduction to Logic

Mathematical Logic

Computational Logic and Set Theory

Canonical Ramsey Theory on Polish Spaces

A First Course in Mathematical Analysis

Understanding Analysis

Sets, Logic and Maths for Computing

An Introduction to the Theory of Reproducing Kernel Hilbert Spaces

Introduction To Commutative Algebra, Student Economy Edition

Sets, Logic and Maths for Computing

Concrete Abstract Algebra

A Course in Finite Group Representation Theory

Building Proofs: A Practical Guide

Computability

Applied Logic for Computer Scientists

Temporal Logics in Computer Science

Mathematical Logic for Computer Science

Representation Theory

Computational Linear and Commutative Algebra

An Invitation to Abstract Mathematics

A Logical Introduction to Proof

A First Course in Computational Algebraic Geometry

Logical Foundations of Computer Science

Towards an Elegant Syntax

Introduction to Set Theory, Revised and Expanded

Number Theory

Nominal Sets

Handbook of Analysis and Its Foundations

Transition to Analysis with Proof

Algebra

The Whole Truth About Whole Numbers

Exploring the Infinite

The Block Theory of Finite Group Algebras: Volume 1

The Pragmatics and Semiotics of Standard Languages

Duality Theories for Boolean Algebras with Operators

Efficient Computation of Argumentation Semantics

Handbook of Philosophical Logic

Did you like the book?

eBooks

Audiobooks

Why read with us?

Did you like the book?

Latest Blog Posts

Related Reads

An Introduction to Non-Classical Logic

Logic

Computability Theory

Symbolic Logic

The Nuts and Bolts of Proofs

Logic in Computer Science

Beginner's Further Guide To Mathematical Logic, A

Understanding Analysis

Computability and Logic

Proofs and Algorithms

On the Logic and Learning of Language

Abstract Algebra

Introduction to Logic

Mathematical Logic

Computational Logic and Set Theory