Jon Barwise

3 titles on Bookis

All books

Admissible Sets and Structures

Admissible Sets and Structures

2017

The Language of First-Order Logic

The Language of First-Order Logic

1991

Turing's World 3.0 for the Macintosh : an introduction to computability theory

Turing's World 3.0 for the Macintosh : an introduction to computability theory

1993

The social marketplace for new and used books.

Get started

Company

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS