00809nam0-22002891i-450-9900009644104033210-521-21879-9000096441FED01000096441(Aleph)000096441FED0100009644120000920d19711979km-y0itay50------baeng<<The >>unprovability of consistencyAn Essay in Modal LogicGeorge BoolosLondon [etc.]Cambridge University Press1979viii, 184 p.22 cmLogicaRicorsività160Boolos,George45067ITUNINARICAUNIMARCBK9900009644104033217-23911956FI1FI1Unprovability of consistency358767UNINA