Series: Oxford Logic Guides

Sort

Filter

cover image of Consequence Relations

Consequence Relations

Oxford Logic Guides (Series)

Alex Citkin Author
Alexei Muravitsky Author
(2022)

cover image of Godel's Incompleteness Theorems

Godel's Incompleteness Theorems

Oxford Logic Guides (Series)

Book 19

Raymond M. Smullyan Author
(1992)

cover image of Recursion Theory for Metamathematics

Recursion Theory for...

Oxford Logic Guides (Series)

Book 22

Raymond M. Smullyan Author
(1993)

cover image of Fragments of First-Order Logic

Fragments of First-Order Logic

Oxford Logic Guides (Series)

Ian Pratt-Hartmann Author
(2023)