‎[KICKSHAWS] CROMBIE (John) ‎
‎prOOfs ‎

‎Godel's Theorem in Focus , (Kurt Gödel in sharper focus - On formally undecidable propositions of Principia Mathematica and related systems I (1931) - The work of Kurt Godel - The reception of Godel's incompleteness theorems - Kurt Godel : Conviction and caution - On the significance of consistency proofs - On interpreting Godel's second theorem -Wittgenstein's remarks on the significance of Godel's theorem)‎

‎Routledge, London and New York , Philosophers in Focus Series Malicorne sur Sarthe, 72, Pays de la Loire, France 1989 Book condition, Etat : Très Bon paperback, editor's full yellow and grey printed wrappers In-8 1 vol. - 270 pages‎

‎ reprinted edition, 1989 Contents, Chapitres : Contents, Preface, Acknowledgments, ix, Text, 261 pages - John W. Dawson : Kurt Gödel in sharper focus - Kurt Godel : On formally undecidable propositions of Principia Mathematica and related systems I (1931) - Stephen C. Kleene : The work of Kurt Godel - John J. Dawson : The reception of Godel's incompleteness theorems - Solomon Feferman : Kurt Godel : Conviction and caution - Michael D. Resnik : On the significance of consistency proofs - Michael Detlefsen : On interpreting Godel's second theorem - S.G. Shanker : Wittgenstein's remarks on the significance of Godel's theorem - Index near fine copy, no markings‎

‎Revue d'Histoire des Sciences - Tome 52, n° 3-4 - Juillet-Décembre 1999 - Mathématique et logique chez Bolzano , (Frege's and Bolzano's rationalist conceptions of arithmetic - Bolzano's theory of representation - Bolzano's criticism of indirect proofs - Philosophy of mathematics : Bolzano's responses to Kant and Lagrange - Bolzano and Cournot on mathematical explanation - Réalisme mathématique, réalisme logique chez Bolzano - Forme, variation et déductibilité dans la logique de Bolzano)‎

‎Presses Universitaires de France - P.U.F. , Revue d'Histoire des Sciences Malicorne sur Sarthe, 72, Pays de la Loire, France 1999 Book condition, Etat : Bon broché, sous couverture imprimée éditeur blanche, titre en bleu et noir grand In-8 1 vol. - 201 pages‎

‎ 1ere édition, 1999 Contents, Chapitres : 1. Articles : 1.1. Charles Chihara : Frege's and Bolzano's rationalist conceptions of arithmetic - 1.2. Joëlle Proust : Bolzano's theory of representation - 1.3. Johannes Hafner : Bolzano's criticism of indirect proofs - 1.4. Paul Rusnock : Philosophy of mathematics : Bolzano's responses to Kant and Lagrange -1.5. Paolo Mancosu : Bolzano and Cournot on mathematical explanation - 1.6. Hourya Sinaceur : Réalisme mathématique, réalisme logique chez Bolzano - 1.7. Jan Sebestik : Forme, variation et déductibilité dans la logique de Bolzano - 2. Informations, Analyses - Bernard Bolzano (5 octobre 1781 18 décembre 1848), de son nom complet Bernhard Placidus Johann Nepomuk Bolzano, est un mathématicien, logicien, philosophe et théologien né et mort à Prague. Fils dune germanophone et dun émigré dItalie en Bohême, alors dans lEmpire dAutriche, Bolzano a rédigé toutes ses uvres en allemand. L'influence de ses ouvrages philosophiques est importante, tout comme ses découvertes en mathématiques. Il a donné son nom à deux théorèmes. - Bolzano est souvent considéré comme un des fondateurs de la logique moderne. Dans sa Théorie de la science de 1837, il essaie de fournir des fondements logiques à toutes les sciences, construites à partir d'abstractions, d'objets abstraits, d'attributs, de constructions, de démonstrations, de liens La plupart de ces tentatives retracent ses travaux précédents concernant la relation objective entre les conséquences logiques (les choses telles qu'elles se produisent) et notre perception purement subjective de ces conséquences (notre façon d'aborder les évènements). Il se rapproche ici de la philosophie des mathématiques, comme dans ses Beiträge de 1810. Pour Bolzano, nous n'avons aucune certitude quant aux vérités, ou supposées comme telles, de la nature ou des mathématiques, et c'est justement le rôle des sciences, pures comme appliquées, que de trouver une justification des vérités (ou des lois) fondamentales, qui se trouvent le plus souvent en contradiction avec nos intuitions. (source : Wikipedia) Couverture à peine jaunie, légères pliures sur les angles de la couverture, intérieur frais et propre - paginé 340 à 540‎

‎Specimen book of Electrotypes ( rough proofs ) .‎

‎"7. London ( and New York ), Sampson Low, Marston , Searls and Rivington. ( and De Witt C. Lent, 80 Park Place New York, s.d. ( ca. 1875-1885 ), in-folio, 43,5 x 28 cm, 186 leaves, printed on one side only, leaves numbered by hand with red pencil. Bound in contemporary full cloth. ( corners a bit bumped). With printed label of Sampson Low and small circular label of De Witte tipped on to the front cover. The printed Low label contains an added manuscript title '' Specimen book of Electrotypes ( rough proofs) a Book Nos. I ''. Leaves 8-24 have been removed from the binding. This specimen book of the publishing and printing house of Sampson , clearly intended for internal use, by the New York establisment ( De Witt ) contains over a thousend illustrations in electrotype of books published by Sampson Low, Marston , Searls and Rivington. The illustrations are numbered by hand in red pencil and are grouped together following their appearence in a publication. E.g. the specimen album starts with the illustrations of ''Albert Jacquemart - History of Ceramic Art, Low, 1873. Other illustrations are from '' Erema'' by R.D Blackmore . ''The Favell Children'' by Ellen Brown...Other titles: British Goblins ; Flammarion's Atmosphere ; Stowe's Geography ; Hutchinson's Summer Holidays ; Pilgrimage of the Tiber ; London Bridge to Lombardy ; The Harz Mountains ; South Australia ( 66 ills.) ; Stanley's Coomassie ; Koldewey's German Arctic Expedition ; Seonee...and many others. At the end of the specimen book the illustrations are printed with their caption. In the first part captions have been added by hand ( red pencil). This is a fine and interesting example of a specimen book illustrating the peak in book illustration in the last quarter of the 19th century when woodcuts were rapidly replaced by electrotypes."‎

‎Opgeëischten van Gent - Réquisitionnés de Gand - Requçisitioned Civilians of Ghent. German's odious treatments, collection of proofs compiled during their occu-pation. De Barbaarsche be-handelingen desr Duitschers....‎

‎" Gent, Lokale Commissie, s.d. (1919), in-8°, 55 pp. Genaaid, originele omslag ( omslag met papierverlies ;geen tekstverlies). Bevat namen en portretten van de weggevoerden, met teksten van de Duitse opeisingsbevelen.."‎

‎Proofs and Refutations‎

‎Cambridge University Press Academic (10/2015)‎

‎LIVRE A L’ETAT DE NEUF. EXPEDIE SOUS 3 JOURS OUVRES. NUMERO DE SUIVI COMMUNIQUE AVANT ENVOI, EMBALLAGE RENFORCE. EAN:9781107534056‎