The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 25, Issue 3
Publication Date: September, 1960
Miscellaneous front pages, J. Symbolic Logic, Volume 25, Issue 3 (1960)
A Theorem Concerning the Composition of Functions of Several Variables Ranging Over a Finite Set
Arto Salomaa; 203-208
On the Definition of an Infinitely-Many-Valued Predicate Calculus
Joseph D. Rutledge; 212-216
Reviews
Review: Gustav Bergmann, Philipp G. Frank, Sense and Nonsense in Operationism; Carl G. Hempel, A Logical Appraisal of Operationism
Atwell R. Turquette; 255-256
Review: Jerome Rothstein, C. A. Muses, Communication, Organization and Science
Leon Henkin; 256
Review: Frank Restle, Psychology of Judgment and Choice: A Theoretical Essay
Alonzo Church; 257
Review: Anders Wedberg, Filosofins Historia. Antiken och Medeltiden
Th. Skolem; 258-259
Review: Tadeusz Kotarbinski, La Logique en Pologne. Son Originalite et les Influences Etrangeres
Tadeusz Czezowski; 259
Review: Lennart Aqvist, The Moral Philosophy of Richard Price
M. J. Cresswell; 259-260
Review: A. J. Ayer, W. C. Kneale, G. A. Paul, D. F. Pears, P. F. Strawson, G. J. Warnock, R. A. Wollheim, The Revolution in Philosophy
Jose Ferrater Mora; 260-261
Review: Lewis Carroll, Edmund C. Berkeley, Symbolic Logic and The Game of Logic
Alonzo Church; 264-265
Review: Leonidas Hegenberg, Determinacao de Silogismos Legitimos
Hector-Neri Castaneda; 265
Review: Karl Menger, New Approach to Teaching Intermediate Mathematics
H. E. Vaughan; 267-268
Review: Oskar Becker, Grundlagen der Mathematik in Geschichtlicher Entwicklung
W. Ackerman; 268-269
Review: Jean Ladriere, Les Limitations Internes des Formalismes. Etude sur la Signification du Theoreme de Godel et des Theorems Apparentes dans la Theorie des Fondements des Mathematiques
Donald Monk; 270
Review: Karel Louis de Bouvere, A Method in Proofs of Undefinability, with Applications to Functions in the Arithmetic of Natural Numbers
Gert H. Muller; 271-273
Review: Roger C. Lyndon, An Interpolation Theorem in the Predicate Calculus
M. A. Taitslin; 273-274
Review: Janos Suranyi, Reduktionstheorie des Entscheidungsproblems im Pradikatenkalkul der Ersten Stufe
Joseph S. Wholey; 274-276
Review: G. Asser, Einfuhrung in die Mathematische Logik. Teil I. Aussagenkalkul
H. Hermes; 276-277
Review: Ettore Casari, Computabilita e Ricorsivita. Problemi di Logica Matematica
Amedeo G. Conte; 279
Review: S. C. Kleene, Extension of an Effectively Generated Class of Functions by Enumeration
William W. Tait; 279-280
Review: Stephen Cole Kleene, A. S. Esenin-Vol'pin, V. A. Uspenskij, Vvedenie v Metamatematiku
David D. Comey and J. Barkley Rosser; 280-282
Review: Albert Chatelet, Allocution Prononcee par M. A. Chatelet; Th. Skolem, Une Relativisation des Notions Mathematiques Fondamentales; A. Tarski, M. Krasner, A. Mostowski, R. de Possel, Interventions
Martin Davis; 284-285
Review: Paul Bernays, Remarques sur le Probleme de la Decision en Logique Elementaire
Martin Davis; 285
Review: Roland Fraisse, Sur une Extension de la Polyrelation et des Parentes Tirant son Origine du Calcul Logique de keme Echelon; Rene de Possel, Roland Fraisse, Hypotheses de la Theorie des Relations qui Permettent d'Associer, a un bon ordre d'un ensemble, un bon ordre, defini sans ambiguite, de l'ensemble de ses parties; A. Tarski, A. Mostowski, Interventions
Martin Davis; 285-286
Review: H. Arnold Schmidt, Un Procede Maniable de Decision pour la Logique Propositionelle Intuitionniste; A. Mostowski, Arnold Schmidt, A. Tarski, R. Feys, Interventions
Martin Davis; 286
Review: Daniel Lacombe, Sur les Possibilites d'Extension de la Notion de Fonction Recursive aux Fonctions d'une au Plusiers Variables Reelles; G. Bouligand, Intervention
Martin Davis; 286-287
Review: E. W. Beth, Construction Semantique de la Logique Intuitioniste; A. Heyting, Intervention; A. Heyting, La Theorie Elementaire de l'Integration en Mathematiques Intuitionnistes
Martin Davis; 287
Review: Roger Martin, Sur les Notions Intuitives Mises en Oeuvre par la Constitution et l'etude d'un Systeme Formel
Martin Davis; 287
Review: F. Gonseth, Sur la Methodologie des Recherches sur les Fondements des mathematiques
Martin Davis; 287-288
Review: Robert Feys, Expression de la Verifiabilite Experimentale dans le Raisonnement Formalise; J.-L. Destouches, J. Porte, E. W. Beth, A. Tarski, P. Bernays, Interventions
Martin Davis; 288
Review: Jean-Louis Destouches, Paulette Fevrier, Remarques sur Certains Aspects Formels des Theories Physiques; M. Frechet, J.-L. Destouches, G. Bouligand, E. W. Beth, P. Fevrier, Interventions
Martin Davis; 288
Review: Hilary Putnam, Three-Valued Logic; Paul Feyerabend, Reichenbach's Interpretation of quantum-Mechanics; Isaac Levi, Putnam's three Truth Values
Leon Henkin; 289-291
Review: Arto Salomaa, On Many-Valued Systems of Logic; Arto Salomaa, On the Composition of Functions of Several Variables Ranging over a Finite Set
Atwell R. Turquette; 291-293
Review: Toshio Umezawa, On Some Properties of Intermediate Logics
Gene F. Rose; 297-298
Review: Carl Lyngholm, Wolfgang Yourgrau, A Double-Iteration Property of Boolean Functions
William Wernick; 299-300
Review: B. Dunham, R. Fridshal, The Problem of Simplifying Logical Expressions
E. J. McCluskey; 300
Review: David E. Muller, Complexity in Electronic Switching Circuits
Edward F. Moore; 300
Review: M. Kochen, Extension of Moore-Shannon Model for Relay Circuits
S. Seshu; 300-301
Review: David A. Huffman, The Design and Use of Hazard-Free Switching Networks
Edward F. Moore; 301-302
Review: Shintaro Eguchi, A New Method of Assigning Secondary Relays in Sequential Switching Circuits
Makoto Itoh; 302
Review: Tatsuki Watanabe, Soichiro Suto, The Theory of Analysis of Sequential Time Switching Circuits
Makoto Itoh; 302
Review: A. D. Talancey, On the Analysis of Potential-Pulse Networks Using Special Transition Operators
Pawel Szeptycki; 302
Review: V. K. Korobkov, Realization of Symmetric Function in the Class of II (Series-Parallel) Circuits
P. Szeptycki; 302-303
Notice
