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

Please enter a Bookmark title

Please limit Bookmark title to 65 characters

Please enter a description

Please limit Bookmark title to 4000 characters

Please limit a note about this material to 2048 characters

A Bookmark with this title already existed.

Select this link to go to Bookmark Collection

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 MaterialAuthor: 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 open drop down to add material We use mathematics to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material We use mathematics

Select this link to open drop down to add material We use mathematics to your Bookmark Collection 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 (1) 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:
SimulationAuthor: Daniel J. Velleman

Date Added: Feb 10, 2003 Date Modified: Nov 11, 2010

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 open drop down to add material Proof Designer to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material Proof Designer

Select this link to open drop down to add material Proof Designer to your Bookmark Collection 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 Rating (not rated)

Discussion (none)

In (2) Bookmark Collections

Course ePortfolios (none)

Learning Exercises (none)

Accessibility Info (none)

Cogent Mathematics is a fully peer-reviewed, open access, international scholarly journal with a mission to help researchers...
see more

Material Type:
Open Journal-ArticleAuthor: Kok Lay Teo and Yong Hong Wu (Editors-in-Chief)

Date Added: Dec 26, 2015 Date Modified: Jun 13, 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 open drop down to add material Cogent Mathematics to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material Cogent Mathematics

Select this link to open drop down to add material Cogent Mathematics to your Bookmark Collection or Course ePortfolio

Peer Review for material titled "Cogent Mathematics"

User Rating for material titled "Cogent Mathematics"

Member Comments for material titled "Cogent Mathematics"

Bookmark Collections for material titled "Cogent Mathematics"

Course ePortfolios for material titled "Cogent Mathematics"

Learning Exercises for material titled "Cogent Mathematics"

Accessibility Info for material titled "Cogent Mathematics"

eTextbook Reviews for material titled "Cogent Mathematics"

About this material:

Peer review 5 rating

Peer Reviews
User review 5 average rating

User Rating
Discussion (none)

Bookmark Collections (none)

Course ePortfolios (none)

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 TextbookAuthor: Paul Teller

Date Added: Nov 25, 2008 Date Modified: Aug 03, 2016

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 open drop down to add material A Modern Formal Logic Primer to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material A Modern Formal Logic Primer

Select this link to open drop down to add material A Modern Formal Logic Primer to your Bookmark Collection 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 Rating (not rated)

Discussion (none)

In (1) Bookmark Collections

In (9) Course ePortfolios

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 TextbookAuthor: P.D. Magnus

Date Added: Apr 13, 2008 Date Modified: Oct 13, 2016

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 open drop down to add material forall X: An Introduction to Formal Logic to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material forall X: An Introduction to Formal Logic

Select this link to open drop down to add material forall X: An Introduction to Formal Logic to your Bookmark Collection 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.5 average rating

User Rating
Discussion (none)

In (2) Bookmark Collections

In (11) 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 TextbookAuthor: Multiple Authors

Date Added: Nov 17, 2008 Date Modified: Aug 03, 2016

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 open drop down to add material Formal Logic to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material Formal Logic

Select this link to open drop down to add material Formal Logic to your Bookmark Collection 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 3 average rating

User Rating
Discussion (none)

In (3) Bookmark Collections

In (11) Course ePortfolios

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 TextbookAuthor: John Greiner, et al.

Date Added: Nov 25, 2008 Date Modified: Oct 17, 2016

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 open drop down to add material Intro to Logic to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material Intro to Logic

Select this link to open drop down to add material Intro to Logic to your Bookmark Collection 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 5 average rating

User Rating
Discussion (none)

In (1) Bookmark Collections

In (7) Course ePortfolios

Learning Exercises (none)

Accessibility Info (1)

Truth Table Constructor creates truth tables for statements in propositional logic. It allows entry of up to six variables...
see more

Material Type:
SimulationAuthor: Brian S. Borowski

Date Added: Oct 02, 2004 Date Modified: Oct 17, 2016

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 open drop down to add material Truth Table Constructor to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material Truth Table Constructor

Select this link to open drop down to add material Truth Table Constructor to your Bookmark Collection or Course ePortfolio

Peer Review for material titled "Truth Table Constructor"

User Rating for material titled "Truth Table Constructor"

Member Comments for material titled "Truth Table Constructor"

Bookmark Collections for material titled "Truth Table Constructor"

Course ePortfolios for material titled "Truth Table Constructor"

Learning Exercises for material titled "Truth Table Constructor"

Accessibility Info for material titled "Truth Table Constructor"

eTextbook Reviews for material titled "Truth Table Constructor"

About this material:

Reviewed by members of Editorial board for inclusion in MERLOT.

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

Discussion (none)

In (4) Bookmark Collections

In (1) 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 TextbookAuthor: 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 open drop down to add material A Problem Course in Mathematical Logic to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material A Problem Course in Mathematical Logic

Select this link to open drop down to add material A Problem Course in Mathematical Logic to your Bookmark Collection 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:
TutorialAuthor: 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 open drop down to add material blogic: a web logic textbook to your Bookmark Collection or Course ePortfolio

Select this link to close drop down of your Bookmark Collection or Course ePortfolio for material blogic: a web logic textbook

Select this link to open drop down to add material blogic: a web logic textbook to your Bookmark Collection 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)