Language, Proof and Logic: Text and CD by Jon Barwise

Downloading Audiobooks

Many ways to download audiobooks from your computer, your device, websites or Youtube

Sleep Timer

Smart sleep timer with gradual volume reduction and restart when you shake the device

Playback Speed

Wide range of playback speed: from x0.5 to x5.0

Statistics

Keep your listening statistics. You can see how many books you've listened to and how long it took

File Formats

A large number of supported audio file formats. MP3, M4B, MP4, AWB, FLAC and others

CarPlay

Integration with Apple CarPlay allows you to conveniently listen to audiobooks while driving without taking your eyes off the road

Relax with
MP3 Audiobook Player

Thanks to easy downloading method, you'll be able to listen to many more audiobooks. Discover new literary genres and pump up your knowledge of our world!

“Show me a family of readers, and I will show you the people who move the world.”

Learn with
MP3 Audiobook Player

MP3 Audiobook Player remembers the last stopping place for each book, so you can easily switch between books/lectures without losing your reading position.
You can create bookmarks with comments and return to them when needed.

“When you educate a woman, you set her free. Had I not had books and education in Mississippi, I would have believed that’s all there was.”

Language, Proof and Logic: Text and CD

This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable.

Jon Barwise

User-friendly interface

MP3 Audiobook Player was designed and developed to make listening to audiobooks as pleasant and convenient as possible.

Interface

Dark mode for night owls.
Choose between various fun themes.

Listen

Smart rewind. Volume Boost.
Change playback speed from 0.5X to 5.0X.

Manage

Maintain and see progress of your books.
Change cover art, title and author.

Controls

Support for remote events from headset buttons and lock screen.
CarPlay support.

MP3 Audiobook Player + YouTube

How to download audiobooks from Youtube for free on the your iPhone & iPad.

I have used this app to listen to my audio books for several years now. I keep several book series, Harry Potter, Lord of the Rings, etc., add new books, remove after read, etc. While I currently have 17 books loaded, with several books in progress, the app has never lost a reading place. Bookmarks work like a charm. I not only listen to audio books at home, I also listen while I drive. I appreciate that the app pauses during turn-by-turn directions. Thank you for an app that just does its thing flawlessly.

stillcrazy

I use this app. to hear the Bible, usually while exercising on a ski machine (with a separate Bluetooth speaker). The audio Bible I have is in German, so I get some language practice, too. The app. keeps the files in their proper order, which iTunes did not. I see the app. has a procedure built in for uploading files to the iPhone. I had already used 3rd party software to do that for a previous iPhone, and these files came over to this phone when I got a new phone. This app. clips the chapter number just a little when starting a new chapter, but only when using the Bluetooth speaker, so that may be a problem wit the speaker software. My previous audio book player did not do that. Other than that, it does what I want.

Stahlbrenner

This app has a ton of features for listening to your audiobooks. The shake to extend the sleep timer is very convenient and a feature I miss when I switch back to the Audible app for my library there. Also, the equalizer has been a really nice addition along with the audio preset built in. I can keep my books out on my iCloud Drive and download them when I’m ready to listen. Great app!

kwikknick

MP3 Books is the best app I tested among many others. The reading of the chapters follows naturally and without error. A lot of nice features like the auto reading or reading time informations. The main interest is the ability to listen all free audio books and file formats, regardless of any susbcription like Apple Books and others.

Vervair

MP3 Audiobook Player