books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 22; Issue 3
Main
Journal of Symbolic Logic
Volume 22; Issue 3
Journal of Symbolic Logic
Volume 22; Issue 3
1
Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem
William Craig
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 2.06 MB
Your tags:
english, 1957
2
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
William Craig
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 1.91 MB
Your tags:
english, 1957
3
The Principles of Causalityby A. P. Ushenko
Review by: John Watling
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 345 KB
Your tags:
english, 1957
4
A Theory of Subjunctive Conditionalsby Robert L. Stanley
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1957
5
Quelques Considerations sur la Nature de la Logique et de son Objet
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1957
6
Quantity, Modality, and Other Kindred Systems of Categoriesby Robert Blanché
Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1957
7
Can the Logic of Indirect Discourse be Formalised?
L. Jonathan Cohen
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 980 KB
Your tags:
english, 1957
8
Inference by Complementary Elimination
Bernard K. Symonds and Roderick M. Chisholm
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 433 KB
Your tags:
english, 1957
9
Inferential Equivalence and Natural Deduction
H. Hiż
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1957
10
Independent Axiom Schemata for Von Wright's M
Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 342 KB
Your tags:
english, 1957
11
Vicious Circle Principle and the Paradoxes
K. Jaakko J. Hintikka
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 416 KB
Your tags:
english, 1957
12
Introduction to Mathematical Logicby Alonzo Church
Review by: Max Black
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 626 KB
Your tags:
english, 1957
13
Einführung in die Operative Logik und Mathematik.by Paul Lorenzen
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1957
14
The Formalization of Mathematicsby Hao Wang
Review by: Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 496 KB
Your tags:
english, 1957
15
On Formalizationby Hao Wang
Review by: Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1957
16
On Denumerable Bases of Formal Systemsby Hao Wang
Review by: Clifford Spector
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1957
17
Logique Combinatoire et λ-Conversionby J. Barkley Rosser;les Modèles des Logiques Formelles.by J. Barkley Rosser
Review by: Frederic B. Fitch
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 180 KB
Your tags:
english, 1957
18
The Relative Strength of Zermelo's Set Theory and Quine's New Foundationsby J. Barkley Rosser
Review by: Václav E. Beneš
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1957
19
The Categoricity Question of Certain Grand Logicsby Hao Wang
Review by: Václav E. Beneš
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1957
20
Unification of Universes in Set Theoryby W. V. Quine
Review by: Steven Orey
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1957
21
Decision Methods for Elementary Algebraby B. E. Meserve
Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1957
22
Rekurzív Definiciók, Melyek Változó Számu Korábbi Függvényértéket Használnak Fel.by Rózsa Péter;Ujabb Bizonyítás Arra, Hogy a Csillag-Kalmár-Féle Elemi Függvények Osztálya Szükebb, Mint a Primitiv-Rekurzív Függvényeké.by Rózsa Péter;Die Mathematische Tätigkeit von László Kalmár.by Rózsa Péter
Peter, Rozsa
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 333 KB
Your tags:
english, 1957
23
Über das Entscheidungsproblem der Mathematischen Logik.by János Surányi
Review by: R. Péter
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 203 KB
Your tags:
1957
24
Eine Bemerkung zum Gödelschen Axiomensystem der Mengenlehre.by András Hajnal; László Kalmár
Review by: R. Péter
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 203 KB
Your tags:
1957
25
Remarques sur la Notion de la Perfectionby Yosihisa Izumi
Review by: Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 353 KB
Your tags:
1957
26
Reduction to a Dyadic Predicateby W. V. Quine;Reduction to a Symmetric Predicateby Alan Cobham
Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 209 KB
Your tags:
1957
27
Ein System des Verknüpfenden Schlie\beta ensby Kurt Schütte
Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 355 KB
Your tags:
1957
28
On Intuitionistic Functional Calculusby Masao Ohnishi
Review by: A. Heyting
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1957
29
On the Crisis of the Principle of the Excluded Middleby Abraham A. Fraenkel
Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1957
30
Comptes rendus hebdomadaires des séances de l'Académie des Sciencesby Motokiti Kondô
Review by: Paul Lorenzen
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1957
31
Quelques Applications de la Théorie des Relations Binaires.by J. Riguet
Review by: Roland Fraïssé
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 197 KB
Your tags:
1957
32
On Variables in Mathematics and in Natural Scienceby Karl Menger;Variables, de Diverses Naturesby Karl Menger;What are Variables and Constantsby Karl Menger
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 349 KB
Your tags:
1957
33
An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baireby A. V. Kuznécov; B. A. Trahténbrot
Review by: J. W. Addison
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 354 KB
Your tags:
english, 1957
34
Effective Operations on Partial Recursive Functionsby J. Myhill; J. C. Shepherdson
Review by: J. C. E. Dekker
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 193 KB
Your tags:
english, 1957
35
A Note on Transfinite Iterationby Gideon Schwarz
Review by: Dana Scott
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1957
36
Arithmetic with Creative Definitions by Inductionby John Myhill
Review by: Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 339 KB
Your tags:
english, 1957
37
A Variant to Hilbert's Theory of the Foundations of Arithmeticby G. Kreisel
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 481 KB
Your tags:
english, 1957
38
Peano's Axioms and Models of Arithmeticby Th. Skolem
Review by: Solomon Feferman
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 191 KB
Your tags:
english, 1957
39
In memoria di Giuseppe Peanoby Alessandro Terracini
Review by: Robert Feys
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1957
40
Perche non si e Sviluppata la Scienza in Cina
Review by: Domenico Parisi
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 347 KB
Your tags:
english, 1957
41
Algebraische Betrachtungen zu den Aristotelischen Syllogismenby H. Gericke
Review by: Klaus Härtig
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1957
42
Symbolic Logic. Part I. Elementaryby Lewis Carroll
Review by: A. N. Prior
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 326 KB
Your tags:
1957
43
Exercises in Introductory Symbolic Logicby James Wilkinson Miller
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1957
44
Note on the Identity of Indiscerniblesby G. B. Keene
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1957
45
Proof of a Conjecture of Goodmanby N. J. Fine
Review by: Lars Svenonius
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1957
46
Uses of Similarity of Structure in Contemporary Philosophyby Hiram J. McLendon
Review by: J. Dopp
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 483 KB
Your tags:
english, 1957
47
Scientific Philosophy: Its Aims and Meansby E. W. Beth
Review by: Hugues Leblanc
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 337 KB
Your tags:
1957
48
Mr. Geach on Rigour in Semanticsby Y. Bar-Hillel
Review by: Hugues Leblanc
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1957
49
Some Philosophical Implications of Mathematical Logic. I Three Classes of Ideasby John Myhill;On Some Alleged Implications of Mathematical Logicby Vaclav Edvard Benes
Review by: Hugues Leblanc
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 482 KB
Your tags:
english, 1957
50
How Difficult Might Induction Beby Max Black;Carnap on Semantics and Logicby Max Black
Review by: Atwell R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 351 KB
Your tags:
english, 1957
51
Replacement of Auxiliary Expressionsby William Craig
Review by: Nelson Goodman
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 344 KB
Your tags:
english, 1957
52
Reds, Greens, and Logical Analysisby Hilary Putnam
Review by: Nelson Goodman
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1957
53
Universals, Communicable Knowledge, and Metaphysicsby Charles A. Baylis
Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1957
54
Das Universalienproblem Einst und Jetztby Wolfgang Stegmüller
Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 352 KB
Your tags:
english, 1957
55
Indexical Expressionsby Y. Bar-Hillel
Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 361 KB
Your tags:
english, 1957
56
Professor Ryle on Arguments and Inference Licensesby William H. Dray;Natural Inferenceby Romane Clark
Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1957
57
On So-Called "Counterfactual Conditionals."by Philip P. Hallie
Review by: John Watling
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1957
58
Dispositional Properties and Dispositionsby Gustav Bergmann
Review by: John Watling
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1957
59
The Analysis of Counterfactual Conditionalsby Gabriel Nuchelmans
Review by: John Watling
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 338 KB
Your tags:
english, 1957
60
Die Typenfreie Logik und die Modalität.by Heinrich Behmann
Review by: Ronald Harrop
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1957
61
A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."by Arata Ishimoto;A Formulation of the Modal Propositional Calculus Equivalent to S4by Arata Ishimoto
Review by: A. N. Prior
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1957
62
Independent Axiom Schemata for S5by Alan Ross Anderson
Review by: Naoto Yonemitsu
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 193 KB
Your tags:
english, 1957
63
Begründung Einer Strengen Implikation.by Wilhelm Ackermann
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1957
64
A Leśniewski-Mihailescu-Theorem for m-Valued Propositional Calculi.by Erik Götlind
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1957
65
Some Sheffer Functions in m-Valued Logicby Erik Götlind
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 333 KB
Your tags:
english, 1957
66
On a Nine-Valued Propositional Calculusby Ryōichi Takekuma
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1957
67
On a Fragment of the Implicative Propositional Calculusby Helena Rasiowa
Review by: Johannes Bendiek
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1957
68
Bemerkungen über das Verstehen Logischer Gesetze.by Andrzej Grzegorczyk
Review by: Johannes Bendiek
Journal:
Journal of Symbolic Logic
Year:
1957
File:
PDF, 192 KB
Your tags:
1957
69
A Note on Partial Postulate Sets for Propositional Logicby Stig Kanger
Review by: T. Thacher Robinson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 314 KB
Your tags:
english, 1957
70
Deduktiv Abgeschlossene Mengen ohne Basisby Karl Schröter
Review by: Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1957
71
The Logical Design of an Idealized General-Purpose Computerby Arthur W. Burks; Irving M. Copi
Review by: Robert McNaughton
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 179 KB
Your tags:
english, 1957
72
The Modeling of the Propositional Calculus by Means of Simple Four-Terminal Networks
Review by: Zdzisław Pawlak
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 302 KB
Your tags:
english, 1957
73
A Contribution to the Mathematical Theory of (1,k) Contact Networksby G. N. Povarov
Review by: Pawel Szeptycki
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1957
74
A Method for Synthesizing Sequential Circuitsby George H. Mealy
Review by: Calvin C. Elgot
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1957
75
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1957
76
10.2307/2963667
Review by: Paweł Szeptycki
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 311 KB
Your tags:
english, 1957
77
The Counterfactualby A. P. Ushenko
Review by: John Watling
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 350 KB
Your tags:
english, 1957
78
Many-Valued and Modal Systems: An Intuitive Approachby A. N. Prior
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 380 KB
Your tags:
english, 1957
79
10.2307/2963666
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 213 KB
Your tags:
english, 1957
80
The Logic Theory Machine. A Complex Information Processing Systemby Allen Newell; Herbert A. Simon
Review by: Andrzej Ehrenfeucht
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 332 KB
Your tags:
english, 1957
81
A New Decision Method for Elementary Algebraby A. Seidenberg
Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 274 KB
Your tags:
english, 1957
82
JSL volume 22 issue 3 Cover and Front matter and Errata
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 1.43 MB
Your tags:
english, 1957
83
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 71 KB
Your tags:
english, 1957
84
Another Variant of Natural Deductionby Irving M. Copi
Review by: Paul Bernays
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 438 KB
Your tags:
english, 1957
85
Many-Valued Logics and Systems of Strict Implicationby Atwell R. Turquette
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1957
Language:
english
File:
PDF, 292 KB
Your tags:
english, 1957
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×