Stig Kanger (16 results)

Library Binding. Condition: Good. Family-owned bookshop in Steubenville, Ohio. Books shipped within 24 hours. Ex-library with usual marks. Paperback edition library bound in to a hardback. No marks noted in text. Binding is sound. . . . . . . TABLE OF CONTENTS: 1.) Introduction -- 2.) The Formal Language L -- 3.) Valuation -- 4.) The Logical Calculus LC -- 5.) The Completeness and Soundness of LC -- 6.) The Effective Proof Procedure -- 7.) The General Theory of Modalities -- 8.) Provability in Some Modal Logics -- * References.

Condition: Fair. Volume 143. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9027710910.

[Lund], no year. 21,5x15,5 cm. 99-104 pp. Original printed wrappers, stapled. Fine. Inscribed by the author to Teddy Brunius. Brunius (1922-2011) was professor of philosophy at State University of New York 1969-1973, and professor of art history at Copenhagen University 1973-1992.

Hardcover, dustjacket. 164 pp.; 15 cm. " Synthese Library Volume 143 " Text in English. (previous owner's name) Very good, see picture 400g.

Hardcover. Condition: Fine. Dust Jacket Condition: Near Fine. Studies in Logic and the Foundations of Mathematics, Volume 82. Bright yellow cloth with attractive black and gold blocking; interior clean with no writing or underlining; dust jacket with only slightest darkening to spine and the mildest shelf wear, complete, clean and bright. Condition fine in near fine dust jacket.

1st ed. V, 214 p. Fine copy. Sprache: Englisch Gewicht in Gramm: 0 Gr.-8°, original cloth-binding with dustjacket.

D. Reidel Publishing Company, Dordrecht 1974. 217 pp. Publisher's cloth with d/w. Fine condition. (Synthese Library. Volume 63).

Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Condition: As New. Unread book in perfect condition.

Trċdhäftad, tryckta omslag. Namnstämpel: Stig Hjalmars. Den smala ryggen med prydlig pċskrift av titeln. Gott skick. Stockholm, Stockholms universitet, 1963. A4-format. 46 blad (med text pċ en sida). Med bibliografi. (Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms universitet, hft. 8.).

Condition: Normal. North-Holland. Amsterdam, 1968 23 x 15,5 cm., 215 pag. Tapa blanda; buen estado de conservacion. MATEMATICAS . Ejemplares disponibles: 1 Normal.

weicher Einband. S.152-157. Br. Sprache: Englisch.

Condition: Fair. Stockholm: The University of Stockholm, 1957. 1st edition. Part 1. 4to Paperback. 42pp. Fair book. Rare, low quantity on OCLC. Possibly inscribed by author on title page, can't verify signature. Light brown wrappers with front black lettering. Heavy edgewear. Covers and all pages dampstained. Pages toned. In polypropylene bag. (ethics) Inquire if you need further information.

First edition. 8vo. 47, [3] pp. Original buff printed wrappers (a few occasional ink marginal annotations; minor creasing to edges, else a very good copy). Stockholm, Almqvist & Wicksell, Acta Universitatis Stockholmiensis, Stockholm Studies in Philosophy 1. "Although Kanger's greatest achievements were in pure logic he also made important contributions to philosophy by applying logical techniques within ethical theory, philosophy of law, philosophy of language and philosophy of science. His dissertation, Provability in Logic (1957), contains major contributions to two central areas of logic. By combining Gentzen's sequent calculus with the model theory of Tarski, he obtains new and simplified proofs of central metalogical results like Gödel's completeness theorem, Löwenheim-Skolem's theorem and Gentzen's Hauptsatz. He also develops a new semantic theory for various modal logics and connects it with sequent calculi for these logics. This work makes Kanger one of the founders of possible-worlds semantics" (Biographical Dictionary of Twentieth-Century Philosophers).