Cover Image

QR Code

Introduction to mathematical proofs

Main Author:	Loehr, Nicholas A
Series:	Textbooks in mathematics
Subjects:	Proof theory Logic, Symbolic and mathematical Electronic books
Online Access:	http://library.unisel.edu.my/web/guest/mylibrary

Similar Items

A first course in mathematical logic and set theory
by: O'Leary, Michael L

Philosophical and mathematical logic
by: De Swart, Harrie

Paradoxes and inconsistent mathematics
by: Weber, Zach

Mathematical logic : on numbers, sets, structures, and symmetry
by: Kossak, Roman

Logical labyrinths
by: Smullyan, Raymond M

Mathematical proofs : a transition to advanced mathematics
by: Chartrand, Gary
Published: (2008)

Elements of the general theory of optimal algorithms
by: Sergienko, Ivan Vasil'evich

Math proofs demystified
by: Gibilisco, Stan
Published: (2005)

Beyond infinity : an expedition to the outer limits of mathematics
by: Cheng, Eugenia

Playing with infinity : turtles, patterns, and pictures
by: Zantema, Hans

Fuzzy computing in data science : applications and challenge

Algorithm design : a methodological approach--150 problems and detailed solutions
by: Bosc, Patrick

Discrete mathematics : based on Schaum's outline of theory and problems of discrete mathematics, second edition
by: Lipschutz, Seymour
Published: (2003)

Doing mathematics : an introduction to proofs and problem solving
by: Galovich, Steven
Published: (2007)

Is god a mathematician?
by: Livio, Mario, 1945-
Published: (2009)

Discrete mathematics and its applications
by: Rosen, Kenneth H
Published: (2007)

Discrete mathematics and its applications
by: Rosen, Kenneth H
Published: (2007)

Schaum's outline of theory and problems of discrete mathematics
by: Lipschutz, Seymour
Published: (1997)

Discrete mathematics : an introduction to proofs and combinatorics
by: Ferland, Kevin
Published: (2009)

Intuitionistic proof versus classical truth : the role of Brouwer's Creative Subject in Intuitionistic Mathematics
by: Martino, Enrico

Naturalizing logico-mathematical knowledge : approaches from philosophy, psychology, and cognitive science

Introduction to digital logic design
by: Hayes, John P
Published: (1993)

Exploring the infinite : an introduction to proof and analysis
by: Brooks, Jennifer

Readings in formal epistemology : sourcebook

Discrete mathematics by example
by: Simpson, Andrew
Published: (2002)

Introducing difficult mathematics topics in the elementary classroom : a teacher's guide to initial lessons
by: Gardella, Francis J
Published: (2009)

Proofs from THE BOOK
by: Aigner, Martin

Philosophical logic : a contemporary introduction
by: MacFarlane, John

Discrete structures, logic, and computability
by: Hein, James L
Published: (2010)

Optimization theory based on neutrosophic and plithogenic sets

The age of algorithms
by: Abiteboul, Serge

Algorithms and subjectivity : the subversion of critical knowledge
by: Fisher, Eran

Puzzle and proof : a decade of problems from the Utah math olympiad
by: Dittmer, Samuel

Discrete mathematics with proof
by: Gossett, Eric
Published: (2003)

Tractatus in context : the essential background for appreciating Wittgenstein's Tractatus logico-philosophicus
by: Klagge, James Carl

Logic works : a rigorous introduction to formal logic
by: Falkenstein, Lorne

Mathematical financial economics : a basic introduction
by: Evstigneev, Igor V

Graph theory : an introduction to proofs, algorithms, and applications
by: Saoub, Karin R.

Mathematics and politics : strategy, voting, power and proof
by: Taylor, Alan D

Introduction to discrete mathematics
by: Dymacek, Wayne M
Published: (1998)