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 31; Issue 4
Main
Journal of Symbolic Logic
Volume 31; Issue 4
Journal of Symbolic Logic
Volume 31; Issue 4
1
A Theorem on Minimal Degrees
J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 520 KB
Your tags:
english, 1966
2
Infinite Series of Isolsby J. C. E. Dekker
Review by: Kenneth Appel
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 160 KB
Your tags:
english, 1966
3
Effectively Decidable Theoriesby Alan Cobham
Review by: Ann M. Singleterry
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 184 KB
Your tags:
english, 1966
4
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 259 KB
Your tags:
english, 1966
5
Constructive Order Types, II
John N. Crossley
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 950 KB
Your tags:
english, 1966
6
Functions of Propositions
M. J. Cresswell
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 1.26 MB
Your tags:
english, 1966
7
Logical Truth and Logical Implication
William S. Hatcher
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 176 KB
Your tags:
english, 1966
8
Non-Null Implication
David Nelson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 825 KB
Your tags:
english, 1966
9
A Note on Universal Sets
A. H. Lachlan
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 238 KB
Your tags:
english, 1966
10
Pure Denumerable Łukasiewiczian Implication
R. K. Meyer
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 512 KB
Your tags:
english, 1966
11
Finite Models for Inequations
M. D. Gladstone
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 826 KB
Your tags:
english, 1966
12
The Theory of Truth Tabular Connectives, both Truth Functional and Modal
Gerald J. Massey
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 1.24 MB
Your tags:
english, 1966
13
MIPC as the Formalisation of an Intuitionist Concept of Modality
R. A. Bull
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 687 KB
Your tags:
english, 1966
14
Syntactical and Semantical Properties of Generalized Quantifiers
Mitsuru Yasuhara
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 1.33 MB
Your tags:
english, 1966
15
An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier
Mitsuru Yasuhara
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 704 KB
Your tags:
english, 1966
16
On some Alleged Decision Procedures for S4
William H. Hanson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 322 KB
Your tags:
english, 1966
17
Models of Axiomatic Theories Admitting Automorphismsby A. Ehrenfeucht; A. Mostowski
Review by: R. L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 309 KB
Your tags:
english, 1966
18
On Theories Categorical in Powerby A. Ehrenfeucht
Review by: R. L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1966
19
On Theories Categorical in Uncountable Powersby Michael Morley;Categoricity in Powerby Michael Morley
Review by: G. Fuhrken
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 220 KB
Your tags:
english, 1966
20
On Recursive Abelian Groupsby A. I. Mal'cev; Lisa Rosenblatt
Review by: Verena H. Dyson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1966
21
Strongly Related Models and Recursively Complete Algebrasby A. I. Mal'cev; Elliott Mendelson
Review by: Verena H. Dyson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1966
22
Notation Systems and Recursive Ordered Fieldsby Yiannis N. Moschovakis
Review by: B. H. Mayoh
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 319 KB
Your tags:
english, 1966
23
An Infinite Product of Isolsby J. C. E. Dekker
Review by: Kenneth Appel
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 160 KB
Your tags:
english, 1966
24
Zum Problem der Darstellbarkeit von Matrizenby A. A. Markov
Review by: A. Wlodzimierz Mostowski
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 184 KB
Your tags:
english, 1966
25
Beispiel einer Gruppe mit Nicht Rekursivem Zentrumby N. M. Nagornyj
Review by: A. Wlodzimierz Mostowski
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 184 KB
Your tags:
english, 1966
26
Effective Operations in a General Settingby A. H. Lachlan
Review by: J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1966
27
Classes of Recursive Functions based on Ackermann's Functionby Robert W. Ritchie
Review by: Paul Axt
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1966
28
Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machinesby Marvin L. Minsky
Review by: Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 310 KB
Your tags:
english, 1966
29
Size and Structure of Universal Turing Machines using Tag Systemsby M. L. Minsky
Review by: Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 198 KB
Your tags:
english, 1966
30
On the Reversibility of Algorithmsby V. S. Čérnávskij
Review by: E. M. Fels
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 311 KB
Your tags:
english, 1966
31
A Proof Procedure for Quantification Theoryby W. V. Quine
Review by: Peter Andrews
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 197 KB
Your tags:
english, 1966
32
Solution to a Problem of Rose and Rosserby A. R. Turquette
Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 289 KB
Your tags:
english, 1966
33
Recursive Metric Spacesby Y. N. Moschovakis
Review by: B. H. Mayoh
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 284 KB
Your tags:
english, 1966
34
A Development of Cardinals in "The Consistency of the Continuum Hypothesis."by H. D. Sprinkle
Review by: Joel W. Robbin
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1966
35
Reasoning and Logicby Richard B. Angell
Review by: Ivo Thomas
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1966
36
High School Mathematics. Course 2. Plane Geometry with Appendices on Logic and Solid Geometryby Max Beberman; Herbert E. Vaughan
Review by: Theodore Hailperin
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 313 KB
Your tags:
english, 1966
37
Multiterminal Networks Containing the Closing Contacts of Internal Relaysby A. G. Lunc
Review by: Ann M. Singleterry
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 202 KB
Your tags:
english, 1966
38
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 486 KB
Your tags:
english, 1966
39
The Basic Laws of Aritmetic; Exposition of Systemby Montgomery Furth
Review by: G. Hasenjaeger
Journal:
Journal of Symbolic Logic
Year:
1966
File:
PDF, 336 KB
Your tags:
1966
40
The Notion of Rank in Set-Theoryby Dana Scott
Review by: A. Hajnal
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1966
41
The Basic Laws of Aritmetic; Exposition of Systemby Montgomery Furth
Review by: G. Hasenjaeger
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 336 KB
Your tags:
english, 1966
42
A Few Problems on Boolean Algebrasby Roman Sikorski
Review by: Robert LaGrange
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 316 KB
Your tags:
english, 1966
43
Another Proof of Takeuti's Theorems on Skolem's Paradoxby Shôji Maehara
Review by: Erwin Engeler
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1966
44
Elements of Symbolic Logicby Hans Reichenbach
Review by: J. van Heijenoort
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1966
45
The Problem of Linguistic Equivalenceby Robert Abernathy
Review by: L. Jonathan Cohen
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 224 KB
Your tags:
english, 1966
46
Volume Information
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 314 KB
Your tags:
english, 1966
47
Reductions in the Theory of Typesby K. Jaakko Hintikka
Review by: W. B. Pitt
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 247 KB
Your tags:
english, 1966
48
A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implicationby Anjan Shukla
Review by: John Bacon
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1966
49
The Gentle Art of Mathematicsby Dan Pedoe; Griselda El Tayeb
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 234 KB
Your tags:
english, 1966
50
Annual Meeting of the Association for Symbolic Logic
Sidney Morgenbesser and Elliott Mendelson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 1.36 MB
Your tags:
english, 1966
51
The Logic of Interrogativesby M. J. Cresswell; J. N. Crossley; M. A. E. Dummett
Review by: Gerold Stahl
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 232 KB
Your tags:
english, 1966
52
Notice: Fellowship and Research Opportunities in Mathematics
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 153 KB
Your tags:
english, 1966
53
Comparing the Axioms of Local and Universal Choiceby Azriel Lévy; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson
Review by: A. Hajnal
Journal:
Journal of Symbolic Logic
Year:
1966
File:
PDF, 343 KB
Your tags:
1966
54
Systems of Predicative Analysisby Solomon Feferman
Review by: Kurt Schütte
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 356 KB
Your tags:
english, 1966
55
Introduction: A treatise on languageby David Rynin
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1966
56
Axioms of Class Existenceby Hilary Putnam
Review by: A. Hajnal
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 220 KB
Your tags:
english, 1966
57
Real-Time Computation and Recursive Functions not Real-Time Computableby Hisao Yamada
Review by: Jiří Bečvář
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 344 KB
Your tags:
english, 1966
58
Independent Axioms for Infinite-Valued Logicby Atwell R. Turquette
Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1966
59
False Lemmas in Herbrandby Burton Dreben; Peter Andrews; Stål Aanderaa
Review by: Paul Bernays
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 436 KB
Your tags:
english, 1966
60
Infinite Products of Isolsby Erik Ellentuck
Review by: Kenneth Appel
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 299 KB
Your tags:
english, 1966
61
A Model for Deontic Logicby E. E. Dawson;On Dawson-Models for Deontic Logicby Lennart Åqvist
Review by: P. T. Geach
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 230 KB
Your tags:
english, 1966
62
Fraenkel's Addition to the Axioms of Zermeloby Richard Montague
Review by: A. Hajnal
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 225 KB
Your tags:
english, 1966
63
Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequenceby Shôji Maehara
Review by: Erwin Engeler
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1966
64
On the Infinitely Many-Valued Double-Threshold Logicby Akira Nakamura
Review by: Arto Salomaa
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1966
65
Philosophical Analysis, Collection of Essaysby Max Black
Review by: Ann M. Singleterry
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 342 KB
Your tags:
english, 1966
66
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 2.62 MB
Your tags:
english, 1966
67
Elements of Mathematical Logicby P. S. Novikov; Leo F. Boron; R. L. Goodstein
Review by: Gert H. Müller
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 238 KB
Your tags:
english, 1966
68
A Logical Statement of Grammatical Theory as Contained in Halliday's `Categories of the Theory of Grammar.'by Robert M. W. Dixon;Linguistic Science and Logicby Robert M. W. Dixon
Review by: J. F. Staal
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 446 KB
Your tags:
english, 1966
69
The Theory of Implicationby A. N. Prior;The Theory of Implication: Two Correctionsby A. N. Prior;A Note on Prior's Systems in "The Theory of Deduction."by Bolesław Sobociński
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1966
70
Bertrand Russell's Dictionary of Mind, Matter and Moralsby Bertrand Russell
Review by: Ann M. Singleterry
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1966
71
Errata
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 236 KB
Your tags:
english, 1966
72
Real Time Computationby Michael O. Rabin
Review by: Jiří Bečvář
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 227 KB
Your tags:
english, 1966
73
Constructive Algebras. Iby A. I. Mal'cev; K. A. Hirsch
Review by: Verena H. Dyson
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 467 KB
Your tags:
english, 1966
74
The Formalisation of Set Theoryby John Tucker
Review by: Richard Montague
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1966
75
Meeting of the Association for Symbolic Logic
Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 1018 KB
Your tags:
english, 1966
76
Interrogatives, Imperatives, Truth, Falsity and Liesby Henry S. Leonard
Review by: Gerold Stahl
Journal:
Journal of Symbolic Logic
Year:
1966
File:
PDF, 456 KB
Your tags:
1966
77
Interrogatives, Imperatives, Truth, Falsity and Liesby Henry S. Leonard
Review by: Gerold Stahl
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 456 KB
Your tags:
english, 1966
78
On some Alleged Decision Procedures for S4
Willam H., Hanson
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 613 KB
Your tags:
english, 1997
79
JSL volume 31 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 1.63 MB
Your tags:
english, 1997
80
JSL volume 31 issue 4 Cover and Back matter and Errata
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 1.81 MB
Your tags:
english, 1997
81
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 276 KB
Your tags:
english, 1997
82
Fellowship and research opportunities in mathematics
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 45 KB
Your tags:
english, 1997
83
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 1.85 MB
Your tags:
english, 1997
84
Corporate Members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 1.78 MB
Your tags:
english, 1997
85
Abstracts of papers
Journal:
Journal of Symbolic Logic
Year:
1997
Language:
english
File:
PDF, 644 KB
Your tags:
english, 1997
86
Restricted Set-Theoretical Definitions in Arithmeticby Raphael M. Robinson
Review by: Robert McNaughton
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 351 KB
Your tags:
english, 1966
87
Introduction to Logic and to the Methodology of Deductive Sciencesby Alfred Tarski
Review by: Ann M. Singleterry
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 287 KB
Your tags:
english, 1966
88
Back Matter
Journal:
Journal of Symbolic Logic
Year:
1966
Language:
english
File:
PDF, 270 KB
Your tags:
english, 1966
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
×
×