iReadAlliReadAll

THE OPEN TEXTBOOK SHELF

A textbook for what’s next.

Find a book for your course. Read a section, listen alongside the original, and return to where you left off.

Read published textbooks freely. New AI narration uses your existing Reader allowance.

Filter textbooks
Subjects
Learning stage

Filter textbooks

Subjects
Learning stage

Start with a subject

Counts show available works, with editions grouped together.

Mathematics & statistics18 textbooks →Physics & chemistry8 textbooks →Life sciences1 textbook →Computer science12 textbooks →Economics & business6 textbooks →Psychology & social sciences3 textbooks →Humanities & academic writing22 textbooks →

Selected for your next chapter

Junior extension: words and numbers

15 selected units on vocabulary, word formation, arithmetic and percentages. Intended for confident English readers with teacher or dictionary support. These selections do not reclassify the full books as junior textbooks.

0 selected editions · 15 selected sections

Explore this collection

Questions in philosophy

Explore arguments, knowledge, ethics, mind, religion and aesthetics through six introductory philosophy books. Start with a topic that interests you; listening is available only where the chapter shows a listening option.

6 selected editions

Explore this collection

Mathematics and computing

A route from arithmetic and everyday mathematics to functions, statistics, algorithms and open source collaboration. Check each book's prerequisites; the algorithms text assumes programming experience.

6 selected editions

Explore this collection

Chapter matches

2588 chapter matches · Matches reviewed table-of-contents titles.

Table-of-contents match

Practice Exercises

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Quantified logic

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

From sentences to predicates

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Building blocks of QL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Quantifiers

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Translating to QL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Sentences of QL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Identity

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Practice Exercises

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Formal semantics

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Semantics for SL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Interpretations and models in QL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Semantics for identity

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Working with models

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Truth in QL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Practice Exercises

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Proofs

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Basic rules for SL

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Derived rules

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Rules of replacement

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Rules for quantifiers

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Rules for identity

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Proof strategy

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction

Table-of-contents match

Proof-theoretic concepts

forall x: An Introduction to Formal Logic · Version 1.4 [171229], 29 December 2017 · College introduction