| Logic and scientific methods. An introductory course |
Herbert L. Searles |
G. B. Keene |
Philosophy |
1957-04-01 |
| The Logic of Moral Discourse |
Joseph Margolis |
Cornelius L. Golightly |
Philosophy of Science |
1957-01-01 |
| Introduction to Mathematical Logic, Volume I |
Alonzo Church |
י. ב-ה. |
Iyyun: The Jerusalem Philosophical Quarterly / עיון: רבעון פילוסופי |
1957-01-00 |
| Die typenfreie Logik und die Modalität |
Heinrich Behmann |
Ronald Harrop |
The Journal of Symbolic Logic |
1957 |
| Exercises in introductory symbolic logic. Lithoprinted from typewritten manuscript |
James Wilkinson Miller |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Die Fiktion der Überabzählbarkeit |
Paul Lorenzen |
Gert H. Müller |
The Journal of Symbolic Logic |
1957 |
| Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits) |
Toshihiko Kurihara |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science |
Richard Bevan Braithwaite |
J. H. Woodger |
The Journal of Symbolic Logic |
1957 |
| Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator |
Gerhard Gentzen |
John van Heijenoort |
The Journal of Symbolic Logic |
1957 |
| “Counterfactual conditionals” and singular causal statements |
G. Nuchelmans |
John Watling |
The Journal of Symbolic Logic |
1957 |
| Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Contradiction, the logical counterpart to conflict |
Robert McNaughton |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Propositions and sentences |
Alonzo Church |
Carl G. Hempel |
The Journal of Symbolic Logic |
1957 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
The Journal of Symbolic Logic |
1957 |
| La structure algébrique des théories matérmatiques |
L. Henkin |
Paul R. Halmos |
The Journal of Symbolic Logic |
1957 |
| Max Black |
|
Atwell R. Turquette |
The Journal of Symbolic Logic |
1957 |
| Logique combinatoire et λ-conversion |
J. Barkley Rosser |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1957 |
| Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Ontology and the choice of languages |
L. O. Kattsoff |
Noam Chomsky |
The Journal of Symbolic Logic |
1957 |
| The analytic and the synthetic as categories of inquiry |
Robert S. Hartman |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Emotive propositions. A study of value |
Sören Halldén |
David Meredith |
The Journal of Symbolic Logic |
1957 |
| Mathematische Existenz und Widerspruchsfreiheit |
Paul Bernays |
John van Heijenoort |
The Journal of Symbolic Logic |
1957 |
| Einführung in die operative Logik und Mathematik |
Paul Lorenzen |
Th. Skolem |
The Journal of Symbolic Logic |
1957 |
| E. W. Beth |
|
Alfons Borgers |
The Journal of Symbolic Logic |
1957 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
The Journal of Symbolic Logic |
1957 |
| Die “identischen Urteile” der Syllogistik |
Klaus Härtig |
Ivo Thomas |
The Journal of Symbolic Logic |
1957 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
The Journal of Symbolic Logic |
1957 |
| The logic of program composition |
H. B. Curry |
George W. Patterson |
The Journal of Symbolic Logic |
1957 |
| Solvable cases of the decision problem |
W. Ackermann |
Paul Bernays |
The Journal of Symbolic Logic |
1957 |
| “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Quelques applications de la théorie des relations binaires |
J. Riguet |
Roland Fraïssé |
The Journal of Symbolic Logic |
1957 |
| Patrick Suppes |
|
J. Dopp |
The Journal of Symbolic Logic |
1957 |
| Peano's axioms and models of arithmetic |
Th. Skolem |
Solomon Feferman |
The Journal of Symbolic Logic |
1957 |
| The pictorial principle in language |
Margaret Masterman Braithwaite |
R. N. Smart |
The Journal of Symbolic Logic |
1957 |
| Tagen Boole (nitironri) hôteisiki no ippankai ni tuite (On the general solution of the Boolean (two-valued logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Anschauung als Erkenntnisquelle. A reprint of XIII 154(2) |
Kurt Reidemeister |
Julius Kraft |
The Journal of Symbolic Logic |
1957 |
| The relative strength of Zermelo's set theory and Quine's New Foundations |
J. Barkley Rosser |
Václav E. Beneš |
The Journal of Symbolic Logic |
1957 |
| Über die neue Grundlagenkrise der Mathematik. A reprint of |
Hermann Weyl |
P. C. Gilmore |
The Journal of Symbolic Logic |
1957 |
| Madkhalé manteghé sooraat (Introduction to formal logic) |
Gholam-Hossein Mosaheb |
L. A. Zadeh |
The Journal of Symbolic Logic |
1957 |
| On uniquely solvable Boolean equations |
W. L. Parker and B. A. Bernstein |
William Wernick |
The Journal of Symbolic Logic |
1957 |
| Formal Logic |
A. N. Prior |
Ivo Thomas |
Philosophy |
1956-10-00 |
| Introduction to Logic |
Irving Marmer Copi |
George Nakhnikian |
Philosophy of Science |
1956-07-01 |
| The Logic of Moral Discourse |
Paul Edwards |
Robert G. Olson |
Ethics |
1956-04-01 |
| Wolfram Schwabhäuser: Zur Definition des geordneten Paares im einstelligen Stufenkalkül |
|
William Craig |
The Journal of Symbolic Logic |
1956 |
| Yoemon Sampei |
|
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1956 |
| Die endlichwertigen Łuhasiewiczschen Aussagenkalküle |
Günter Asser |
A. R. Turquette |
The Journal of Symbolic Logic |
1956 |
| Naoto Yonemitsu |
|
Alan Ross Anderson |
The Journal of Symbolic Logic |
1956 |
| On non-translational semantics |
R. M. Martin |
George D. W. Berry |
The Journal of Symbolic Logic |
1956 |
| Ronriteki bunseki no honsei to genkai (Logical analysis — its nature and its limits). Japanese with English abstract |
Masaharu Sawai |
Takeo Sugihara |
The Journal of Symbolic Logic |
1956 |
| Notes on existence and necessity |
Willard V. Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
