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 47; Issue 2
Main
Journal of Symbolic Logic
Volume 47; Issue 2
Journal of Symbolic Logic
Volume 47; Issue 2
1
On the Complexity of Models of Arithmetic
Kenneth McAloon
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 328 KB
Your tags:
english, 1982
2
Index Sets and Degrees of Unsolvability
Michael Stob
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 243 KB
Your tags:
english, 1982
3
Frege and the Philosophy of Mathematicsby Michael D. Resnik
Review by: Clifton McIntosh
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 554 KB
Your tags:
english, 1982
4
Appendix 7. The Independence Proofby G. Grätzer; W. A. Lampe
Review by: Heinrich Werner
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 80 KB
Your tags:
english, 1982
5
Logic for Problem Solvingby Robert Kowalski
Review by: Donald W. Loveland
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 98 KB
Your tags:
english, 1982
6
The Structure and Dynamics of Theoriesby Wolfgang Stegmüller; William Wohlhueter;The Structuralist View of Theories. A Possible Analogue of the Bourbaki Programme in Physical Scienceby Wolfgang Stegmüller
Review by: David Pearce
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 268 KB
Your tags:
english, 1982
7
Double Jumps of Minimal Degrees Over Cardinals
C. T. Chong
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 173 KB
Your tags:
english, 1982
8
The Baire Category Theorem and Cardinals of Countable Cofinality
Arnold W. Miller
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 359 KB
Your tags:
english, 1982
9
On the category of models of a complete theory
Lascar, Daniel
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 434 KB
Your tags:
english, 1982
10
Lachlan A. H.. A note on Thomason's refined structures for tense logics. Theoria, vol. 40(1974), pp. 117–120.Fine Kit. Some connections between elementary and modal logic. Proceedings of the Third Scandinavian Logic Symposium, edited by Ranger Stig, Studies in logic and the foundations of mathematics, vol. 82, North-Holland Publishing Company, Amsterdam and Oxford, and American Elsevier Publishing Company, Inc., New York, 1975, pp. 1–14.Goldblatt R. I. and Thomason S. K.. Axiomatic classes in propositional modal logic. Algebra and logic, Papers from the 1974 Summer Research Institute of the Australian Mathematical Society, Monash University, Australia, edited by Crossley J. N., Lecture notes in mathematics, vol. 450, Springer-Verlag, Berlin
Bull, Robert A.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1982
11
Constructive Assertions in an Extension of Classical Mathematics
Vladimir Lifschitz
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 688 KB
Your tags:
english, 1982
12
Lambert Karel and Brittan Gordon G. Jr. An introduction to the philosophy of science. Second, revised and expanded edition. Ridgeview Publishing Company, Reseda, Calif., 1979, x + 164 pp.
Teller, Paul
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 124 KB
Your tags:
english, 1982
13
Taylor Walter. Equational logic. Houston journal of mathematics, survey 1979. Department of Mathematics, University of Houston, Houston 1979, iii + 83 pp.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 258 KB
Your tags:
english, 1982
14
Notices
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 259 KB
Your tags:
english, 1982
15
Goldblatt Robert. Topoi. The categorial analysis of logic. Studies in logic and the foundations of mathematics, vol. 98. North-Holland Publishing Company, Amsterdam, New York, and Oxford, 1979, xv + 486 pp.
Scott, Philip J.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 536 KB
Your tags:
english, 1982
16
Models with Compactness Properties Relative to an Admissible Languageby J. P. Ressayre
Review by: Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1982
17
Taylor Walter. Appendix 4. Equational logic. Therein, pp. 378–400.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 250 KB
Your tags:
english, 1982
18
Jónsson Bjarni. Appendix 3. Congruence varieties. Therein, pp. 348–377.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 250 KB
Your tags:
english, 1982
19
First-Order Dynamic Logicby David Harel
Review by: Jerzy Tiuryn
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 329 KB
Your tags:
english, 1982
20
On the role of Ramsey quantifiers in first order arithmetic
Schmerl, James H.
,
Simpson, Stephen G.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 971 KB
Your tags:
english, 1982
21
Johnstone P. T.. Topos theory. London Mathematical Society monographs, no. 10. Academic Press, London, New York, and San Francisco, 1977, xxiii + 367 pp.
Seely, Robert
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 437 KB
Your tags:
english, 1982
22
JSL volume 47 issue 2 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 9.07 MB
Your tags:
english, 1982
23
Gumb Raymond D.. Evolving theories. With a foreword by Leblanc Hugues. Haven Publishing Corporation, New York 1979, xi + 96 pp.
Hanson, William H.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 427 KB
Your tags:
english, 1982
24
JSL volume 47 issue 2 Cover and Back matter
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 9.05 MB
Your tags:
english, 1982
25
Dreben Burton and Goldfarb Warren D.. The decision problem. Solvable classes of quantificational formulas. Advanced Book Program. Addison-Wesley Publishing Company, Reading, Mass., 1979, xii + 271 pp.
Andrews, Peter B.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1982
26
Grätzer George. Universal algebra. Second edition, with new appendices and additional bibliography, of XXXVIII 643. Springer-Verlag, New York, Heidelberg, and Berlin, 1979, xviii + 581 pp.Grätzer George. Appendix 1. General survey. Therein, pp. 331–34.Grätzer George. Appendix 2. The problems. Therein, pp. 342–347.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 330 KB
Your tags:
english, 1982
27
Wenzel Günter H.. Appendix 6. Equational compactness. Therein, pp. 417–447.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1982
28
Brand Myles. Introduction: defining “causes.” The nature of causation, edited and with an introduction by Brand Myles, University of Illinois Press, Urbana, Chicago, and London, 1976, pp. 1–44.Nagel Ernest. The logical character of scientific laws. The nature of causation, edited and with an introduction by Brand Myles, University of Illinois Press, Urbana, Chicago, and London, 1976, pp. 77–110. (Reprinted from XL 262(11), pp. 47–78.)Chisholm Roderick M.. Law statements and counterfactual inference. A reprint of XXI 86. The nature of causation, edited and with an introduction by Brand Myles, University of Illinois Press, Urbana, Chicago, and London, 1976, pp. 111–121.Goodman Nelson. The problem of counterfactual conditionals. A reprint of X
Jackson, Frank
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 501 KB
Your tags:
english, 1982
29
Gottlieb Dale. Ontological economy: substitutional quantification and mathematics. Clarendon library of logic and philosophy. Oxford University Press, Oxford 1980, vii + 166 pp.
Weston, T. S.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 423 KB
Your tags:
english, 1982
30
Quackenbush Robert W.. Appendix 5. Primality: the influence of Boolean algebras in universal algebra. Therein, pp. 401–416.
Werner, Heinrich
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 240 KB
Your tags:
english, 1982
31
Abstract logic and set theory. II. Large cardinals
Väänänen, Jouko
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 795 KB
Your tags:
english, 1982
32
The scientific world-perspective and other essays, 1931–1963, by Ajdukiewicz Kazimierz. Edited and with an introduction by Giedymin Jerzy. Synthese library, vol. 108. D. Reidel Publishing Company, Dordrecht and Boston 1978, LIII + 378 pp.Giedymin Jerzy. Editor's preface. Pp. IX–XII.Giedymin Jerzy. Ajdukiewicz's life and personality. Pp. XIII–XVI.Giedymin Jerzy. Radical conventionalism, its background and evolution: Poincaré, LeRoy, Ajdukiewicz. Pp. XIX–LIII.Ajdukiewicz Kazimierz. On the meaning of expressions. Pp. 1–34. English translation by Jerzy Giedymin of XXXVIII 536(8).Ajdukiewicz Kazimierz. Language and meaning. Pp. 35–66. English translation by John Wilkinson of 2259.Ajdukiewicz Kazimierz. The world-picture and the conceptual appara
Lejewski, C.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 786 KB
Your tags:
english, 1982
33
On definition trees of ordinal recursive functionals: Reduction of the recursion orders by means of type level raising
Terlouw, Jan
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 575 KB
Your tags:
english, 1982
34
Flipping properties in arithmetic
Kirby, L. A. S.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 496 KB
Your tags:
english, 1982
35
Shelah Saharon. The number of non-isomorphic models of an unstable first-order theory. Israel journal of mathematics, t. 9 (1971), p. 473–487.
Poizat, Bruno
Journal:
Journal of Symbolic Logic
Year:
1982
File:
PDF, 410 KB
Your tags:
1982
36
An effective selection theorem
Maitra, Ashok
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 494 KB
Your tags:
english, 1982
37
Barwise Jon and Schlipf John. An introduction to recursively saturated and resplendent models. The journal of symbolic logic, vol. 41 (1976), pp. 531–536.
Knight, Julia F.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 242 KB
Your tags:
english, 1982
38
Dauben Joseph Warren. Georg Cantor, his mathematics and philosophy of the infinite. Harvard University Press, Cambridge, Mass. and London, 1979, ix + 404 pp.
Oberschelp, Arnold
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1982
39
A classification of jump operators
Steel, John R.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 856 KB
Your tags:
english, 1982
40
Ressayre J.-P.. Boolean models and infinitary first order languages. Annals of mathematical logic, vol. 6 no. 1 (1973), pp. 41–92.
Knight, Julia F.
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 243 KB
Your tags:
english, 1982
41
On decomposition of Gödelnumberings into Friedbergnumberings
Schinzel, Britta
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 663 KB
Your tags:
english, 1982
42
Intensional logic in extensional language
Parsons, Charles
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 2.27 MB
Your tags:
english, 1982
43
Gregory John. Uncountable models and infinitary elementary extensions. The journal of symbolic logic, vol. 38 (1973), pp. 460–470.
Knight, Julia F.
Journal:
Journal of Symbolic Logic
Year:
1982
File:
PDF, 330 KB
Your tags:
1982
44
Front Matter
Journal:
Journal of Symbolic Logic
Year:
1982
Language:
english
File:
PDF, 122 KB
Your tags:
english, 1982
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
×
×