Liknande böcker

Proof and Knowledge in Mathematics
Bok av Michael Detlefsen
Computability and logic
Bok av George Boolos
What Is Mathematical Logic? [electronic resource]
Bok av J. N. Crossley
First-Order Logic
Bok av Raymond M. Smullyan
Logic and structure
Bok av Dirk van Dalen
The Logic of Partial Information
Bok av Areski Nait Abdallah
Computational Aspects of an Order-Sorted Logic with Term Declarations
Bok av Manfred Schmidt-Schauss
Advances in Linear Logic
Bok av Jean-Yves Girard

Popular Lectures on Mathematical Logic

Bok av Hao Wang