Dunn, J. Michael; Gupta, Anil: EditorsMareMagnum
2,444 results
1990378 pages. Index. These essays "Reflect the diversity of Belnap's interests and contributions to logic and philosophy. The topics discussed include the concept of truth; relevance, modal, and tense logics; philosophy of mathematics; and probability and confirmation." - from back cover. Light wear. Occasional underlining and marginalia in red ink. Sound copy. Book
198716" x 12". 28 Colour plates. "Magee... can legitimately be described as one of the finest representational painters at work in America today." - from Foreword. "Alan Magee's drawings relay a sense of the miraculousness, the incredible complication yet perfect logic in the structure of the simplest everyday things." - John Canaday in the Saturday Review. Clean, bright and unmarked with very light wear. Excellent copy. Book
1962ref. 015835Paris Galerie Lawrence 1962 En feuilles
1750Venetiis, Typis Joan. Baptistae Albritii Hier. Fil. 1750, in-8, legatura coeva in piena pergamena, titolo manoscritto al dorso, pp. [16], 127, 222, [2], [8], 168. Le Institutiones e le Acroases hanno frontespizi e paginazioni propri. Ottimo esemplare.
1778in 8°, pp. 10 nn., 530; leg. recente m/perg. con tit. manos. al ds. e piatti marmor. L'opera è composta di 5 parti: Prolegomena, de artis, logicocriticae natura origine & progressu. Libro I: De natura & operationibus mentis, Libro II: De ideis, idearumque objectis & signis. Libro III: De vero & falso, deque criteriis veri generatim. Libro IV: De usu auctoritatis & Arte critica. Libro V: De iis quae at ratiocinium pertinent. Restauro ben eseguito alla 1^ pag. dei "Prolegomena" con testo mancante manos.; testatine. e capil., ampi margini, esemplare fresco. 254/36
ref. DADAX8498493374New unknown
1928ref. 46101Berlin Springer 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away no loss of letters. VIII120 pp. First edition. Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen Band XXVII. In the years 1917-22 Hilbert gave three seminal courses at the Univeristy og Göttingen on logic and the foundation of mathematics. He received considerable help in preperation and eventual write up of these lectures from Bernays. This material was subsequently reworked by Ackermann into the monograph 'Grundzüge der Theoretischen Logik' the offered item. It containes the first exposition ever of first-order logic and poses the problem of its completeness and the decision problem 'Entscheidungsproblem'. The first of these questions was answered just a year later by Kurt Gödel in his doctorial dissertation 'Die Vollständigkeit der Axiome des logischen Funktionenkalküls'. This result is known as Gödel's completeness theorem. Two years later Gödel published his famous 1931 paper 'Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I' in which he showed that a stronger logic capable of modeling arithmetic is either incomplete or inconsistent Gödel's second incompleteness theorem. The later question posed by Hilbert and Ackermann regarding the decision problem was answered in 1936 independantly by Alonzo Church and Allan Turing. Church used his model the lambda-calculus and Turing his machine model to construct undecidable problems and show that the decision problem is unsolvable in first-order logic. These results by Gödel Church and Turing rank amongst the most important contributions to mathematical logic ever. hardcover
1928ref. 46101Berlin, Springer, 1928. Orig. full cloth. Lower part of spine with loss of cloth. Lower right cornerof titlepage cut away, no loss of letters. VIII,120 pp.
ref. DADAX0521119553New unknown
ref. DADAX0306110636New unknown
ref. DADAX0306421577New unknown
ref. DADAX0387768718New unknown
ref. DADAX0306110601New unknown
ref. DADAX0415133416New unknown
ref. DADAX0367417960New unknown
ref. DADAX0367420481New unknown
ref. DADAX0367418029New unknown
ref. DADAX0367418002New unknown
ref. 35771910-nnew. unknown
ref. SONG3319423355Used: Good unknown
ref. DADAX030611061XNew unknown
ref. DADAX3642634486New unknown
ref. DADAX0471603457New unknown
ref. DADAX0792346300New unknown
ref. DADAX038709542XNew unknown
