Cancel
Secure Checkout
AboutFAQ
    • Log in
    Log in

    Browse by categories

    Collections
    Bookstores
    Shelves
    Pango AI
    Popular Authors
    Popular Book Series
    Sell your books
    About Us
    Blog
    Market Guide
    Help Center
    Contact Us
    Cancel

    Shop

    • Bookstores
    • Collections
    • Categories
    • Authors
    • Gift cards
    • Shelves
    • Series

    Sell

    • Sellers Resource Hub
    • Ambassador
    • Market Guide

    Company

    • About Us
    • Blog
    • Trust and Safety

    Help

    • Help Center
    • Contact Us
    • PangoBucks FAQ
    • © PangoBooks 2025. All rights reserved.
    • Terms of Use
    • Privacy Policy

    Pango Buyer Protection

    PangoBooks money back guarantee. Learn more

    Recently Viewed

    Pango
    Pango AI
    Your personal Pangolin book shopper is here to help you find the perfect book!

    Chat with Pango

    by: Raymond Smullyan

    First-Order Logic
    Categories

    First-Order Logic

    Sold Out

    Discover more

    First-Order Logic

    First-Order Logic

    By: Raymond Smullyan

    More from this author

    More books by Raymond Smullyan

    The Chess Mysteries of Sherlock Holmes

    Raymond Smullyan

    The Chess Mysteries of Sherlock Holmes

    Sold Out

    First-Order Logic

    Raymond Smullyan

    First-Order Logic

    Sold Out

    Satan, Cantor, and Infinity

    Raymond Smullyan

    Satan, Cantor, and Infinity

    $4.00
    To Mock a Mockingbird and Other Logic Puzzles

    Raymond Smullyan

    To Mock a Mockingbird and Other Logic Puzzles

    Sold Out

    What Is the Name of This Book?

    Raymond Smullyan

    What Is the Name of This Book?

    Sold Out

    King Arthur in Search of His Dog and Other Curious Puzzles

    Raymond Smullyan

    King Arthur in Search of His Dog and Other Curious Puzzles

    $2.50
    Alice in Puzzle-Land

    Raymond Smullyan

    Alice in Puzzle-Land

    Sold Out

    The Riddle of Scheherazade

    Raymond Smullyan

    The Riddle of Scheherazade

    Sold Out

    The Lady or the Tiger?

    Raymond Smullyan

    The Lady or the Tiger?

    $1.99
    The Gödelian Puzzle Book

    Raymond Smullyan

    The Gödelian Puzzle Book

    $3.50

    Similar books

    If you liked First-Order Logic, you might like these

    A Court of Thorns and Roses

    Sarah J. Maas

    4.2

    A Court of Thorns and Roses

    $5.99
    It Ends with Us

    Colleen Hoover

    3.9

    It Ends with Us

    $2.75
    Cherokee America

    Margaret Verble

    Cherokee America

    $3.00$4.00
    House of Earth and Blood

    Sarah J. Maas

    4.3

    House of Earth and Blood

    $5.00
    Tomorrow, and Tomorrow, and Tomorrow

    Gabrielle Zevin

    4.3

    Tomorrow, and Tomorrow, and Tomorrow

    $7.00
    Fourth Wing

    Rebecca Yarros

    4.6

    Fourth Wing

    $9.00
    Verity

    Colleen Hoover

    4.1

    Verity

    $4.75$5.75
    The Seven Husbands of Evelyn Hugo

    Taylor Jenkins Reid

    4.5

    The Seven Husbands of Evelyn Hugo

    $2.75
    The Housemaid

    Freida McFadden

    4.5

    The Housemaid

    $3.00$4.00
    The Silent Patient

    Alex Michaelides

    4.2

    The Silent Patient

    $4.50
    Bloomberg by Bloomberg, Revised and Updated

    Michael R. Bloomberg

    Bloomberg by Bloomberg, Revised and Updated

    $2.99
    RN Adult Medical Surgical Nursing Edition 9. 0

    Ascend Learning

    RN Adult Medical Surgical Nursing Edition 9. 0

    $25.00
    Throne of Glass

    Sarah J. Maas

    4.4

    Throne of Glass

    $5.00$10.00
    The Dragon and the Unicorn

    A. A. Attanasio

    The Dragon and the Unicorn

    $1.50

    Overview

    Publisher Description

    Considered the best book in the field, this completely self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free"...

    Read more

    Be the first one to review

    Review the book today!

    Rate the book
    Published
    Drafts