Search Materials

Sort materials by

Search Materials

Return to What's new in MERLOT

Get more information on the MERLOT Editors' Choice Award in a new window.

Get more information on the MERLOT Classics Award in a new window.

Get more information on the JOLT Award in a new window.

Go to Search Page

Go to Partner Benefits

View material results for all disciplines

Search all MERLOT

Select to go to your profile

Click to expand menu where one can log in to or sign up for MERLOT

Select to go to your workspace

Select to go to your Dashboard Report

Select to go to your Content Builder

Select to log out

Search Terms

Enter username

Enter password

Please give at least one keyword of at least three characters for the search to work with. The more keywords you give, the better the search will work for you.

Select OK to launch help window

Cancel help

View material results for discipline Mathematics and Statistics

Mathematics and Statistics
>
View material results for discipline Mathematics and Statistics/Mathematics

Mathematics
>
View material results for discipline Mathematics and Statistics/Mathematics/Foundations of Mathematics

Foundations of Mathematics
>
Logic
WeUseMath.org is a non-profit website that helps to answer this question. This website describes the importance of...
see more

Material Type:
Reference Material
Author:
Brigham Young University, Department of Mathematics

Date Added:
Sep 02, 2011
Date Modified:
Apr 20, 2015
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection

Name the Bookmark Collection to represent the materials you will add

Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time.

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material We use mathematics to Bookmark material or Course ePortfolio

Peer Review for material titled "We use mathematics"

User Rating for material titled "We use mathematics"

Member Comments for material titled "We use mathematics"

Bookmark Collections for material titled "We use mathematics"

Course ePortfolios for material titled "We use mathematics"

Learning Exercises for material titled "We use mathematics"

Accessibility Info for material titled "We use mathematics"

eTextbook Reviews for material titled "We use mathematics"

About this material:

Peer review 5 rating

Peer Reviews
User review 5 average rating

User Rating
Discussion (1 Comment)

In (2) Bookmark Collections

In (1) Course ePortfolios

Learning Exercises (none)

Accessibility Info (none)

Proof designer is a tool intended to help students who are beginning to learn how to write proofs. While proving theorems...
see more

Material Type:
Simulation
Author:
Daniel J. Velleman

Date Added:
Feb 10, 2003
Date Modified:
Nov 14, 2016
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection

Name the Bookmark Collection to represent the materials you will add

Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time.

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material Proof Designer to Bookmark material or Course ePortfolio

Peer Review for material titled "Proof Designer"

User Rating for material titled "Proof Designer"

Member Comments for material titled "Proof Designer"

Bookmark Collections for material titled "Proof Designer"

Course ePortfolios for material titled "Proof Designer"

Learning Exercises for material titled "Proof Designer"

Accessibility Info for material titled "Proof Designer"

eTextbook Reviews for material titled "Proof Designer"

About this material:

Peer review 4.67 rating

Peer Reviews
User review 5 average rating

User Rating
Discussion (none)

In (2) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)

'forall x is an introduction to sentential logic and first-order predicate logic with identity, logical systems that...
see more

Material Type:
Open (Access) Textbook
Author:
P.D. Magnus

Date Added:
Apr 13, 2008
Date Modified:
Dec 07, 2017
Pick a Bookmark Collection or Course ePortfolio to put this material in or scroll to the bottom to create a new Bookmark Collection

Name the Bookmark Collection to represent the materials you will add

Describe the Bookmark Collection so other MERLOT users will know what it contains and if it has value for their work or teaching. Other users can copy your Bookmark Collection to their own profile and modify it to save time.

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material forall X: An Introduction to Formal Logic to Bookmark material or Course ePortfolio

Peer Review for material titled "forall X: An Introduction to Formal Logic"

User Rating for material titled "forall X: An Introduction to Formal Logic"

Member Comments for material titled "forall X: An Introduction to Formal Logic"

Bookmark Collections for material titled "forall X: An Introduction to Formal Logic"

Course ePortfolios for material titled "forall X: An Introduction to Formal Logic"

Learning Exercises for material titled "forall X: An Introduction to Formal Logic"

Accessibility Info for material titled "forall X: An Introduction to Formal Logic"

eTextbook Reviews for material titled "forall X: An Introduction to Formal Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4.2 average rating

User Rating
Discussion (none)

In (14) Bookmark Collections

In (12) Course ePortfolios

Learning Exercises (none)

Accessibility Info (none)

This is an 'undergraduate college level textbook covering first order predicate logic with identity but omitting metalogical...
see more

Material Type:
Open (Access) Textbook
Author:
Multiple Authors

Date Added:
Nov 17, 2008
Date Modified:
Jun 16, 2017
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material Formal Logic to Bookmark material or Course ePortfolio

Peer Review for material titled "Formal Logic"

User Rating for material titled "Formal Logic"

Member Comments for material titled "Formal Logic"

Bookmark Collections for material titled "Formal Logic"

Course ePortfolios for material titled "Formal Logic"

Learning Exercises for material titled "Formal Logic"

Accessibility Info for material titled "Formal Logic"

eTextbook Reviews for material titled "Formal Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4 average rating

User Rating
Discussion (none)

In (14) Bookmark Collections

In (11) Course ePortfolios

Learning Exercises (none)

Accessibility Info (none)

This is a 'two-volume introduction to formal logic. Volume I presents sentence logic and Volume II covers predicate logic and...
see more

Material Type:
Open (Access) Textbook
Author:
Paul Teller

Date Added:
Nov 25, 2008
Date Modified:
Feb 09, 2018
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material A Modern Formal Logic Primer to Bookmark material or Course ePortfolio

Peer Review for material titled "A Modern Formal Logic Primer"

User Rating for material titled "A Modern Formal Logic Primer"

Member Comments for material titled "A Modern Formal Logic Primer"

Bookmark Collections for material titled "A Modern Formal Logic Primer"

Course ePortfolios for material titled "A Modern Formal Logic Primer"

Learning Exercises for material titled "A Modern Formal Logic Primer"

Accessibility Info for material titled "A Modern Formal Logic Primer"

eTextbook Reviews for material titled "A Modern Formal Logic Primer"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4.67 average rating

User Rating
Discussion (none)

In (10) Bookmark Collections

In (9) Course ePortfolios

Learning Exercises (none)

Accessibility Info (none)

A Problem Course in Mathematical Logic is intended to serve as the text for an introduction to mathematical logic for...
see more

Material Type:
Open (Access) Textbook
Author:
Stefan Bilaniuk

Date Added:
Apr 12, 2008
Date Modified:
Oct 17, 2012
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material A Problem Course in Mathematical Logic to Bookmark material or Course ePortfolio

Peer Review for material titled "A Problem Course in Mathematical Logic"

User Rating for material titled "A Problem Course in Mathematical Logic"

Member Comments for material titled "A Problem Course in Mathematical Logic"

Bookmark Collections for material titled "A Problem Course in Mathematical Logic"

Course ePortfolios for material titled "A Problem Course in Mathematical Logic"

Learning Exercises for material titled "A Problem Course in Mathematical Logic"

Accessibility Info for material titled "A Problem Course in Mathematical Logic"

eTextbook Reviews for material titled "A Problem Course in Mathematical Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

In (2) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)

Interactive textbook for introductory logic courses. Topics include: (i) Boolean searching (ii) propositional logic with...
see more

Material Type:
Tutorial
Author:
J. David Velleman

Date Added:
Aug 13, 2003
Date Modified:
Jun 06, 2013
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material blogic: a web logic textbook to Bookmark material or Course ePortfolio

Peer Review for material titled "blogic: a web logic textbook"

User Rating for material titled "blogic: a web logic textbook"

Member Comments for material titled "blogic: a web logic textbook"

Bookmark Collections for material titled "blogic: a web logic textbook"

Course ePortfolios for material titled "blogic: a web logic textbook"

Learning Exercises for material titled "blogic: a web logic textbook"

Accessibility Info for material titled "blogic: a web logic textbook"

eTextbook Reviews for material titled "blogic: a web logic textbook"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 5 average rating

User Rating
Discussion (1 Comment)

In (3) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)

NuMachine, as powerful as Turing machine, but more intuitive in its working is described. Adding three more derivation rules...
see more

Material Type:
Tutorial
Author:
Kannan Nambiar

Date Added:
Jun 13, 2001
Date Modified:
Apr 02, 2015
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material Foundations of Computer Science to Bookmark material or Course ePortfolio

Peer Review for material titled "Foundations of Computer Science"

User Rating for material titled "Foundations of Computer Science"

Member Comments for material titled "Foundations of Computer Science"

Bookmark Collections for material titled "Foundations of Computer Science"

Course ePortfolios for material titled "Foundations of Computer Science"

Learning Exercises for material titled "Foundations of Computer Science"

Accessibility Info for material titled "Foundations of Computer Science"

eTextbook Reviews for material titled "Foundations of Computer Science"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4 average rating

User Rating
Discussion (1 Comment)

In (1) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)

This is 'an introduction to reasoning with propositional and first-order logic, with applications to computer science. It is...
see more

Material Type:
Open (Access) Textbook
Author:
John Greiner, et al.

Date Added:
Nov 25, 2008
Date Modified:
Feb 09, 2018
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material Intro to Logic to Bookmark material or Course ePortfolio

Peer Review for material titled "Intro to Logic"

User Rating for material titled "Intro to Logic"

Member Comments for material titled "Intro to Logic"

Bookmark Collections for material titled "Intro to Logic"

Course ePortfolios for material titled "Intro to Logic"

Learning Exercises for material titled "Intro to Logic"

Accessibility Info for material titled "Intro to Logic"

eTextbook Reviews for material titled "Intro to Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User review 4.2 average rating

User Rating
Discussion (none)

In (8) Bookmark Collections

In (7) Course ePortfolios

Learning Exercises (none)

Accessibility Info (1)

This free and open online course in Logic was produced by the WA State Board for Community & Technical Colleges...
see more

Material Type:
Online Course
Author:
Tom Caswell

Date Added:
Nov 29, 2011
Date Modified:
Aug 22, 2012
Name the Bookmark Collection to represent the materials you will add

Edit the information about the material in this {0}

Submitting Bookmarks...

Select this link to add material Introduction to Logic to Bookmark material or Course ePortfolio

Peer Review for material titled "Introduction to Logic"

User Rating for material titled "Introduction to Logic"

Member Comments for material titled "Introduction to Logic"

Bookmark Collections for material titled "Introduction to Logic"

Course ePortfolios for material titled "Introduction to Logic"

Learning Exercises for material titled "Introduction to Logic"

Accessibility Info for material titled "Introduction to Logic"

eTextbook Reviews for material titled "Introduction to Logic"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

Editor Review
(not reviewed)
User Rating (not rated)

Discussion (none)

In (3) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)