Explore the latest books of this year!
Bookbot

Jon Barwise

    Admissible Sets and Structures
    The Language of First-Order Logic