‎Matemáticas‎

‎STRAWSON, P.F. - GILBERT RYLE edt.‎

‎Singular Terms. Ontology and Identity. (In: Mind. A Quarterly Review of Psychology and Philosophy. Vol. LXV. No. 260. October, 1956).‎

‎Edinburgh & N.Y., Thomas Nelson & Sons, 1956. 8vo. Orig. printed grey wrappers w. some tears to extremities. A few tears to piece of back. Internally mint. Four leaves of contents laid in loose at front. Pp. 433 - 454 (rest of volume: pp. 455 - 576, [4 pp. - advertisements] ).‎

‎First appearance. Sir Peter Frederick Strawson (1919-2006) was an English philosopher, already famous in his life-time and considered largely responsible for having established the field of metaphysics as a worthwhile direction in analytic philosophy. In 1977 Strawson was knighted for his services to philosophy.‎

Referência livreiro : 31405

‎"FREGE, GOTTLOB.‎

‎The Thought: a Logical Inquiry (Translated by A.M. and Mercelle Quinton). (In: Mind. A quarterly Review of Psychology and Philosophy. Edited by Gilbert Ryle. Vol. LXV. No. 259. July, 1956). + Negation. Translated by P.T. Geach. (In: Translations from ... - [THE LOGICAL INVESTIGATIONS]‎

‎Edinburgh & Oxford, 1952, 1956 + 1963. All three articles are present in the entire orig. volumes, all in the orig. wrappers. The two volumes of ""Mind"" are in the orig. printed grey wrappers and the ""Philosophical Essays"" is in the orig. green full cloth w. the orig. d-j. in very good condition w. only a few smaller tears to upper capital and upper front wrapper, not price-clipped. Internally mint. Mind Vol. LXXII, No. 285 w. a tear to back, else very fine. Mind Vol. LXV, No. 259 w. some signs of wear, especially to extremities, but a fine and internally very clean copy.‎

‎This set comprises the entire ""Logische Untersuchungen"" in the first English language translations. In the foreword to ""Compound Thoughts"", the translator notes: ""This article, entitled ""Logische Untersuchungen. Dritter Teil: Gedankenfüge"", was published in the ""Beiträge zur Philosophie des deutschen Idealismus, III (1923), 36-51. The first two parts of these ""logical investigations"" were ""Der Gedanke"" (Beiträge I (1819), trans. ""The Thought"" in MIND LXV (1956) ) and ""Die Verneinung"" (Beiträge I (1919), trans. ""Negation"" in Geach and Black (ed.) ""Translations from the Philosophical Writings of Gottlob Frege.""). The three articles that constitute the Logical Investigations are some of the most important, influential and widely discussed of Frege's philosophical papers. In 1875 the entire ""Logical Investigations"" appeared together in English translation for the first time. It was Frege's wish that these three articles were viewed as a whole and published together under the title of ""Logische Untersuchungen"", now considered a work of the utmost importance. These three volumes also comprise many other articles by Frege in the first English translations (in Translations from the Philosophical Writings of Gottlob Frege) as well as original contributions by P.T. Geach: ""On Frege's Way Out"" (in Mind Vol. LXV, No. 259. and ""Mr. Strawson on Symbolic and Traditional Logic"" (in Mind Vol. LXXII, No. 285).Friedrich Ludwig Gottlob Frege (1848 - 1925) was a German mathematician, but his main contributions lie in his becoming a logician and a philosopher, who influenced the fields of logic and analytic philosophy immensely. Together with Wittgenstein, Russel and Moore, Frege is considered the founder of analytic philosophy, and a main founder of modern mathematical logic. His influence on 20th century philosophy has been profound, especially in the English speaking countries from the middle of the 20th century and onwards" in this period most of his works were translated into English for the first time.The philosophical papers of Frege were published in Germany in scholarly journals, which were barely read outside of German speaking countries. The first collections of his writings did not appear untill after the the Second World War, and Frege was little known as a philosopher during his lifetime. He greatly influenced the likes of Russel, Wittgenstein and Carnap, though, and bears a great responsibility for the turn modern philosophical thought has taken. Due to his contributions to the philosophy of language, analytic philosophy could be founded as it were.‎

Referência livreiro : 31618

‎QUINE, WILLARD VAN O.‎

‎Mathematical Logic. Revised Edition.‎

‎Cambridge, Harvard University Press, 1951. Orig. full cloth. XII,346 pp.‎

Referência livreiro : 31704

‎KIEPERT, LUDWIG.‎

‎Grundriss der Integral Rechnung. Zwölfte Aufl. von Max Stegemann. 2 Bde.‎

‎hannover, Helwingsche, 1920. 2 orig. hcalf. Gilt backs. XII,1020 pp. (incl. Anhang).‎

Referência livreiro : 31811

‎ZEUTHEN, H.G.‎

‎Forelæsninger over Mathematikens Historie. 2 Bd. (1. Oldtid og Middelalder. 2. 16de og 17de Aarhundrede).‎

‎København, 1893-1903. Indbundet i 2 ensartede samt. hldrbd. Rygge lidt falmet. (10),292VIII,612 pp. Enkelte blyantsindtregninger.‎

Referência livreiro : 31817

‎ANDERSEN, A.F.‎

‎Studier over Cesàro's Summabilitetsmetode med særlig Anvendelse overfor Potensrækkernes Teori.‎

‎København, 1921. Orig. bogtrykt omslag. Frisk eksemplar. (6),100 pp.‎

‎Doktordisputatsen.‎

Referência livreiro : 31845

‎ROBINSON, ABRAHAM.‎

‎Introduction to Model Theory and to the Metamathematics of Algebra. Second edition.‎

‎Amsterdam, North-Holland, 1965. 8vo. Publishers full cloth with dust kacket. Fine condition. 284 pp.‎

‎Second and final edition. The first edition was published 1963.‎

Referência livreiro : 32020

‎LUCE, R. DUNCAN & HOWARD RAIFFA.‎

‎Games and Decisions: Introduction and Critical Survey.‎

‎New York, John Wiley & Sons, 1958. 8vo. Publisher half cloth. XIX,(1),509,(1) pp.‎

‎Third printing.‎

Referência livreiro : 32026

‎LOOMIS, L. H.‎

‎An Introduction to Abstract Harmonic Analysis.‎

‎Princeton, Van Nostrand, (1953). 8vo. Publishers full cloth. X,190 pp.‎

Referência livreiro : 32028

‎BOERNER, HERMANN.‎

‎Darstellungen von Gruppen: Mit Berücksichtigung der Bedürfnisse der Modernen Physik.‎

‎Berlin, Springer, 1955. 8vo. Publishers full cloth. XI,(1),287 pp.‎

‎First edition.‎

Referência livreiro : 32033

‎HINTIKKA, JAAKKO. & PATRICK SUPPES. (EDS.).‎

‎Aspects of Inductive Logic.‎

‎Amsterdam, North-Holland, 1966. 8vo. Publishers full cloth with dust jacket. Fine condition. (4),320 pp.‎

‎First edition.‎

Referência livreiro : 32036

‎NOVIKOV, PYOTR SERGEYEVICH.‎

‎Elements of Mathematical Logic.‎

‎Edinburgh & London, Olyver & Boyd, (1964). 8vo. Publishers full cloth with dust jacket. Near mint condition. XI,(1),296 pp.‎

‎First English edition. Originally published in Russian in 1959.‎

Referência livreiro : 32044

‎NEYMAN, J. - DAVID, F.N. (EDT.).‎

‎Festschrift for J. Neyman. Research Papers in Statistics.‎

‎London, John Wiley & Sons, 1966. Orig. full cloth. Portrait frontispiece. VIII,468 pp.‎

‎First edition. Contributions by E.S. Pearson, M.S. Bartlett, D.R. Cox, H. Cramer, L. Le Cam, D.G. Kendall, P. Levy and others.‎

Referência livreiro : 32291

‎KUSHYAR IBN LABBAN.‎

‎Principles of Hindu Reckoning. A Translation with Introduction and Notes by Martin Levey and Martvin Petruck of the Kitab Fi Usul Hisab Al-Hind.‎

‎Madison & Milwaukee, University of Wisconsin Press, 1965. Orig. full cloth. XII,114 pp.‎

Referência livreiro : 32439

‎THUREAU-DANGIN, F. (EDT.).‎

‎Textes Mathématiques Babyloniens. Transcrits et Traduits.‎

‎Leiden, brill, 1938. 4to. Solid full fabrikoid. XL,243 pp.‎

Referência livreiro : 32500

‎FELDMAN, W.M.‎

‎Rabbinical Mathematics and Astronomy. With a Preface by R.A. Sampson. Foreword by Adolf Fraenkel.‎

‎N.Y., Hermon Press, 1965. Orig. full cloth. XIV,232,(4) pp., textdiagrams.‎

Referência livreiro : 32508

‎LEJEUNE, ALBERT.‎

‎Recherches sur la Catoptrique Greque d'aprés les Sources antique et médievales.‎

‎Bruxelles, Palais de Academies, 1957. Orig. printed wrappers. 199 pp., textdiagrams.‎

Referência livreiro : 32515

‎AL-KASHI, JAMSHID GHIYATH AL-DIN.‎

‎The Planetary Equatorium. An Edition of the Anonymous Persian Manuscript 75 (44 b) in the Great Garrett Collection at Princeton University. Being a description of two Computing Instruments. The Plate of heavens and the Plate of Conjunctions. With a Tr...‎

‎Princeton, University Press, 1960. Orig. full cloth. XVI,267 pp. With a facsimile of the MS.‎

Referência livreiro : 32548

‎BELL, E.T.‎

‎The Development of Mathematics.‎

‎N.Y., McGraw-Hill, 1940. Orig. full cloth. Edges with traces of use. XII,583 pp.‎

‎First edition.‎

Referência livreiro : 32551

‎HATREE, D.R.‎

‎Numerical Analysis. Sec. ed.‎

‎Oxf., 1958. Royal8vo. Orig. cloth. X, 302 pp.‎

Referência livreiro : 3259

‎HILBERT, D. & W. ACKERMANN.‎

‎Grundzüge der Theoretischen Logik. (Die Grundlehren der Mathematischen Wissenshaften in Einzeldarstellungen, Band XXVII).‎

‎Berlin, Julius Springer, 1928. 8vo. Publisher's full cloth. Ink signature of Samuel Skulsky on front free end paper. Completely clean throughout. A fine and tight copy.‎

‎First edition of the foundation of modern mathematical logic.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. Scarce in this condition.‎

Referência livreiro : 32705

‎EXNER, ROBERT M. & MYRON F. ROSSKOPF.‎

‎Logic in Elementary Mathematics.‎

‎New York & Toronto & London, McGraw-Hill, 1959. 8vo. Orig full cloth w. gilt lettering in orig. dust jacket. IX,274 pp.‎

‎First edition.‎

Referência livreiro : 32719

‎BETH, EVERT W.‎

‎Formal Methods. An Introduction to Symbolic Logic and to the Study of Effective Operations in Arithmetic and Logic.‎

‎Dordrecht, D. Reidel Publishing Comp., (1962). 8vo. Orig. full cloth. XIV,170 pp.‎

Referência livreiro : 32735

‎BETH, E. W.‎

‎Les fondements logiques des mathématiques. Deuxième édition revue et augmentée.‎

‎Paris, Gauthier-Villards, 1955. 8vo. Orig. printed wrapper. Back hinge a bit worn, otherwise fine. XV,241 pp.‎

‎Published in the series 'Collection de Logique Mathématique', Serie A.‎

Referência livreiro : 32738

‎ROSSER, J. BARKLEY.‎

‎Deux esquisses de logique.‎

‎Paris, Gauthier-Villars, 1955. 8vo. Orig. wrappes. 65,(3) pp.‎

‎First edition. Published in the series 'Collection de logique mathematique', Séria A, VII.‎

Referência livreiro : 32756