Contents
Reviews
Shih-Chao Liu. A note on many-one reducibility. The journal of symbolic logic, vol. 28 no. 1 (for 1963, pub. 1964), pp. 35–42.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 512
-
- Article
- Export citation
Francesca Rivetti Barbò. L'antinomia del mentitore nel pensiero contemporaneo, da Peirce a Tarski. Studi - testi - bibliografia. Pubblicazioni dell'Università Cattolica del Sacro Cuore, serie terza, scienze filosofiche, 5. Vita e Pensiero, Milano1961, XLIII + 744 pp. - Charles Sanders Peirce. Ristampa di un brano da 283, con versione italiana a fronte. Ivi, pp. 334–339. - Charles Sanders Peirce. Ristampa di un breve commento da Collected papers 2.352, con versione italiana a fronte. Ivi, pp. 338, 339. - Charles Sanders Peirce. Ristampa di un brano di The regenerated logic (2812), con versione italiana a fronte. Ivi, pp. 338–341. - Charles Sanders Peirce. Insolubilia. Ristampa di 2813, con versione italiana a fronte. Ivi, pp. 340–343. - Ernst Schröder. Ristampa di un brano di 4210, con versione italiana a fronte. Ivi, pp. 342–345. - Bertrand Russell. Les paradoxes de la logique. Ristampa di brani di 11114, con versione italiana a fronte. Ivi, pp. 346–353. - Bertrand Russell. Mathematical logic as based on the theory of types. Ristampa di brani di 11116, con versione italiana a fronte. Ivi, pp. 352–363. - Alfred North Whitehead e Bertrand Russell. Ristampa di brani del l'introduzione del 1941, con versione italiana a fronte. Ivi, pp. 362–371. - Bertrand Russell. The philosophy of logical atomism. Ristampa di un brano di 11125, con versione italiana a fronte. Ivi, pp. 370–375. - Bertrand Russell. Logical atomism. Ristampa di un brano di XXV 333(2), conversione italiana a fronte. Ivi, pp. 376, 377. - Ludwig Wittgenstein. Ristampa di 3.33–3.333 e 4.442 da 2812, testo tedesco, con versione italiana a fronte dal G. C. M. Colombo. Ivi, pp. 376–379. - Frank Plumpton Ramsey. The foundations of mathematics. Ristampa di brani di 2955, con versione italiana a fronte. Ivi, pp. 378–385. - Frank Plumpton Ramsey. Mathematical logic. Ristampa di un brano di 2958, con versione italiana a fronte. Ivi, pp. 386–389. - Alfred Tarski. Der Wahrheitsbegriff in den formalisierten Sprachen. Ristampa di 28516. Ivi, pp. 392–674 (pagine pari), 674–677. - Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. Versione italiana del medesimo. Ivi, pp. 393–675 (pagine dispari). - A paradossi e antinomie l'autrice, docente nell'universita cattolicadel Sacro cuore di Milano, ha gia dedicato, tra il 1957 ed il 1961, almeno cinque articoli. Segue ora questo libro.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 283-284
-
- Article
- Export citation
Dana Scott. The notion of rank in set-theory. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 267–269.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 662-663
-
- Article
- Export citation
Leon Henkin. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 284–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 128
-
- Article
- Export citation
Hilary Putnam. Axioms of class existence. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 271–274.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
G. Kreisel. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 313–320.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 128-129
-
- Article
- Export citation
Shih-Chao Liu. On many-one degrees. The journal of symbolic logic, vol. 28 no. 2 (for 1963, pub. 1964), pp. 143–153.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 512-513
-
- Article
- Export citation
Alfred Tarski. Il concetto di verità nei linguaggi formalizzati. A cura di Francesca Rivetti Barbò. Vita e Pensiero, Milano1963, pp. VIII, 391–677, 1*-43*.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Hartley RogersJr., The present theory of Turing machine computability. Journal of the Society for Industrial and Applied Mathematics, vol. 7 (1959), pp. 114–130.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
G. Kreisel. Mathematical significance of consistency proofs. The journal of symbolic logic, vol. 23 no. 2 (for 1958, pub. 1959), pp. 155–182.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 129
-
- Article
- Export citation
H D Sprinkle. A development of cardinals in “The consistency of the continuum hypothesis.”Proceedings of the American Mathematical Society, vol. 7 (1956), pp. 289–291.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 663
-
- Article
- Export citation
Witold A. Pogorzelski and Jerzy Slupecki. O dowodzie matematycznym (On mathematical proof). Państwowe Zaklady Wydawnictw Szkolnych, Warsaw1962, 128 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Hartley RogersJr., On universal functions. Proceedings of the American Mathematical Society, vol. 16 (1965), pp. 39–44.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 513
-
- Article
- Export citation
Roman Sikorski. A few problems on Boolean algebras. Colloquium mathematicum, vol. 11 no. 1 (1963), pp. 25–28.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 663-664
-
- Article
- Export citation
Chen Chung Chang and Anne C. Morel. Some cancellation theorems for ordinal products of relations. Duke mathematical journal, vol. 27 (1960), pp. 171–181. - Chen Chung Chang. Cardinal and ordinal multiplication of relation types. Lattice theory, Proceedings of symposia in pure mathematics, vol. 2, American Mathematical Society, Providence 1961, pp. 123–128. - C. C. Chang. Ordinal factorization of finite relations. Transactions of the American Mathematical Society, vol. 101 (1961), pp. 259–293.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 129-130
-
- Article
- Export citation
Jan Łukasiewicz. Elementy logiki matematycznej (Elements of mathematical logic). Second edition of 1866. Państwowe Wydawnictwo Naukowe, Warsaw1958, 99 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 284
-
- Article
- Export citation
Z. A. Melzak. An informal arithmetical approach to computability and computation. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 279–293. - Joachim Lambek. How to program an infinite abacus. Canadian mathematical bulletin (Bulletin canadien de mathématiques), vol. 4 (1961), pp. 295–302.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 514
-
- Article
- Export citation
A. G. Lunc. Mnogopolúsniki, sodéržaščié zamykaúščié kontakty vnutrénnih rélé (Multiterminal networks containing the closing contacts of internal relays). Doklady Akadémii Nauk SSSR, vol. 165 (1965), pp. 47–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 664
-
- Article
- Export citation
Jan Łukasiewicz. Aristotélévskaé sillogistika s točki zréniá sovréménnoj formal′noj logiki (Aristotle's syllogistic from the standpoint of modern formal logic). Izdatél′stvo Inostrannoj Litératury, Moscow1959, 311 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 285
-
- Article
- Export citation
R. Sikorski. On a generalization of theorems of Banach and Cantor-Bernstein. Colloquium mathematicum, vol. 1 (1947), pp. 140–144. - Shin’ichi Kinoshita. A solution of a problem of R. Sikorski. Fundamenta mathematicae, vol. 40 (1953), pp. 39–41.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 130-131
-
- Article
- Export citation