Reviews
Andrzej Mostowski. Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta philosophica Fennica, no. 17, Helsinki 1965, and Barnes & Noble, Inc., New York1966, 180 pp.; second printing, Helsinki 1967, 180 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
-
- Article
- Export citation
Gerold Stahl. Los universos del discurso y los sistemas correspondientes. Anales de la Universidad de Chile, no. 116 (1959), pp. 50–55.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktnyh shém. Problémy kibérnétiki, vol. 5 (1961), pp. 61–76. - W. L. Murski. Über äquivalente Transformationen von Kontakt-Schaltungen. German translation of the preceding by Franziska Grassme. Probleme der Kybernetik, vol. 5 (1964), pp. 44–64. - V. L. Murskii. On the equivalent transformations of switching circuits. English translation of the same. Problems of cybernetics, vol. 5 (1964), pp. 77–98. - V. L. Murskij. Ob ekvivaléntnyh préobrazovaniáh kontaktno-véntil′nyh shém. Doklady Akadémii Nauk SSSR, vol. 136 (1961), pp. 1043–1046.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 467
-
- Article
- Export citation
H. Rasiowa. Algebraic models of axiomatic theories. Fundamenta mathematicae, Bd. 41 (1954), S. 291–310. - H. Rasiowa. Constructive theories.Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 2(1954), S. 121–124.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
-
- Article
- Export citation
H. Rasiowa. A proof of ε-theorems. Ebd., Bd. 3 (1953), S. 299–302. - H. Rasiowa. On the ε-theorems. Fundamenta mathematicae, Bd. 43 (1956), S. 156–165. (Siehe Errata, ebd., Bd. 44 (1957), S. 333.)
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 286
-
- Article
- Export citation
Hans Hermes. Zur Geschichte der mathematischen Logik und Grundlagenforschung in den letzten fünfundsiebzig Jahren. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 68 (1966), pp. 75–96.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 112
-
- Article
- Export citation
Claes-Göran Holm. Till fràgan om kvantifikationens uppkomst (On the question of the rise quantification theory). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 4–8.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
Pierre Tison. Generalization of consensus theory and application to the minimization of Boolean functions. IEEE transactions on electronic computers, vol. EC-16 (1967), pp. 446–456.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
-
- Article
- Export citation
Seymour Ginsburg and Gene F. Rose. A characterization of machine mappings. Canadian journal of mathematics (Journal canadien de mathématiques), vol. 18 (1966), pp. 381–388.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 468
-
- Article
- Export citation
Michael Morley. Omitting classes of elements. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 265–273.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
-
- Article
- Export citation
Dag Prawitz. Angàende konstruktiv logik och implikationsbegreppet (Concerning constructive logic and the concept of implication). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 9–32.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
P. B. Andrews. A transfinite type theory with type variables. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, xv + 143 pp.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 112-113
-
- Article
- Export citation
Anthony P. Morse. A theory of sets. Academic Press, New York and London1965, xxxi + 130 pp. - Trevor J. McMinn. Foreword. Therein, pp. vii–xxiii.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
Jan Berg. Definitioner av begreppet vyāpti enligt Gaṅgeśa (Definitions of the concept vyāpti according to Gaṅgeśa). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 56–59.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 605
-
- Article
- Export citation
N. V. Bélákin. Mašiny T′uringa, rabotaúščié na ploskosti. Doklady Akadémii Nauk SSSR, vol. 168 (1966), pp. 502–503. - N. V. Beljakin. Turing machines operating on a plane. English translation of the preceding by L. Ebner. Soviet mathematics, vol. 7 no. 3 (1966), pp. 661–662.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
H. Jerome Keisler. Unions of relational systems. Proceedings of the American Mathematical Society, vol. 15 (1964), pp. 540–545. - Jan Mycielski. On unions of denumerable models. Algébra i logika. Séminar, vol. 4 no 2 (1965), pp. 57–58.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation
Hans Hermes. Unentscheidbarkeit der Arithmetik. Mathematisch-physikalische Semesterberichte (Göttingen), vol. 11, no. 1 (1964), pp. 20–34.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 469
-
- Article
- Export citation
Lars Bergström. En del om ‘pragmatisk Implikation’ och likartade begrepp (Something on 'pragmatic implication' and similar concepts). Sju filosofiska studier tillägnade Anders Wedberg, mimeographed, Filosofiska studier utgivna av Filosofiska Institutionen vid Stockholms Universitet, no. 9, Stockholm1963, pp. 60–78.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 605-606
-
- Article
- Export citation
W. V. Quine and Hao Wang. On ordinals. Bulletin of the American Mathematical Society, vol. 70 (1964), pp. 297–298.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 113
-
- Article
- Export citation
H. Läuchli and J. Leonard. On the elementary theory of linear order. Fundamenta mathematicae, vol. 59 (1966), pp. 109–116.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
-
- Article
- Export citation