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 34; Issue 1
Main
Journal of Symbolic Logic
Volume 34; Issue 1
Journal of Symbolic Logic
Volume 34; Issue 1
1
A Second Order Logic of Existence
Nino B. Cocchiarella
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.31 MB
Your tags:
english, 1969
2
Sets with no Subset of Higher Degrees
Robert I. Soare
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 389 KB
Your tags:
english, 1969
3
On a Restricted ω-Ruleby J. R. Shoenfield
Review by: Robert DiPaola
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 360 KB
Your tags:
english, 1969
4
Gottlob Freges Totalitatsanspruch der Logikby Karl Eberhard Schorr
Review by: Christian Thiel
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 375 KB
Your tags:
english, 1969
5
Volume Information
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 355 KB
Your tags:
english, 1969
6
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 122 KB
Your tags:
english, 1969
7
Errata
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 95 KB
Your tags:
english, 1969
8
Predicate Calculus with Free Quantifier Variables
Richmond H. Thomason and D. Randolph Johnson, Jr.
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 841 KB
Your tags:
english, 1969
9
Partially Ordered Sets Representable by Recursively Enumerable Classes
J. B. Florence
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 643 KB
Your tags:
english, 1969
10
Recursive Equivalence Types and Groups
Matthew J. Hassett
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 973 KB
Your tags:
english, 1969
11
An Undecidable Two Sorted Predicate Calculus
A. B. Slomson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 356 KB
Your tags:
english, 1969
12
Identity, Equivalence and Isomorphism of Problems
Pavel Materna
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 942 KB
Your tags:
english, 1969
13
A Normal Modal Calculus Between T and S4 Without the Finite Model Property
David Makinson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 424 KB
Your tags:
english, 1969
14
Index Sets of Finite Classes of Recursively Enumerable Sets
Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 586 KB
Your tags:
english, 1969
15
Rich Co-ordinals, Addition Isomorphisms, and Rets
Alfred B. Manaster
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 886 KB
Your tags:
english, 1969
16
A Choice Free Theory of Dedekind Cardinals
Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.68 MB
Your tags:
english, 1969
17
Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability
Manuel Lerman
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.54 MB
Your tags:
english, 1969
18
Logic, semantics, metamathematics, papers from 1923 to 1938by J. H. Woodger; Alfred Tarski
Review by: W. A. Pogorzelski and S. J. Surma
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.28 MB
Your tags:
english, 1969
19
Sinn und Bedeutung in der Logik Gottlob Fregesby Christian Thiel
Review by: G. Gabriel
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 380 KB
Your tags:
english, 1969
20
Philosophy of mathematics: Selected Readingsby Paul Benacerraf; Hilary Putnam
Review by: Alec Fisher
Journal:
Journal of Symbolic Logic
Year:
1969
File:
PDF, 661 KB
Your tags:
1969
21
Introduction to Mathematical Logicby Elliott Mendelson
Review by: Dirk van Dalen
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 370 KB
Your tags:
english, 1969
22
Elements of Mathematical Logicby G. Kreisel; J. L. Krivine
Review by: C. C. Chang
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1969
23
Set Theory and Logicby Abraham A. Fraenkel
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 354 KB
Your tags:
english, 1969
24
A Theory of Formal Deducibilityby Haskell B. Curry
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1969
25
Introduccion a la Logica Modernaby Jose de Jesus Martinez
Review by: Florencio G. Asenjo
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1969
26
Degrees of Unsolvability of the Word Problem for Finitely Defined Groupsby A. A. Fridman
Review by: D. J. Collins
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 376 KB
Your tags:
english, 1969
27
Metarecursively Enumerable Sets and Admissible Ordinalsby Gerald E. Sacks;Post's Problem, Admissible Ordinals, and Regularityby Gerald E. Sacks;Metarecursion Theoryby Gerald E. Sacks;Metarecursively Enumerable Sets and their Metadegreesby Graham C. Driscoll,
Review by: Richard A. Platek
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 388 KB
Your tags:
english, 1969
28
On Recursive Isomorphismby A. B. Hutoréckij
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1969
29
Representability of Recursively Enumerable Sets in Formal Theoriesby J. C. Shepherdson
Review by: Robert A. DiPaola
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1969
30
Elementary Formal Systemsby Raymond M. Smullyan
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 208 KB
Your tags:
english, 1969
31
Commutative Partially Ordered Recursive Arithmeticsby M. T. Partis
Review by: H. E. Rose
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 350 KB
Your tags:
english, 1969
32
N-Lattices and Constructive Logic with Strong Negationby H. Rasiowa
Review by: David Nelson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1969
33
Algebraische Charakterisierung der Intuitionistischen Logik mit Starker Negationby H. Rasiowa
Review by: David Nelson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1969
34
Caracterisation des Algebres de Nelson par des Egalitesby Diana Brignole; Antonio Monteiro
Review by: David Nelson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 188 KB
Your tags:
english, 1969
35
On Weak Completeness of Intuitionistic Predicate Logicby G. Kreisel
Review by: Joan Rand Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 341 KB
Your tags:
english, 1969
36
Modalities in Ackerman's Rigorous Implicationby Alan Ross Anderson; Nuel D. Belnap,
Review by: A. Bayart
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
37
Entailment and Relevanceby Nuel D. Belnap,
Review by: A. Bayart
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
38
On Axioms and Some Properties of Post Algebrasby T. Traczyk;Axioms and Some Properties of Post Algebrasby T. Traczyk;A Generalization of the Loomis-Sikorski Theoremby T. Traczyk
Review by: George Grätzer
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1969
39
Formes Normales dans le Calcul des Propositions Bivalentesby Eugen Mihăilescu;Recherches sur Quelques Systèmes du Calcul des Propositions.by Eugen Mihăilescu
Review by: K. Iséki
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 207 KB
Your tags:
english, 1969
40
All or None: a Novel Choice of Primitives for Elementary Logicby R. H. Thomason; H. Leblanc
Review by: Mitsuru Yasuhara
Journal:
Journal of Symbolic Logic
Year:
1969
File:
PDF, 459 KB
Your tags:
1969
41
A Theory of Logical Essencesby Frederic B. Fitch;A Complete and Consistent Modal Set Theoryby Frederic B. Fitch
Review by: Bede Rundle
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1969
42
Decidability of the Elementary Theory of Relatively Complemented Distributive Lattices and of the Theory of Filtersby Ú. L. Éršov
Review by: Fred Galvin
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1969
43
Definability of Sets in Models of Axiomatic Theoriesby A. Grzegorczyk; A. Mostowski; C. Ryll-Nardzewski
Review by: Azriel Lévy
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1969
44
On a Theorem of Cobham Concerning Undecidable Theoriesby Robert L. Vaught; Ernest Nagel; Patrick Suppes; Alfred Tarski
Review by: Verena H. Dyson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 369 KB
Your tags:
english, 1969
45
Separable Theoriesby A. Ehrenfeucht
Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1969
46
A Class of Models for Second Order Arithmeticby A. Mostowski;Formal System of Analysis Based on an Infinitistic Rule of Proofby A. Mostowski
Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 392 KB
Your tags:
english, 1969
47
Finite Approximations of Infinitely Long Formulasby H. Jerome Keisler; J. W. Addison; Leon Henkin; Alfred Tarski;Some Applications of Infinitely Long Formulasby H. Jerome Keisler
Review by: Carol Karp
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 364 KB
Your tags:
english, 1969
48
On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theoriesby Jens Erik Fenstad
Review by: Steven Savitt
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1969
49
On Undecidable Theoremsby Kempachiro Ohashi
Review by: Mariko Yasugi
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1969
50
An Extension of a Theorem of Gaifman-Hales-Solovayby Saul A. Kripke
Review by: Haim Gaifman
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 364 KB
Your tags:
english, 1969
51
Direct Limits of Partially Ordered Systems of Boolean Algebrasby Ph. Dwinger
Review by: R. S. Pierce
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
52
On a Theorem of Rabin Concerning the Complexity of Computable Functionsby G. S. Matvééva
Review by: Jiří Bečvář
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 386 KB
Your tags:
english, 1969
53
A Variant of Turing Machines Requiring Print Instructions onlyby J. W. Swanson
Review by: Martin Davis
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 372 KB
Your tags:
english, 1969
54
Two Families of Languages Related to ALGOLby Seymour Ginsburg; H. Gordon Rice
Review by: Asa Kasher
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1969
55
Quotients of Context-Free Languagesby Seymour Ginsburg; Edwin H. Spanier
Review by: Asa Kasher
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 357 KB
Your tags:
english, 1969
56
Bounded ALGOL-like Languagesby Seymour Ginsburg; Edwin H. Spanier
Review by: Asa Kasher
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 353 KB
Your tags:
english, 1969
57
Semigroups, Presburger Formulas, and Languagesby Seymour Ginsburg; Edwin H. Spanier
Review by: Asa Kasher
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1969
58
Predicates Definable over Transformational Derivations by Intersection with Regular Languagesby John P. Kimball
Review by: G. H. Matthews
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1969
59
A Formalization of Inductive Logicby Richard M. Martin
Review by: Herbert G. Bohnert
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 358 KB
Your tags:
english, 1969
60
Formalization of the Concept aboutby Hilary Putnam
Review by: Yehoshua Bar-Hillel
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 363 KB
Your tags:
english, 1969
61
On Probability Logicsby Rolf Schock
Review by: Peter Krauss
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1969
62
On Inductionby Rolf Schock
Review by: Peter Krauss
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1969
63
On Beliefs about Oneselfby P. T. Geach
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1969
64
Aspectos Formales de Algunas Paradojas Semánticas.by Gerold Stahl
Review by: J. van Heijenoort
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1969
65
La Verdad Desde el Punto de Vista Lógico-Matemático.by Gerold Stahl
Review by: J. van Heijenoort
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1969
66
Le Probleme de L'Existence dans La Logique Symboliqueby Gerold Stahl;Temps et Existenceby Gerold Stahl;Une Formalisation du Dominateurby G. Stahl
Review by: A. N. Prior
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 376 KB
Your tags:
english, 1969
67
Polish Analytical Philosophy. A Survey and a Comparison with British Analytical Philosophyby Henryk Skolimowski
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 220 KB
Your tags:
english, 1969
68
The Scaffolding of Russell's Theory of Descriptionsby Ronald J. Butler
Review by: David Kaplan
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
69
Russell on Meaning and Denotingby P. T. Geach
Review by: David Kaplan
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 369 KB
Your tags:
english, 1969
70
Russell's Denoting Complexby Ronald Jager
Review by: David Kaplan
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1969
71
Varieties of Use and Mentionby Newton Garver
Review by: David Kaplan
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 206 KB
Your tags:
english, 1969
72
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 800 KB
Your tags:
english, 1969
73
Meeting of the Association for Symbolic Logic
Yiannis N. Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.19 MB
Your tags:
english, 1969
74
Universal Algebraby P. M. Cohn
Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 367 KB
Your tags:
english, 1969
75
Kondô Motokiti and Murata Haruo. On proof retrieval: problem-solving machines. I. Proceedings of the Japan Academy, vol. 41 (1965), pp. 254–259.Kondô Motokiti and Murata Haruo. Standard form in PGO and transformation algorithm: problem-solving machines. II. Proceedings of the Japan Academy, vol. 41 (1965), pp. 355–359.Kondô Motokiti and Murata Haruo. Transformation of PGO into a calculable expression: problem-solving machines. III. Proceedings of the Japan Academy, vol. 42 (1966), pp. 299–303.
Robinson, J. A.
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 371 KB
Your tags:
english, 1969
76
Types of Bases in the Algebra of Logicby Luka Krnič
Review by: I. Rosenberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 385 KB
Your tags:
english, 1969
77
10.2307/2271010
Review by: Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 517 KB
Your tags:
english, 1969
78
Russell's Objections to Frege's Theory of Sense and Referenceby John R. Searle
Review by: David Kaplan
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 398 KB
Your tags:
english, 1969
79
Model-Theoretic Methods in the Study of Elementary Logicby W. Hanf; J. W. Addison; Leon Henkin; Alfred Tarski
Review by: Verena H. Dyson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 423 KB
Your tags:
english, 1969
80
Optimal Computations and the Frequency Occurrence of Áblonskij.by B. A. Trahténbrot
Review by: Jiří Bečvář
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 258 KB
Your tags:
english, 1969
81
JSL volume 34 issue 1 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 10.73 MB
Your tags:
english, 1969
82
Errata
Journal:
Journal of Symbolic Logic
Year:
1969
File:
PDF, 28 KB
Your tags:
1969
83
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 409 KB
Your tags:
english, 1969
84
10.2307/2271007
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 291 KB
Your tags:
english, 1969
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
×
×