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
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 29; Issue 4
Main
Journal of Symbolic Logic
Volume 29; Issue 4
Journal of Symbolic Logic
Volume 29; Issue 4
1
The System CΔ of Combinatory Logicby Frederic B. Fitch
Review by: Bruce Lercher
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 307 KB
Your tags:
english, 1964
2
Les Algèbres Booléennes Topologiques Bornées.by Léon LeBlanc
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1964
3
Philosophical Problems of Many-valued Logicby A. A. Zinov'ev
Review by: Atwell R. Turquette
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 294 KB
Your tags:
english, 1964
4
List of Officers and Members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 1.92 MB
Your tags:
english, 1964
5
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 165 KB
Your tags:
english, 1964
6
Effective Operations in a General Setting
A. H. Lachlan
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 1.19 MB
Your tags:
english, 1964
7
A Note on Quine's Treatment of Transfinite Recursion
Charles Parsons
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 307 KB
Your tags:
english, 1964
8
A Note on S5
Hector-Neri Castaneda
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1964
9
Semantic Analysisby Paul Ziff
Review by: Paul Benacerraf
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 303 KB
Your tags:
english, 1964
10
Scientific Inferenceby Harold Jeffreys
Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 318 KB
Your tags:
english, 1964
11
Some Considerations Concerning "Interpretative Systems."by Harry V. Stopes-Roe
Review by: Maria Kokoszyńska
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 397 KB
Your tags:
english, 1964
12
Die Mathematische Logik und die Geisteswissenschaftenby Heinrich Scholz
Review by: H. Hermes
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1964
13
Names and Descriptionsby A. J. Ayer
Review by: James Thomson
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1964
14
A Model of Mind-Body Relation in Terms of Modular Logicby Satosi Watanabe
Review by: E. J. Lemmon
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 297 KB
Your tags:
english, 1964
15
Rekursive Wortfunktionenby Günter Asser; H. A. Pogorzelski
Review by: H. Hermes
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 387 KB
Your tags:
english, 1964
16
Degrees of Unsolvabilityby Gerald E. Sacks
Review by: Gustav B. Hensel
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 321 KB
Your tags:
english, 1964
17
On Suborderings of Degrees of Recursive Unsolvabilityby Gerald E. Sacks
Review by: Gustav B. Hensel
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 213 KB
Your tags:
english, 1964
18
On Degrees of Unsolvabilityby J. R. Shoenfield;An Uncountable Set of Incomparable Degreesby J. R. Shoenfield
Review by: Gerald E. Sacks
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 317 KB
Your tags:
english, 1964
19
Recursive Enumerability and the Jump Operatorby Gerald E. Sacks
Review by: Donald L. Kreider
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1964
20
Subgroups of Finitely Presented Groupsby G. Higman
Review by: Michael O. Rabin
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1964
21
The Word Problem for Groupsby J. L. Britton;The Word Problemby John L. Britton
Review by: Michael O. Rabin
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1964
22
Transformation Algebrasby Léon LeBlanc
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1964
23
Représentation des Algèbres Polyadiques Pour Anneauby Léon Le Blanc
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1964
24
Remark on a System of Bernaysby John Myhill
Review by: Azriel Lévy
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1964
25
A Survey of Mathematical Logicby Hao Wang
Review by: Steven Orey
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1964
26
Retracing Elementary Mathematicsby Leon Henkin; W. Norman Smith; Verne J. Varineau; Michael J. Walsh
Review by: Theodore Hailperin
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 197 KB
Your tags:
english, 1964
27
Mathematical Inductionby Leon Henkin
Review by: Theodore Hailperin
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1964
28
Mathematical Logic and Numerical Analysisby A. A. Markov
Review by: Andrzej Blikle
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 192 KB
Your tags:
english, 1964
29
Logic, Arithmetic, and Automataby Alonzo Church
Review by: J. Richard Büchi
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1964
30
Sequence Generators and Digital Computersby A. W. Burks; J. B. Wright;Sequence Generators, Graphs, and Formal Languagesby Arthur W. Burks; Jesse B. Wright
Review by: Robert McNaughton
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 379 KB
Your tags:
english, 1964
31
On a Family of Classes of Functions in the Algebra of Logic and Their Realizations in the Class of II-Circuitsby B. I. Finikov
Review by: Andrzej Blikle
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 148 KB
Your tags:
english, 1964
32
A Simple Decision Procedure for One-Variable Implication/Negation Formulae in Intuitionist Logicby Storrs McCall
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 147 KB
Your tags:
english, 1964
33
Zeitschrift für mathematische Logik und Grundlagen der Mathematikby Alan Rose
Review by: Gene F. Rose
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 197 KB
Your tags:
english, 1964
34
Functional Constructions in k-Valued Logicby S. V. Áblonskij
Review by: Arto Salomaa
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 374 KB
Your tags:
english, 1964
35
Errata
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 158 KB
Your tags:
english, 1964
36
Volume Information
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 186 KB
Your tags:
english, 1964
37
Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttiviby Ettore Carruccio
Review by: Alan Cobham
Journal:
Journal of Symbolic Logic
Year:
1964
File:
PDF, 216 KB
Your tags:
1964
38
Sulle Dimostrazioni di Coerenza dei Sistemi Ipotetico-Deduttiviby Ettore Carruccio
Review by: Alan Cobham
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1964
39
Meeting of the Association for Symbolic Logic
J. C. Shepherdson, S. Körner and M. D. Gladstone
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 1.04 MB
Your tags:
english, 1964
40
Blanc Léon Le. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3552–3553.Blanc Léon Le. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3928–3930.See XXIX 53(2) and the review above.
Monk, Donald
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1964
41
Pogorzelski H. A.. A note on an arithmetization of a word system in a denumerable alphabet. Ebd., Bd. 8 (1962), S. 247–249.
Hermes, H.
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
german
File:
PDF, 82 KB
Your tags:
german, 1964
42
Pogorzelski H. A.. Word arithmetic: Theory of primitive words. Ebd., S. 251–255.
Hermes, H.
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
german
File:
PDF, 82 KB
Your tags:
german, 1964
43
Vučković Vladeta. Rekursive Wortarithmetik. Académie Serbe des Sciences et des Arts, Publications de l'Institut Mathématique (Belgrad), Bd. 14 (1960), S. 9–60.
Hermes, H.
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
german
File:
PDF, 150 KB
Your tags:
german, 1964
44
JSL volume 29 issue 4 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 115 KB
Your tags:
english, 1964
45
Errata
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 50 KB
Your tags:
english, 1964
46
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 103 KB
Your tags:
english, 1964
47
Notice to fellowship and research opportunities in mathematics
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 50 KB
Your tags:
english, 1964
48
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 1.40 MB
Your tags:
english, 1964
49
van Rootselaar B.. Die Struktur der rekursiven Wortarithmetik des Herrn V. Vučković. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Bd. 65 (1962), S, 192–200; auch Indagationes mathematicae, Bd. 24 (1962), S. 192–200.
Hermes, H.
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
german
File:
PDF, 79 KB
Your tags:
german, 1964
50
JSL volume 29 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 8.48 MB
Your tags:
english, 1964
51
Note on the 3-Recursive Functionsby Paul Axt
Review by: Rózsa Péter
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 282 KB
Your tags:
english, 1964
52
Hierarchies Over Recursive Well-Orderings
Herbert Enderton and David Luckham
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 554 KB
Your tags:
english, 1964
53
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1964
Language:
english
File:
PDF, 258 KB
Your tags:
english, 1964
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
×
×