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 32; Issue 4
Main
Journal of Symbolic Logic
Volume 32; Issue 4
Journal of Symbolic Logic
Volume 32; Issue 4
1
A System of Implicit Quantification
J. Jay Zeman
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 2.67 MB
Your tags:
english, 1967
2
An Infinitistic Rule of Proof
H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 498 KB
Your tags:
english, 1967
3
An Addition to "Logic of Many-Sorted Theories."by P. C. Gilmore
Review by: H. Arnold Schmidt
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 252 KB
Your tags:
english, 1967
4
The Lukasiewicz Functionby Jerzy Słupecki
Review by: W. Bednarowski
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 183 KB
Your tags:
english, 1967
5
The Reduction of Redundancy in Solving Prime Implicant Tablesby I. B. Pyne; E. J. McCluskey,
Review by: A. K. Choudhury
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 419 KB
Your tags:
english, 1967
6
Studies in the History of Arabic Logicby Nicholas Rescher
Review by: Timothy C. Potts
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 362 KB
Your tags:
english, 1967
7
Can the Logic of Indirect Discourse be Formalised?by L. Jonathan Cohen;Epimenides the Cretanby A. N. Prior;On the Formalisation of Indirect Discourseby R. L. Goodstein;Professor Goodstein's Formalisation of the Policemanby L. Jonathan Cohen
Review by: S. Kanger
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 349 KB
Your tags:
english, 1967
8
ℵ0-Complete Cardinals and Transcendency of Cardinals
Kanji Namba
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 1.82 MB
Your tags:
english, 1967
9
A Reduction of the Recursion Scheme
M. D. Gladstone
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 386 KB
Your tags:
english, 1967
10
Der Logische Aufbau der Welt. Scheinprobleme in der Philosophieby Rudolf Carnap
Review by: Wolfgang Stegmüller
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 1015 KB
Your tags:
english, 1967
11
Formale Logikby Paul Lorenzen
Review by: H. Hermes
Journal:
Journal of Symbolic Logic
Year:
1967
File:
PDF, 222 KB
Your tags:
1967
12
Infinitistic Methods from a Finitist Point of Viewby A. Heyting
Review by: G. Kreisel
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 266 KB
Your tags:
english, 1967
13
Ein Dialogisches Konstruktivitatskriteriumby P. Lorenzen
Review by: G. Kreisel
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 218 KB
Your tags:
english, 1967
14
Le Programme Ultra-Intuitionniste des Fondements des Mathematiquesby A. S. Ésénine-Volpine
Review by: G. Kreisel and A. Ehrenfeucht
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 214 KB
Your tags:
english, 1967
15
Enfoque Moderno de la Lógica Clásicaby Gerold Stahl;Introducción a la Lógica Simbólicaby Gerold Stahl;Elementos de la Metalógica y Metamatemática.by Gerold Stahl
Review by: O. Chateaubriand
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 566 KB
Your tags:
english, 1967
16
Herbrand Analyzing Functionsby Burton Dreben; Stål Aanderaa
Review by: Peter Andrews
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 252 KB
Your tags:
english, 1967
17
Theorem Proving by Machineby H. Gelernter;Realization of a Geometry Theorem Proving Machineby H. Gelernter
Review by: J. A. Robinson
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 406 KB
Your tags:
english, 1967
18
Computer Programs for Checking Mathematical Proofsby John McCarthy
Review by: J. A. Robinson
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 203 KB
Your tags:
english, 1967
19
On a Class of Turing Machines (Minsky Machines)by Á. M. Barzdin´
Review by: David S. Tartakoff
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 345 KB
Your tags:
english, 1967
20
On Non-Computable Functionsby T. Rado
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1967
21
On a Simple Source for Non-Computable Functionsby Tibor Rado
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1967
22
Degree of Unsolvability and the Rate of Growth of Functionsby S. Tennenbaum
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1967
23
Extended Canonical Systemsby Raymond M. Smullyan
Review by: James H. Bennett
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1967
24
Some Properties of E. L. Post's Apparatus of Canonical Systemsby S. Ú. Maslov
Review by: E. M. Fels
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 469 KB
Your tags:
english, 1967
25
On the "Tag" Problem of E. L. Postby S. Ú. Maslov
Review by: E. M. Fels
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 349 KB
Your tags:
english, 1967
26
Transformation of Arbitrary Canonical Calculi into CanonicaL Calculi of Special Typesby S. Ju. Maslov
Review by: E. M. Fels
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1967
27
Functions which Remain Partial Recursive Under all Similarity Transformationsby Norman Shapiro
Review by: Paul Axt
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1967
28
The Minimum of Two Regressive Isolsby J. C. E. Dekker
Review by: Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 205 KB
Your tags:
english, 1967
29
Two Notes on Regressive Isolsby Joseph Barback
Review by: Carl Bredlau
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 346 KB
Your tags:
english, 1967
30
Classes of Recursively Enumerable Sets and Degrees of Unsolvabilityby Donald A. Martin
Review by: K. Appel
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1967
31
On a Question of G. E. Sacksby Donald A. Martin
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1967
32
On a Theorem of Lachlan and Martinby Gerald E. Sacks
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1967
33
A Theorem on Minimal Degreesby J. R. Shoenfield
Review by: A. H. Lachlan
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1967
34
The Post-Lineal Theorems for Arbitrary Recursively Enumerable Degrees of Unsolvabilityby Ann H. Ihrig
Review by: Gerald E. Sacks
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 194 KB
Your tags:
english, 1967
35
Many-one Degrees of the Predicates Ha(x)by Yiannis N. Moschovakis
Review by: Gustav B. Hensel
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 336 KB
Your tags:
english, 1967
36
Representability of Recursively Enumerable Sets in Formal Theoriesby A. Ehrenfeucht; S. Feferman
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 201 KB
Your tags:
english, 1967
37
Transfinite Recursive Progressions of Axiomatic Theoriesby Solomon Feferman
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 375 KB
Your tags:
english, 1967
38
Incompleteness along Paths in Progressions of Theoriesby S. Feferman; C. Spector
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 234 KB
Your tags:
english, 1967
39
Sur la Méthode Extensive en Métamathématique.by Daniel Lacombe
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 234 KB
Your tags:
english, 1967
40
On Models of Axiomatic Set-Theoryby A. Mostowski
Review by: Elliott Mendelson
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 387 KB
Your tags:
english, 1967
41
Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen.by Arnold Oberschelp
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 400 KB
Your tags:
english, 1967
42
Uber die Axiome Arithmetischer Klassen mit Abgeschlossenheitsbedingungenby Arnold Oberschelp
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1967
43
A Note on Sentences Preserved under Direct Products and Powersby M. Machover
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 246 KB
Your tags:
english, 1967
44
Sur les Congruences et les Propriétés Positives d'Algèbres Abstraites.by E. Marczewski;Properties Preserved under Homomorphismby Roger C. Lyndon;Properties Preserved in Subdirect Productsby Roger C. Lyndon;Sentences Preserved under Homomorphisms; Sentences Preserved underby Roger C. Lyndon;Properties Preserved under Algebraic Constructionsby R. C. Lyndon
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 406 KB
Your tags:
english, 1967
45
Universal Relational Systemsby Bjarni Jónsson;Homogeneous Universal Relational Systemsby B. Jonsson
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 358 KB
Your tags:
english, 1967
46
Homogeneous Universal Modelsby Michael Morley; Robert Vaught
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 199 KB
Your tags:
english, 1967
47
On the Elementary Theory of Abelian Groupsby M. I. Kargapolov
Review by: J. Mennicke
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 324 KB
Your tags:
english, 1967
48
A Proof of the Completeness of the Classical Propositional Calculus on the Ground of an Axiomatic Methodologyby Witold A. Pogorzelski; Jerzy Slupecki
Review by: W. Bednarowski
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 325 KB
Your tags:
english, 1967
49
A Theorem on Non-Classical Functional Calculiby R. Sikorski;Some Applications of Interior Mappingsby R. Sikorski
Review by: Mihály Makkai
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1967
50
Some Structure Results for Propositional Calculiby Ronald Harrop
Review by: Ann Yasuhara
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 335 KB
Your tags:
english, 1967
51
On Essential Variables of Functions, Especially in the Algebra of Logicby Arto Salomaa
Review by: Norman M. Martin
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1967
52
On a Correspondence between Many-Valued and Two-Valued Logicsby P. Schofield
Review by: Norman M. Martin
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 195 KB
Your tags:
english, 1967
53
On the Minimal Third Order Expression of a Boolean Functionby Angelo Raffaele Meo
Review by: A. K. Choudhury
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 210 KB
Your tags:
english, 1967
54
Determination of the Irredundant Normal Forms of a Truth Function by Iterated Consensus of the Prime Implicantsby Thomas H. Mott,;Computing Irredundant Normal Forms from Abbreviated Presence Functionsby D. M. Y. Chang; T. H. Mott,
Review by: A. K. Choudhury
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 467 KB
Your tags:
english, 1967
55
GrundriB Einer Allgemeinen Schaltungstheorie (Analyse)by Joachim Metz
Review by: Eric G. Wagner
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 258 KB
Your tags:
english, 1967
56
Introduction to Lattice Theoryby D. E. Rutherford
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 258 KB
Your tags:
english, 1967
57
Peano-Bäume.by Jürgen Schmidt
Review by: B. Gershuni
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 458 KB
Your tags:
english, 1967
58
The Substitution Schema in Recursive Arithmeticby R. D. Lee
Review by: H. E. Rose
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 259 KB
Your tags:
english, 1967
59
Modern Logicby Takeo Sugihara
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 384 KB
Your tags:
english, 1967
60
A Study on Modal Logicby Takeo Sugihara
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 184 KB
Your tags:
english, 1967
61
Rules for Syllogisms with the Consideration of Schemata with Negated Subject Termsby Stanislaw Kaminski
Review by: Ivo Thomas
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 185 KB
Your tags:
english, 1967
62
A Classification of Categorical Propositionsby Klixbüll Jørgensen
Review by: Ivo Thomas
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1967
63
On Pegasizingby Herbert Hochberg;Mr. Hochberg, Mr. Quine and the Theory of Descriptionby Vernon Dolphin
Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 215 KB
Your tags:
english, 1967
64
Choice without Preference. A Study of the History and of the Logic of the Problem of "Buridan's Ass."by Nicholas Rescher
Review by: Timothy C. Potts
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 366 KB
Your tags:
english, 1967
65
Questions and Answersby Henry Hiż
Review by: David Harrah
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 374 KB
Your tags:
english, 1967
66
Un Développement de la Logique des Questions.by Gerold Stahl
Review by: David Harrah
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 222 KB
Your tags:
english, 1967
67
A Review of Some Problems of the Logic of Questionsby Tadeusz Kubiński
Review by: Pavel Materna
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 371 KB
Your tags:
english, 1967
68
Why do Cretans have to Say so Much?by L. Jonathan Cohen
Review by: S. Kanger
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1967
69
A Formalisation of Referentially Opaque Contextsby L. Jonathan Cohen
Review by: S. Kanger
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 200 KB
Your tags:
english, 1967
70
Further Citations
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 658 KB
Your tags:
english, 1967
71
Meeting of the Association for Symbolic Logic
H. A. Schmidt, K. Schütte, E.-J. Thiele and M. J. Cresswell
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 2.98 MB
Your tags:
english, 1967
72
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 4.10 MB
Your tags:
english, 1967
73
Transliteration of Cyrillic Letters
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 117 KB
Your tags:
english, 1967
74
Errata
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 130 KB
Your tags:
english, 1967
75
Gentzen's Method for the Many-Valued Propositional Calculiby Vladimir G. Kirin
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 331 KB
Your tags:
english, 1967
76
Axiomatizability by a Schema
Robert L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1967
File:
PDF, 902 KB
Your tags:
1967
77
Axiomatizability by a Schema
Robert L. Vaught
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 902 KB
Your tags:
english, 1967
78
Proving a Theorem (as Done by Man, Logician, or Machine)by Abraham Robinson
Review by: J. A. Robinson
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 284 KB
Your tags:
english, 1967
79
Konstruktive Grundlagen der Logikby Amitabha Ghose
Review by: G. Hasenjaeger
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 236 KB
Your tags:
english, 1967
80
Complete Subsets of Mappings over a Finite Domainby P. Schofield
Review by: Norman M. Martin
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 377 KB
Your tags:
english, 1967
81
Index of Reviews
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 5.22 MB
Your tags:
english, 1967
82
Meeting of the Association for Symbolic Logic
Cresswell, M. J.
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 275 KB
Your tags:
english, 1968
83
JSL volume 32 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Year:
1968
File:
PDF, 6.11 MB
Your tags:
1968
84
Note fellowship and research opportunities in mathematics
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 35 KB
Your tags:
english, 1968
85
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 1.98 MB
Your tags:
english, 1968
86
Index of Reviews
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 2.43 MB
Your tags:
english, 1968
87
Transliteration of Cyrillic letters
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 44 KB
Your tags:
english, 1968
88
Errata
Journal:
Journal of Symbolic Logic
Year:
1968
Language:
english
File:
PDF, 49 KB
Your tags:
english, 1968
89
A Maximal Set which is not Completeby Gerald E. Sacks
Review by: K. Appel
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 283 KB
Your tags:
english, 1967
90
A Supplement to Herbrandby Burton Dreben; John Denton
Review by: Peter Andrews
Journal:
Journal of Symbolic Logic
Year:
1967
Language:
english
File:
PDF, 541 KB
Your tags:
english, 1967
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
×
×