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 27; Issue 4
Main
Journal of Symbolic Logic
Volume 27; Issue 4
Journal of Symbolic Logic
Volume 27; Issue 4
1
Neuva Demonstración de la Completicidad Funcional del Cálculo Proposicional Bivalente.by Luis Elpidio Sanchis
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 90 KB
Your tags:
english, 1962
2
Incompleteness Along Paths in Progressions of Theories
S. Feferman and C. Spector
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 317 KB
Your tags:
english, 1962
3
The Separation Theorem of Intuitionist Propositional Calculus
Alfred Horn
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 277 KB
Your tags:
english, 1962
4
On McKinsey's Syntatical Characterizations of Systems of Modal Logic
F. R. Drake
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 234 KB
Your tags:
english, 1962
5
The Number of Modalities in T Supplemented by the Axiom CL2pL3p
Takeo Sugihara
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 99 KB
Your tags:
english, 1962
6
Functional Completeness and Canonical Forms in Many-Valued Logics
William H. Jobe
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 391 KB
Your tags:
english, 1962
7
Extensions of Some Theorems of Anderson and Belnap
Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 148 KB
Your tags:
english, 1962
8
The Semantics of Singular Terms
Gordon Matheson
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 807 KB
Your tags:
english, 1962
9
Turing-Maschinen und Markowche Algoritmenby Günter Asser
Review by: Michael O. Rabin
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 136 KB
Your tags:
english, 1962
10
The Representation of Monadic Boolean Algebrasby Paul R. Halmos
Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 139 KB
Your tags:
english, 1962
11
Algebraic Logicby Paul R. Halmos
Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 130 KB
Your tags:
english, 1962
12
On the Nature of the Logicalby L. P. Gokiéli
Review by: David Dinsmore Comey
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 124 KB
Your tags:
english, 1962
13
Formulario Mathematicoby Giuseppe Peano
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 89 KB
Your tags:
english, 1962
14
The Gödel Theorem. An Informal Exposition.by Norwood Russell Hanson
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 123 KB
Your tags:
english, 1962
15
On Bernstein's Self-Dual Set of Postulates for Boolean Algebrasby Richard Montague; Jan Tarski
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 91 KB
Your tags:
english, 1962
16
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 137 KB
Your tags:
english, 1962
17
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic
Robert L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 368 KB
Your tags:
english, 1962
18
List of Officers and Members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 729 KB
Your tags:
english, 1962
19
Two Arithmetical Techniques with Numbered Classes
Gerald B. Standley
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 101 KB
Your tags:
english, 1962
20
Mathematical Logic and the Foundations of Mathematicsby S. A. Ánovskaá
Review by: E. J. Cogan
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 93 KB
Your tags:
english, 1962
21
A Formal System of First-Order Predicate Calculus with Infinitely Long Expressionsby Shôji Maehara; Gaisi Takeuti
Review by: Erwin Engeler
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 115 KB
Your tags:
english, 1962
22
The Independence of Connectives
Timothy Smiley
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 360 KB
Your tags:
english, 1962
23
Free Monadic Algebrasby Paul R. Halmos
Review by: Aubert Daigneault
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 116 KB
Your tags:
english, 1962
24
Related Citations
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 160 KB
Your tags:
english, 1962
25
JSL volume 27 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1962
File:
PDF, 8.92 MB
Your tags:
1962
26
Errata
Journal:
Journal of Symbolic Logic
Year:
1962
File:
PDF, 54 KB
Your tags:
1962
27
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1962
Language:
english
File:
PDF, 1.26 MB
Your tags:
english, 1962
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
×
×