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 19; Issue 3
Main
Journal of Symbolic Logic
Volume 19; Issue 3
Journal of Symbolic Logic
Volume 19; Issue 3
1
An Undecidable Problem in the Algebra of Truth-Tables
Jan Kalicki
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 453 KB
Your tags:
english, 1954
2
Reduction to a Dyadic Predicate
W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1954
3
Comment on K. J. Cohen's Remarkby Jan Łukasiewicz
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1954
File:
PDF, 235 KB
Your tags:
1954
4
An Outline of a Theory of Semantic Informationby Rudolf Carnap; Yehoshua Bar-Hillel
Review by: Peter Elias
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 409 KB
Your tags:
english, 1954
5
On Proper Rules of Inferenceby Jerzy Slupecki
Review by: H. Hiz
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1954
6
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1954
7
A New Symbolism for the Propositional Calculus
William Tuthill Parry
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 764 KB
Your tags:
english, 1954
8
Ideographic Computation in the Propositional Calculus
Gerald B. Standley
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 284 KB
Your tags:
english, 1954
9
A Generalization of the Concept of |omega-Consistency
Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 1.30 MB
Your tags:
english, 1954
10
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M
Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 1.25 MB
Your tags:
english, 1954
11
Introduction to Metamathematicsby Stephen Cole Kleene
Review by: H. Rasiowa
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 300 KB
Your tags:
english, 1954
12
On the Intuitionistic Theory of Deductionby Jan Łukasiewicz
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1954
13
A Remark on Lukasiewicz's "On the Intuitionistic Theory of Deduction."by Kalman Joseph Cohen
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1954
File:
PDF, 225 KB
Your tags:
1954
14
Kennzeichnung von Ordnungszahlen Durch Rekursiv Erklärte Funktionenby Kurt Schütte
Review by: Werner Markwald
Journal:
Journal of Symbolic Logic
Year:
1954
File:
PDF, 320 KB
Your tags:
1954
15
Theorem of Gödel and Theory of Algorithms.by V. A. Uspénskij
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1954
16
On a Problem of Henkin'sby G. Kreisel
Review by: Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 362 KB
Your tags:
english, 1954
17
On the Pseudo-Setby Tameharu Shirai
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 285 KB
Your tags:
english, 1954
18
I fini dei "Calculus Ratiocinator" di Leibniz, e la Logico Matematica del Nostro Tempoby Ettore Carruccio
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 285 KB
Your tags:
english, 1954
19
A Note on Logical Connectivesby Philip P. Hallie
Review by: Nicholas Rescher
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 357 KB
Your tags:
english, 1954
20
On What There Isby Willard V. Quine;Symposium: On What There Is. Iby Peter Thomas Geach;Symposium: On What There Is. IIby A. J. Ayer;Symposium: On What There Is. IIIby W. V. Quine
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 296 KB
Your tags:
english, 1954
21
Synonymityby Benson Mates
Review by: J. F. Thomson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 181 KB
Your tags:
english, 1954
22
Some Remarks on Semantic Systemsby B. L. Robbins
Review by: George D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 290 KB
Your tags:
english, 1954
23
Rejoinder to Mrs. Robbinsby Arthur Pap
Review by: George D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 196 KB
Your tags:
english, 1954
24
Sur la Description de Certains Modèles d'un Système Formel.by E. W. Beth
Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 196 KB
Your tags:
english, 1954
25
Sur la Tâche de la Philosophie des Mathématiques.by A. Heyting
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 256 KB
Your tags:
english, 1954
26
Introduction to the Foundations of Mathematicsby Raymond L. Wilder
Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 439 KB
Your tags:
english, 1954
27
The Ideas of Variable and Functionby Karl Menger
Review by: Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1954
28
Formalization of Psychological Theoryby F. J. McGuigan
Review by: Frederic B. Fitch
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1954
29
The Theory of Quaternalityby W. H. Gottschalk
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 301 KB
Your tags:
english, 1954
30
Analytic Minimization Methods I: Conjunctive Formsby W. C. Carter; A. S. Rettig
Review by: Raymond J. Nelson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1954
31
Non-Normal Truth-Tables for the Propositional Calculusby Alonzo Church
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1954
32
An Outline of Logic. Manual for Teachersby Kazimierz Ajdukiewicz
Review by: H. Hiż
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1954
33
Logique 1900-1950by Robert Blanché
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 223 KB
Your tags:
english, 1954
34
A Survey of Scientific Logicby Makoto Itô
Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 223 KB
Your tags:
english, 1954
35
A Study of Modal Logicby Makoto Itô
Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 223 KB
Your tags:
english, 1954
36
Kigo Ronrigaku no Kisoby D. Hilbert; W. Ackermann
Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 223 KB
Your tags:
english, 1954
37
Logic--New Logic and Old Logicby Kanzi Taguti
Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 223 KB
Your tags:
english, 1954
38
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 430 KB
Your tags:
english, 1954
39
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 239 KB
Your tags:
english, 1954
40
Scientific Knowledge--The View of the Vienna Circleby Katsumi Nakamura
Review by: Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 224 KB
Your tags:
english, 1954
41
Mostowski A.. On models of axiomatic systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 133–158.
McNaughton, Robert
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 404 KB
Your tags:
english, 1954
42
Calculus. A Modern Approachby Karl Menger
Review by: Leon Henkin
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 455 KB
Your tags:
english, 1954
43
Relay Circuit Analysis by Odd-Even Algebraby E. C. Varnum;Three-Relay Circuitsby E. C. Varnum;Polynomial Determination in a Field of Integers Modulo Pby E. C. Varnum
Review by: William W. Boone
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 265 KB
Your tags:
english, 1954
44
A Partial Model for Quine's "New Foundations"
Václav Edvard Beneš
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1954
45
Modalités Physiques et Techniques.by Leo Apostel
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 226 KB
Your tags:
english, 1954
46
Bradley Crispin Kim. The paradoxes. Astounding science fiction, vol. 53 no. 4 (1954), pp. 93–100.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 67 KB
Your tags:
english, 1954
47
Menger Karl. Sin ronrigaku. Japanese translation of 3706 by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 29–73.Dubislav Walter. Kigô ronrigaku zyosetu (Introduction to symbolic logic). Japanese translation of Chapters 2 and 3 of 32814 and Der metamathematische Problemkreis from 32812, by Syûitirô Yosioka. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 75–142.Carnap Rudolf. Kigô ronrigaku no taikei. Japanese translation of System der Logistik (Part I of 3523) by Tomoharu Hirano. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 143–248.Łukasiewicz Jan. Tati ronrigaku no tetugakuteki kôsatu. Japanese translation of 1868 by Makoto ltô. Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 249–282.Łukasiewicz Jan. Ronrigaku to sono
Hiż, H.
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 67 KB
Your tags:
english, 1954
48
Fairfax John P.. Letter. Astounding science fiction, vol. 53 no. 1 (1954), pp. 143–145.Milbauer David H.. Letter. Astounding science fiction, vol. 53 no. 1 (1954), p. 148. [Cf. XIX 131(2).]Anonymous. Professor builds ‘thinking machine’ to test laws of logic. The New York times, vol. 103, 03 8, 1954, p. 21.
Anderson, Alan Ross
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 142 KB
Your tags:
english, 1954
49
JSL volume 19 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 6.88 MB
Your tags:
english, 1954
50
JSL volume 19 issue 3 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 7.43 MB
Your tags:
english, 1954
51
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 236 KB
Your tags:
english, 1954
52
Towards Strengthening of the Reduction Theorem of the Theory of Algorithmsby N. M. Nagornyj
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 273 KB
Your tags:
english, 1954
53
Quantification and the Empty Domain
W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 385 KB
Your tags:
english, 1954
54
Peano et Burali-Forti Précurseurs de la Logique Combinatoire.by Robert Feys
Review by: J. Barkley Rosser
Journal:
Journal of Symbolic Logic
Year:
1954
Language:
english
File:
PDF, 368 KB
Your tags:
english, 1954
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
×
×