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

RareNonFiction.com · Kanada199,95 €

Magee, AlanMareMagnum

Stones and Other Works

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

RareNonFiction.com · Kanada199,95 €

ARMANLivre Rare Book

Arman. Accumulations et colères. 1962

1962Best.-Nr. 015835Paris Galerie Lawrence 1962 En feuilles

Librairie-Galerie Emmanuel Hutin · Paris, Frankreich200,00 €

Facciolati Jacobi.MareMagnum

Jacobi Facciolati Logica tria complectens: Rudimenta, Institutiones, Acroases.

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.

Libreria Antiquaria Gozzini · Italien200,00 €

GENOVESI Antonio (1713-1769)MareMagnum

Antonii Genuensis in regia neapolitana academia ethicae professoris Elementorum Artis Logicocriticae libri V editio ultima

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

La Fenice · Italien200,00 €

Ejercicios de Logica Aristotelica (Spanish Edition)Biblio.com

6

Best.-Nr. DADAX8498493374New unknown

Ergodebooks · Vereinigte Staaten224,27 $≈ 200,37 €

HILBERT, D. UND W. ACKERMANN. - THE FOUNDATION OF MODERN MATHEMATICAL LOGIC.Livre Rare Book

Grundzüge der theoretischen Logik.

1928Best.-Nr. 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.

Herman H. J. Lynge & Son · Copenhagen, Dänemark1.500,00 DKK≈ 200,67 €

HILBERT, D UND W ACKERMANN - THE FOUNDATION OF MODERN MATHEMATICAL LOGICBiblio.com

Grundzüge der theoretischen Logik.

1928Best.-Nr. 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

Herman H. J. Lynge & Søn A/S · Dänemark1.500,00 DKK≈ 200,67 €

Simple Theories and Hyperimaginaries (Lecture Notes in Logic, Series Number 39)Biblio.com