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 3
Main
Journal of Symbolic Logic
Volume 34; Issue 3
Journal of Symbolic Logic
Volume 34; Issue 3
1
Free L-Algebras
Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 491 KB
Your tags:
english, 1969
2
On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers
M. Makkai
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 2.74 MB
Your tags:
english, 1969
3
Logiques Construites par une Méthode de Déduction Naturelle.by J. Dopp
Review by: Dag Prawitz
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1969
4
The Word Problem for Abstract Algebrasby Trevor Evans;Embeddability and the Word Problemby Trevor Evans
Review by: C. R. J. Clapham
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1969
5
The Present State of the Theory of Relay Circuitsby M. A. Gavrilov
Review by: S. Rudeanu
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 345 KB
Your tags:
english, 1969
6
On the Representation of α-Complete Latticesby C. C. Chang; A. Horn
Review by: George Grätzer
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 355 KB
Your tags:
english, 1969
7
Cylindric and Polyadic Algebrasby Bernard A. Galler
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1969
8
Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphsby T. G. McLaughlin
Review by: Wayne Richter
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 218 KB
Your tags:
english, 1969
9
Regressive Isolsby J. C. E. Dekker
Review by: C. E. Bredlau
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1969
10
Elementary Functions and Coordinate Geometryby Sze-Tsen Hu
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 350 KB
Your tags:
english, 1969
11
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.23 MB
Your tags:
english, 1969
12
Annals of Mathematical Logic: Announcement of a New Periodical
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 164 KB
Your tags:
english, 1969
13
Meeting of the Association for Symbolic Logic Warsaw 1968
A. Mostowski and A. Blikle
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.47 MB
Your tags:
english, 1969
14
Consistency of Leśniewski's Mereology
Czesław Lejewski
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 811 KB
Your tags:
english, 1969
15
The Elimination of De Re Modalities
M. J. Cresswell
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 255 KB
Your tags:
english, 1969
16
Nonfinitizability of Classes of Representable Cylindric Algebras
J. Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.33 MB
Your tags:
english, 1969
17
Nonfinitizability of Classes of Representable Polyadic Algebras
James S. Johnson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.05 MB
Your tags:
english, 1969
18
Applications of Strict Π11Predicates to Infinitary Logic
Jon Barwise
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.63 MB
Your tags:
english, 1969
19
Reduced Products and Nonstandard Logics
M. Benda
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.52 MB
Your tags:
english, 1969
20
E, R, and γ
Robert K. Meyer and J. Michael Dunn
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.68 MB
Your tags:
english, 1969
21
Natural Models of Ackermann's Set Theory
Rudolf Grewe
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 696 KB
Your tags:
english, 1969
22
The Degrees of Hyperhyperimmune Sets
Carl G. Jockusch, Jr.
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 607 KB
Your tags:
english, 1969
23
The Philosophy of Bertrand Russellby Paul Arthur Schilpp
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 334 KB
Your tags:
english, 1969
24
The Logical Interest of the Topics as Seen in Abelardby Otto Bird;The Formalizing of the Topics in Mediaeval Logicby Otto Bird;Topic and Consequence in Ockham's Logicby Otto Bird;The Re-Discovery of the Topicsby Otto Bird
Review by: Martin Tweedale
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 540 KB
Your tags:
english, 1969
25
An Examination of Ockham's Aretetic Logicby Ivan Boh
Review by: Martin Tweedale
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 221 KB
Your tags:
english, 1969
26
The Logic of Commandsby Nicolas Rescher
Review by: James Thomson
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 378 KB
Your tags:
english, 1969
27
Recent Developments and Trends in Logicby Nicholas Rescher;A Neglected Recent Trend in Logicby Yehoshua Bar-Hillel
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1969
28
Iterated Deontic Modalitiesby Ruth Barcan Marcus
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1969
29
Avoidability and the Contrary-to-Fact Conditional in C. L. Stevenson and C. I. Lewisby William T. Fontaine
Review by: B. J. Diggs
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1969
30
Semantical Considerations for Modal Logicsby Saul A. Kripke
Review by: Dov Gabbay
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 219 KB
Your tags:
english, 1969
31
Modal Logicsby Robert Feys; J. Dopp
Review by: Gerald J. Massey
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 382 KB
Your tags:
english, 1969
32
A Certain Kind of Formal Theoriesby Katuzi Ono
Review by: Jean Ladrière
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 661 KB
Your tags:
english, 1969
33
A Formalism for Primitive Logic and Mechanical Proof-Checkingby Katuzi Ono
Review by: Jean Ladrière
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 217 KB
Your tags:
english, 1969
34
A Pursuit of Simple Basic Systemsby Katuzi Ono
Review by: Jean Ladrière
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 216 KB
Your tags:
english, 1969
35
A Remark on the Intersection of Two Logicsby Satoshi Miura
Review by: Jean Ladrière
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 369 KB
Your tags:
english, 1969
36
On the Separation Theorem of Intermediate Propositional Calculiby Tsutomu Hosoi;The Separable Axiomatization of the Intermediate Propositional Systems Snof Godelby Tsutomu Hosoi
Review by: Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
37
Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvabilityby M. D. Gladstone
Review by: W. E. Singletary
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 357 KB
Your tags:
english, 1969
38
Some Unsolvable Problems about Elements and Subgroups of Groupsby Gilbert Baumslag; W. W. Boone; B. H. Neumann
Review by: J. L. Britton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1969
39
On a Problem of J. H. C. Whitehead and a Problem of Alonzo Churchby William W. Boone; Hartley Rogers,
Review by: J. L. Britton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 350 KB
Your tags:
english, 1969
40
On the Relation between the Word Problem and the Conjugacy Problem in Finitely Defined Groupsby A. A. Fridman
Review by: J. L. Britton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 356 KB
Your tags:
english, 1969
41
Monogenic Post Normal Systems of Arbitrary Degreeby Philip K. Hooper
Review by: M. D. Gladstone
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 363 KB
Your tags:
english, 1969
42
Machine Dependence of Degree of Difficultyby Michael Arbib; Manuel Blum
Review by: Alan Cobham
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
43
The Definition of Complexity of Algorithmsby B. M. Kloss; S. L. Bloom
Review by: Alan Cobham
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 212 KB
Your tags:
english, 1969
44
Decision Problems of Finite Automata Design and Related Arithmeticsby C. C. Elgot
Review by: Robert McNaughton
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 359 KB
Your tags:
english, 1969
45
A Practical Infinitistic Computerby L. Kalmár
Review by: William E. Gould
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 206 KB
Your tags:
english, 1969
46
Relay Contact Circuits under Direct Controlby C. Moisil
Review by: S. Rudeanu
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 347 KB
Your tags:
english, 1969
47
La Operación Puente en las Álgebras de Booleby J. Santos; H. Arango
Review by: Florencio G. Asenjo
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1969
48
Defining Relations for Full Semigroups of Finite Transformationsby Bjarni Jónsson
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1969
49
On Small Modelsby A. I. Mal'cév
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 361 KB
Your tags:
english, 1969
50
Dimension in Elementary Euclidean Geometryby Dana Scott
Review by: Wolfram Schwabhäuser
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1969
51
On Relations between Structuresby Per Lindström
Review by: G. Fuhrken
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1969
52
The Problem of Predicativityby J. R. Shoenfield
Review by: George S. Boolos
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1969
53
The Limits of Sheaves and Applications on Constructions of Modelsby P. Vopěnka;On$\triangledown$-Model of Set Theoryby P. Vopěnka;Properties of$\triangledown$-Modelby P. Vopěnka;Permutation Submodels of the Model$\triangledown$by P. Vopěnka; P. Hájek;Some Permutation Submodels of the Model$\triangledown$by P. Hájek; P. Vopěnka;$\triangledown$-Models in which the Generalized Continuum Hypothesis does not Holdby P. Vopěnka
Review by: Kenneth Kunen
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 368 KB
Your tags:
english, 1969
54
On Languages which are Based on Non-Standard Arithmeticby Abraham Robinson
Review by: James R. Geiser
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 387 KB
Your tags:
english, 1969
55
Constructive Analogues of the Group of Permutations of the Natural Numbersby Clement F. Kent
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 389 KB
Your tags:
english, 1969
56
Points and Spacesby L. E. J. Brouwer
Review by: Joan Rand Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1969
57
On Intuitionistic Difference Relationsby B. van Rootselaar
Review by: R. E. Vesley
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 363 KB
Your tags:
english, 1969
58
Some Sheffer Functions for M-Valued Logicsby F. Richard Singer
Review by: R. L. Graham
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1969
59
An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicatesby David Pager
Review by: Theodore Hailperin
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 211 KB
Your tags:
english, 1969
60
MINIAC: World's Smallest Electronic Brainby Thomas Storer
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1969
61
Can the Mathematician be Replaced by a Machine?by Yen-Yi Wu
Review by: C. C. Chang
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 198 KB
Your tags:
english, 1969
62
Bar Induction and Π1 1-CA
Friedman, Harvey
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.24 MB
Your tags:
english, 1969
63
On Universal Character of the Primitive Logicby Katuzi Ono
Review by: Jean Ladrière
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 396 KB
Your tags:
english, 1969
64
Mathematics and Symbolsby Jonas Lichtenberg
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 227 KB
Your tags:
english, 1969
65
Words in the History of a Turing Machine with a Fixed Inputby Michael O. Rabin; Hao Wang
Review by: Joyce Friedman
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 238 KB
Your tags:
english, 1969
66
Countable Vector Spaces with Recursive Operations. Part I
J. C. E. Dekker
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 2.57 MB
Your tags:
english, 1969
67
Collected Papers of Charles Sanders Peirecby Charles Hartshorne; Paul Weiss
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 339 KB
Your tags:
english, 1969
68
Prime Ideal Characterization of Generalized Post Algebrasby Chen Chung Chang; Alfred Horn
Review by: Tadeusz Traczyk
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 233 KB
Your tags:
english, 1969
69
Good Choice Setsby J. C. E. Dekker;The Recursive Equivalence Type of a Class of Setsby J. C. E. Dekker
Review by: C. E. Bredlau
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 400 KB
Your tags:
english, 1969
70
Generic Embeddings
Jacob Manuel Plotkin
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 747 KB
Your tags:
english, 1969
71
Wu Yen-Yi. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i (Can the mathematician be replaced by a machine?). K'o hsüeh chiao yü (Science education), vol. 11 no. 3 (1965), pp. 33–38.
Chang, C. C.
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 81 KB
Your tags:
english, 1969
72
JSL volume 34 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 10.58 MB
Your tags:
english, 1969
73
Annals of mathematical logic
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 68 KB
Your tags:
english, 1969
74
Logic with Truth Values in a Linearly Ordered Heyting Algebra
Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 1.35 MB
Your tags:
english, 1969
75
Geometry and Necessary Truthby Raymond D. Bradley
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1969
Language:
english
File:
PDF, 444 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
×
×