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 12; Issue 3
Main
Journal of Symbolic Logic
Volume 12; Issue 3
Journal of Symbolic Logic
Volume 12; Issue 3
1
On Universals
W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 1.02 MB
Your tags:
english, 1947
2
Introduction a la Logistique
Review by: George D. W. Berry
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 361 KB
Your tags:
english, 1947
3
The Princeton University Bicentennial Conference on the Problems of Mathematicsby John W. Tukey
Review by: Max Black
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 182 KB
Your tags:
english, 1947
4
On the Interpretation of Intuitionistic Number Theoryby S. C. Kleene
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 452 KB
Your tags:
english, 1947
5
On the Reduction of the Decision Problem
László Kalmár and János Surányi
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 747 KB
Your tags:
english, 1947
6
Critical Thinking. An Introduction to Logic and Scientific Methodby Max Black
Review by: Ernest Nagel
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 323 KB
Your tags:
english, 1947
7
Philosophy of Mathematicsby Hermann Weyl; David Meuhad; Abraham Adolf Fraenkel
Review by: George W. Brown
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 358 KB
Your tags:
english, 1947
8
Methodologisches und Philosophisches zur Elementar-Mathematikby G. Mannoury
Review by: Evert W. Beth
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 182 KB
Your tags:
english, 1947
9
A Boolean Derivation of the Moore-Osgood Theoremby Archie Blake
Review by: H. E. Vaughan
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 305 KB
Your tags:
english, 1947
10
Recursive Unsolvability of a Problem of Thueby Emil L. Post
Review by: S. C. Kleene
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 326 KB
Your tags:
english, 1947
11
Recursive Functions and Intuitionistic Number Theoryby David Nelson
Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1947
12
A Failure of the Bolzano-Weierstrass Lemmaby J. Billing
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 189 KB
Your tags:
english, 1947
13
Sur L'Illusion des Définitions Numériques.by Émile Borel
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1947
14
Équations dans le Corps de Boole et Relations Entre Propositions.by Augustin Sesmat; Victor Lalan
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1947
15
Algèbre. Tome I. Équivalences, Opérations, Groupes, Anneaux, Corps.by Paul Dubreil
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 190 KB
Your tags:
english, 1947
16
The Three Basic Directions in the Foundations of Mathematics
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1947
17
Les Méthodes Récentes de Déduction Naturelle.by R. Feys
Review by: Oiva Ketonen
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1947
18
Alte und Neue Logikby Karl Dürr
Review by: Max Black
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1947
19
The Deduction Theorem in a Functional Calculus of First Order Based on Strict Implicationby Ruth C. Barcan
Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1947
20
The Identity of Individuals in a Strict Functional Calculus of Second Orderby Ruth C. Barcan
Review by: W. V. Quine
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 344 KB
Your tags:
english, 1947
21
The Theory of Functions of Real Variablesby Lawrence M. Graves
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 206 KB
Your tags:
english, 1947
22
A Critical Essay on Johnson's Philosophy of Languageby David Rynin
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 435 KB
Your tags:
english, 1947
23
El Sistema de Lógica Escolástica. Estudio Histórico y Critico.by Philotheus Boehner
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1947
24
The Three Fundamental Laws of Thought in Their Metaphysical and Logical Aspectsby Gerard P. Minogue
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 310 KB
Your tags:
english, 1947
25
"Definition."by John Dewey; Arthur F. Bentley
Review by: Arthur Francis Smullyan
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1947
26
Remarks on Realismby Gustav Bergmann
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 204 KB
Your tags:
english, 1947
27
Carnap's "On Inductive Logic."by C. West Churchman
Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 312 KB
Your tags:
english, 1947
28
On the Nature of the Predicate, `Verified.'by Everett W. Hall
Review by: Nelson Goodman
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 209 KB
Your tags:
english, 1947
29
Are There Alternative Logics?by F. Waismann
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1947
30
Truths of Logicby William Kneale
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1947
31
Verifiability (Part II of a Symposium)by Friedrich Waismann
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1947
32
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 303 KB
Your tags:
english, 1947
33
Verifiability (Part III of a Symposium)by William Kneale
Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 178 KB
Your tags:
english, 1947
34
Introduction to Logic and Methodologyby Jørgen Jørgensen
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1947
File:
PDF, 320 KB
Your tags:
1947
35
Introduction to Logic and Methodologyby Jørgen Jørgensen
Review by: Th. Skolem
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 320 KB
Your tags:
english, 1947
36
Meaning in Algebraby Howard F. Fehr
Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 228 KB
Your tags:
english, 1947
37
Billing J.. A failure of the Bolzano-Weierstrass lemma. Arkiv för matematik, astronomi och fysik, vol. 34B (1947), no. 11, 2 pp.
Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 84 KB
Your tags:
english, 1947
38
JSL volume 12 issue 3 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 9.86 MB
Your tags:
english, 1947
39
Lalan. Victor L'anneau de Boole á seize éléments el le calcul des propositions. Comptes rendus hebdomadaires des seances de l'Académie des Sciences (Paris), vol. 224 (1947), pp. 432–434.
Journal:
Journal of Symbolic Logic
Year:
1947
Language:
english
File:
PDF, 154 KB
Your tags:
english, 1947
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
×
×