Liknande böcker

Logic
Bok av Wilfrid Hodges
How to prove it : a structured approach
Bok av Daniel J. Velleman
Introduction to Symbolic Logic and Its Applications
Bok av Rudolf Carnap
Bounded Arithmetic, Propositional Logic and Complexity Theory
Bok av Jan. Krajicek
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Bok av Dov M. Gabbay
The foundations of mathematics
Bok av Ian Stewart
Logic: A Very Short Introduction
Bok av Graham Priest
Lectures in Logic and Set Theory
Bok av George. Tourlakis

First-Order Logic

Bok av Raymond M. Smullyan
An introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods.