Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
recherche d'articles
articles
Campagne de collecte:
17.2% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Revues
La participation
Faire un don
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Ouvrir 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
Année:
1967
Langue:
english
Fichier:
PDF, 2.67 MB
Vos balises:
english, 1967
2
An Infinitistic Rule of Proof
H. B. Enderton
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 498 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 252 KB
Vos balises:
english, 1967
4
The Lukasiewicz Functionby Jerzy Słupecki
Review by: W. Bednarowski
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 183 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 419 KB
Vos balises:
english, 1967
6
Studies in the History of Arabic Logicby Nicholas Rescher
Review by: Timothy C. Potts
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 362 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 349 KB
Vos balises:
english, 1967
8
ℵ0-Complete Cardinals and Transcendency of Cardinals
Kanji Namba
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 1.82 MB
Vos balises:
english, 1967
9
A Reduction of the Recursion Scheme
M. D. Gladstone
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 386 KB
Vos balises:
english, 1967
10
Der Logische Aufbau der Welt. Scheinprobleme in der Philosophieby Rudolf Carnap
Review by: Wolfgang Stegmüller
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 1015 KB
Vos balises:
english, 1967
11
Formale Logikby Paul Lorenzen
Review by: H. Hermes
Journal:
Journal of Symbolic Logic
Année:
1967
Fichier:
PDF, 222 KB
Vos balises:
1967
12
Infinitistic Methods from a Finitist Point of Viewby A. Heyting
Review by: G. Kreisel
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 266 KB
Vos balises:
english, 1967
13
Ein Dialogisches Konstruktivitatskriteriumby P. Lorenzen
Review by: G. Kreisel
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 218 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 214 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 566 KB
Vos balises:
english, 1967
16
Herbrand Analyzing Functionsby Burton Dreben; Stål Aanderaa
Review by: Peter Andrews
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 252 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 406 KB
Vos balises:
english, 1967
18
Computer Programs for Checking Mathematical Proofsby John McCarthy
Review by: J. A. Robinson
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 203 KB
Vos balises:
english, 1967
19
On a Class of Turing Machines (Minsky Machines)by Á. M. Barzdin´
Review by: David S. Tartakoff
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 345 KB
Vos balises:
english, 1967
20
On Non-Computable Functionsby T. Rado
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 201 KB
Vos balises:
english, 1967
21
On a Simple Source for Non-Computable Functionsby Tibor Rado
Review by: F. B. Cannonito
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 201 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 201 KB
Vos balises:
english, 1967
23
Extended Canonical Systemsby Raymond M. Smullyan
Review by: James H. Bennett
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 201 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 469 KB
Vos balises:
english, 1967
25
On the "Tag" Problem of E. L. Postby S. Ú. Maslov
Review by: E. M. Fels
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 349 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 205 KB
Vos balises:
english, 1967
27
Functions which Remain Partial Recursive Under all Similarity Transformationsby Norman Shapiro
Review by: Paul Axt
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 205 KB
Vos balises:
english, 1967
28
The Minimum of Two Regressive Isolsby J. C. E. Dekker
Review by: Erik Ellentuck
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 205 KB
Vos balises:
english, 1967
29
Two Notes on Regressive Isolsby Joseph Barback
Review by: Carl Bredlau
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 346 KB
Vos balises:
english, 1967
30
Classes of Recursively Enumerable Sets and Degrees of Unsolvabilityby Donald A. Martin
Review by: K. Appel
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 200 KB
Vos balises:
english, 1967
31
On a Question of G. E. Sacksby Donald A. Martin
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 335 KB
Vos balises:
english, 1967
32
On a Theorem of Lachlan and Martinby Gerald E. Sacks
Review by: C. E. M. Yates
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 194 KB
Vos balises:
english, 1967
33
A Theorem on Minimal Degreesby J. R. Shoenfield
Review by: A. H. Lachlan
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 194 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 194 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 336 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 201 KB
Vos balises:
english, 1967
37
Transfinite Recursive Progressions of Axiomatic Theoriesby Solomon Feferman
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 375 KB
Vos balises:
english, 1967
38
Incompleteness along Paths in Progressions of Theoriesby S. Feferman; C. Spector
Review by: R. A. DiPaola
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 234 KB
Vos balises:
english, 1967
39
Sur la Méthode Extensive en Métamathématique.by Daniel Lacombe
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 234 KB
Vos balises:
english, 1967
40
On Models of Axiomatic Set-Theoryby A. Mostowski
Review by: Elliott Mendelson
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 387 KB
Vos balises:
english, 1967
41
Über die Axiome Produkt-Abgeschlossener Arithmetischer Klassen.by Arnold Oberschelp
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 400 KB
Vos balises:
english, 1967
42
Uber die Axiome Arithmetischer Klassen mit Abgeschlossenheitsbedingungenby Arnold Oberschelp
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 246 KB
Vos balises:
english, 1967
43
A Note on Sentences Preserved under Direct Products and Powersby M. Machover
Review by: J. Weinstein
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 246 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 406 KB
Vos balises:
english, 1967
45
Universal Relational Systemsby Bjarni Jónsson;Homogeneous Universal Relational Systemsby B. Jonsson
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 358 KB
Vos balises:
english, 1967
46
Homogeneous Universal Modelsby Michael Morley; Robert Vaught
Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 199 KB
Vos balises:
english, 1967
47
On the Elementary Theory of Abelian Groupsby M. I. Kargapolov
Review by: J. Mennicke
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 324 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 325 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 200 KB
Vos balises:
english, 1967
50
Some Structure Results for Propositional Calculiby Ronald Harrop
Review by: Ann Yasuhara
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 335 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 195 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 195 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 210 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 467 KB
Vos balises:
english, 1967
55
GrundriB Einer Allgemeinen Schaltungstheorie (Analyse)by Joachim Metz
Review by: Eric G. Wagner
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 258 KB
Vos balises:
english, 1967
56
Introduction to Lattice Theoryby D. E. Rutherford
Review by: Donald Monk
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 258 KB
Vos balises:
english, 1967
57
Peano-Bäume.by Jürgen Schmidt
Review by: B. Gershuni
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 458 KB
Vos balises:
english, 1967
58
The Substitution Schema in Recursive Arithmeticby R. D. Lee
Review by: H. E. Rose
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 259 KB
Vos balises:
english, 1967
59
Modern Logicby Takeo Sugihara
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 384 KB
Vos balises:
english, 1967
60
A Study on Modal Logicby Takeo Sugihara
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 184 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 185 KB
Vos balises:
english, 1967
62
A Classification of Categorical Propositionsby Klixbüll Jørgensen
Review by: Ivo Thomas
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 215 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 215 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 366 KB
Vos balises:
english, 1967
65
Questions and Answersby Henry Hiż
Review by: David Harrah
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 374 KB
Vos balises:
english, 1967
66
Un Développement de la Logique des Questions.by Gerold Stahl
Review by: David Harrah
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 222 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 371 KB
Vos balises:
english, 1967
68
Why do Cretans have to Say so Much?by L. Jonathan Cohen
Review by: S. Kanger
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 200 KB
Vos balises:
english, 1967
69
A Formalisation of Referentially Opaque Contextsby L. Jonathan Cohen
Review by: S. Kanger
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 200 KB
Vos balises:
english, 1967
70
Further Citations
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 658 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 2.98 MB
Vos balises:
english, 1967
72
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 4.10 MB
Vos balises:
english, 1967
73
Transliteration of Cyrillic Letters
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 117 KB
Vos balises:
english, 1967
74
Errata
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 130 KB
Vos balises:
english, 1967
75
Gentzen's Method for the Many-Valued Propositional Calculiby Vladimir G. Kirin
Review by: Akira Nakamura
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 331 KB
Vos balises:
english, 1967
76
Axiomatizability by a Schema
Robert L. Vaught
Journal:
Journal of Symbolic Logic
Année:
1967
Fichier:
PDF, 902 KB
Vos balises:
1967
77
Axiomatizability by a Schema
Robert L. Vaught
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 902 KB
Vos balises:
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
Année:
1967
Langue:
english
Fichier:
PDF, 284 KB
Vos balises:
english, 1967
79
Konstruktive Grundlagen der Logikby Amitabha Ghose
Review by: G. Hasenjaeger
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 236 KB
Vos balises:
english, 1967
80
Complete Subsets of Mappings over a Finite Domainby P. Schofield
Review by: Norman M. Martin
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 377 KB
Vos balises:
english, 1967
81
Index of Reviews
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 5.22 MB
Vos balises:
english, 1967
82
Meeting of the Association for Symbolic Logic
Cresswell, M. J.
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 275 KB
Vos balises:
english, 1968
83
JSL volume 32 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Année:
1968
Fichier:
PDF, 6.11 MB
Vos balises:
1968
84
Note fellowship and research opportunities in mathematics
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 35 KB
Vos balises:
english, 1968
85
List of officers and members of the Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 1.98 MB
Vos balises:
english, 1968
86
Index of Reviews
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 2.43 MB
Vos balises:
english, 1968
87
Transliteration of Cyrillic letters
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 44 KB
Vos balises:
english, 1968
88
Errata
Journal:
Journal of Symbolic Logic
Année:
1968
Langue:
english
Fichier:
PDF, 49 KB
Vos balises:
english, 1968
89
A Maximal Set which is not Completeby Gerald E. Sacks
Review by: K. Appel
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 283 KB
Vos balises:
english, 1967
90
A Supplement to Herbrandby Burton Dreben; John Denton
Review by: Peter Andrews
Journal:
Journal of Symbolic Logic
Année:
1967
Langue:
english
Fichier:
PDF, 541 KB
Vos balises:
english, 1967
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×