Liknande böcker

Many-valued logics
Bok av Leonard Bolc
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Bok av Peter B Andrews
Sketches of an elephant : a topos theory compendium
Bok av Peter T. Johnstone
The Frege reader
Bok av Gottlob Frege
Logic for Concurrency and Synchronisation
Bok av R J De Queiroz
The Logic of Partial Information
Bok av Areski Nait Abdallah
George Boole : Selected Manuscripts on Logic and its Philosophy
Bok av Ivor Grattan-Guinness
Mathematical Problems from Applied Logic II : Logics for the XXIst Century
Bok av Dov M. Gabbay

A Short Introduction to Intuitionistic Logic

Bok av Grigori Mints