Liknande böcker

Domains and Processes
Bok av Klaus Keimel
The Frege reader
Bok av Gottlob Frege
The unprovability of consistency : an essay in modal logic
Bok av George Boolos
Modal Logic
Bok av Nino B. Cocchiarella och Max A. Freund
Introduction to Mathematical Logic and Type Theory : To Truth Through Proof
Bok av Peter B Andrews
Mathematics mechanization : mechanical geometry theorem-proving, mechani...
Bok av Wen Tsun Wu
Types, Tableaus, and Goedel's God
Bok av Melvin Fitting
Sketches of an elephant : a topos theory compendium
Bok av Peter T. Johnstone

Paraconsistency

Bok av Brazil) World Congress on Paraconsistency 2000 (Sao Paulo och Walter A. (EDT) Carnielli m.fl.
Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.