Contents
Reviews
Erik Ellentuck. Infinite products of isols. Pacific journal of mathematics, vol. 14 (1964), pp. 49–52.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 652-653
-
- Article
- Export citation
Wolfgang Yourgrau and Donald Livingstone. On the matter of mathematical constants. Methodos, vol. 9 (1957), pp. 3–29.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
M. J. Cresswell. On the logic of incomplete answers. The journal of symbolic logic, vol. 30 (1965), pp. 65–68.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 498
-
- Article
- Export citation
Setsuo Saito. Truth value assignment in predicate calculus of first order. Notre Dame journal of formal logic, vol. 4 no. 3 (1963), pp. 216–223.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
A. A. Markov. K problémé prédstavimosti matric (Zum Problem der Darstellbarkeit von Matrizen). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 157–168.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Z. Pawlak. New method of parenthesis-free notations of formulae. Bulletin de l'Académie Polonaise des Sciences, Série des sciences techniques, vol. 8 no. 4 (1960), pp. 197–198.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 115
-
- Article
- Export citation
G. Hasenjaeger. Eine Bemerkung zu Henkin's Beweis für die Vollständigkeit des Prädikatenkalküls der ersten Stufe. The journal of symbolic logic, vol. 18 (1953), pp. 42–48.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 268
-
- Article
- Export citation
Bolesław Sobociński. A contribution to the axiomatization of Lewis' system S5. Notre Dame journal of formal logic, vol. 3 (1962), pp. 51–63. - Bolesław Sobociński. On the generalized Brouwerian axioms.Notre Dame journal of formal logic, vol. 3 (1962), pp. 123–128. - Bolesław Sobociński. A note on modal systems.Notre Dame journal of formal logic, vol. 4 (1963), pp. 155–157. - Ivo Thomas. Solutions of five modal problems of Sobociński.Notre Dame journal of formal logic, vol. 3 (1962), pp. 199–200. - Ivo Thomas. S1° and Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 151–152. - Ivo Thomas. S1° and generalized Si-axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 153–154. - Ivo Thomas. A final note on S1° and the Brouwerian axioms.Notre Dame journal of formal logic, vol. 4 (1963), pp. 231–232. - Ivo Thomas. Modal systems in the neighbourhood of T.Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 59–61. - Ivo Thomas. Ten modal models. The journal of symbolic logic, vol. 29 no. 3 (1964), pp. 125–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 498-500
-
- Article
- Export citation
N. M. Nagornyj. Primer gruppy s nérékursivnym céntrom (Beispiel einer Gruppe mit nicht rekursivem Zentrum). Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 4 (1958), pp. 304–308.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Leon Gumański. Jedynkowe systemy aksjomatyczne. Prace wydziału filologiczno-filozoficznego, vol. 15 no. 1. Towarzystwo Naukowe w Toruniu, Toruń1964, 75 pp. - Leon Gumański. Unitary axiom systems (A summary). Therein, pp. 73–74.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-117
-
- Article
- Export citation
H. J. Keisler. A complete first-order logic with infinitary predicates. Fundamenta mathematicae, vol. 52 (1963), pp. 177–203.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 269
-
- Article
- Export citation
Federico M. Sioson. Further axiomatizations of the Łukasiewicz three-valued calculus. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 62–70.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-501
-
- Article
- Export citation
Bolesław Sobociński. A note concerning the many-valued propositional calculi. Notre Dame journal of formal logic, vol. 2 (1961), pp. 127–128.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 117
-
- Article
- Export citation
S. Feferman. Arithmetization of metamathematics in a general setting. Fundamenta mathematicae, vol. 49 no. 1 (1960), pp. 35–92.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 269-270
-
- Article
- Export citation
Wacław Sadowski. Dowód aksjomatyzowalności pewnych n-wartościowych rachunków zdań (A proof of axiomatizability of certain n-valued sentential calculi). Polish, with Russian and English summaries. Studia logica, vol. 15 (1964), pp. 25–36.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 501
-
- Article
- Export citation
Alan Cobham. Effectively decidable theories. 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. 391–395.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 653
-
- Article
- Export citation
Robert McNaughton. Undefinability of addition from one unary operator. Transactions of the American Mathematical Society, vol. 117 (1965), pp. 329–337.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 270
-
- Article
- Export citation
A. H. Lachlan. Effective operations in a general setting. The journal of symbolic logic, vol. 29 no. 4 (for 1964, pub. 1965), pp. 163–178.
-
- Published online by Cambridge University Press:
- 12 March 2014, p. 654
-
- Article
- Export citation
G. A. Šéstopal. O čislé prostyh bazisov bulévyh funkcij. Doklady Akadémii Nauk SSSR, vol. 140 (1961), pp. 314–317. - G. A. Šestopal. On the number of simple bases of Boolean functions. English translation of the preceding by E. Mendelson. Soviet mathematics, vol. 2 no. 5 (1961), pp. 1215–1219. - S. V. Áblonskij. O supérpoziciáh funkcij v Рκ (On superpositions of functions in Ρκ). Problémy kibérnétiki, vol. 9 (1963), pp. 337–340. - V. V. Martynúk. Isslédovanié nékotoryh klassov funkcij v mnogoznačnyh logikah (Investigation of some classes of functions in multivalued logics). Problémy kibérnétiki, vol. 3(1960), pp. 49–60. - É. Ú. Zaharov and S. V. Áblonskij. O nékotoryh svojstvah suščéstvénnyh funkcij iz Рκ (On some properties of essential functions from Рκ). Problémy kibérnétiki, vol. 12 (1964), pp. 247–252.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 501-502
-
- Article
- Export citation
Mary Katherine Yntema. A detailed argument for the Post-Linial theorems. Notre Dame journal of formal logic, vol. 5 no. 1 (1964), pp. 37–50.
-
- Published online by Cambridge University Press:
- 12 March 2014, pp. 117-118
-
- Article
- Export citation