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:
15.7% 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 34; Issue 4
Main
Journal of Symbolic Logic
Volume 34; Issue 4
Journal of Symbolic Logic
Volume 34; Issue 4
1
On Leśniewski's Ontology.by Czesław Lejewski;Zu Leśniewskis Ontologie.by Czesław Lejewski
Review by: Boguslaw Iwanus
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 342 KB
Vos balises:
english, 1969
2
An Extension of Schutte's Klammer-Symbolsby Harvey Gerber
Review by: Hilbert Levitz
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
3
An Abstract Form of the Church-Rosser Theorem. I
R. Hindley
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 1003 KB
Vos balises:
english, 1969
4
Combinatory Logic with Discriminators
John T. Kearns
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 1.15 MB
Vos balises:
english, 1969
5
Compactification of Groups and Rings and Nonstandard Analysis
Abraham Robinson
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 1.37 MB
Vos balises:
english, 1969
6
Finite Sets in Quine's New Foundations
C. Ward Henson
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 676 KB
Vos balises:
english, 1969
7
Effectively Retractable Theories and Degrees of Undecidability
J. P. Jones
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 749 KB
Vos balises:
english, 1969
8
Abstract Computability and Invariant Definability
Yiannis N. Moschovakis
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 2.56 MB
Vos balises:
english, 1969
9
On Primitive Recursive Permutations and their Inverses
Frank B. Cannonito and Mark Finkelstein
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 462 KB
Vos balises:
english, 1969
10
A Simple Solution of the Uniform Halting Problem
Gabor T. Herman
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 270 KB
Vos balises:
english, 1969
11
Logic. Techniques of Formal Reasoningby Donald Kalish; Richard Montague
Review by: B. H. Mayoh
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 327 KB
Vos balises:
english, 1969
12
Calculus of Functions of One Argument. With Analytic Geometry and Differential Equationsby Edward W. Cogan; Robert Z. Norman; Gerald L. Thompson
Review by: William E. Gould
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 231 KB
Vos balises:
english, 1969
13
The Structure of the Real Number Systemby Leon W. Cohen; Gertrude Ehrlich
Review by: Krister Segerberg
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 347 KB
Vos balises:
english, 1969
14
Philosophy of Science: A Formal Approachby Henry E. Kyburg,
Review by: David Miller
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 327 KB
Vos balises:
english, 1969
15
What is a Question?by John E. Llewelyn
Review by: David Harrah
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 334 KB
Vos balises:
english, 1969
16
New Light on the Liarby Y. Bar-Hillel;Do Natural Languages Contain Paradoxes?by Yehoshua Bar-Hillel
Review by: James Cargile
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
17
A Calculus of `Before.'by David Randall Luce
Review by: Nino B. Cocchiarella
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 345 KB
Vos balises:
english, 1969
18
The Proof `Ex Motu' for the Existence of God: Logical Analysis of St. Thomas' Argumentsby Jan Salamucha; Tadeusz Gierymski; Marian Heitzman
Review by: Wilfrid Hodges
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 231 KB
Vos balises:
english, 1969
19
Remarks on Tarski's System of Axioms of Geometryby Z. Piesyk
Review by: L. W. Szczerba
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 202 KB
Vos balises:
english, 1969
20
New Foundations and the Axiom of Countingby Steven Orey
Review by: Norman Feldman
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 227 KB
Vos balises:
english, 1969
21
Gödel's Theorem and Related Topics.by Toshio Nishimura
Review by: Mariko Yasugi
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 345 KB
Vos balises:
english, 1969
22
First Order Predicate Logic with Generalized Quantifiersby Per Lindström
Review by: G. Fuhrken
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 215 KB
Vos balises:
english, 1969
23
Theory of Models with Generalized Atomic Formulasby H. Jerome Keisler
Review by: Martin Helling
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 243 KB
Vos balises:
english, 1969
24
Regular Products of Modelsby A. I. Mal'cév; J. N. Whitney
Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 373 KB
Vos balises:
english, 1969
25
On Compact Classes of Modelsby A. I. Omarov
Review by: Mihály Makkai
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 228 KB
Vos balises:
english, 1969
26
Some Relational Systems and the Associated Topological Spacesby Andrzej Grzegorczyk
Review by: R. A. Bull
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 358 KB
Vos balises:
english, 1969
27
Metamathematics and Algebra: An Exampleby Roger C. Lyndon
Review by: Arnold Oberschelp
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
28
Weak Isomorphisms of Boolean and Post Algebrasby T. Traczyk
Review by: G. Grätzer
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
29
Definability in Axiomatic Set Theory Iby Azriel Lévy; Yehoshua Bar-Hillel
Review by: F. R. Drake
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 333 KB
Vos balises:
english, 1969
30
Measurable Cardinals and the Continuum Hypothesisby A. Lévy; R. M. Solovay
Review by: F. R. Drake
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 328 KB
Vos balises:
english, 1969
31
On Axiomatic Set Theoryby Anton Jensen
Review by: Lars Löfgren
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
32
La Notion de Constructivité en Métamathématique.by Jean Ladrière
Review by: O. Chateaubriand
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 325 KB
Vos balises:
english, 1969
33
Automata, Formal Languages, Abstracts Switching, and Computability in a Ph.D. Computer Science Programby Robert McNaughton
Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 206 KB
Vos balises:
english, 1969
34
The Intrinsic Computational Difficulty of Functionsby Alan Cobham; Yehoshua Bar-Hillel
Review by: Stephen A. Cook
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
35
A Machine-Independent Theory of the Complexity of Recursive Functionsby Manuel Blum
Review by: Stephen A. Cook
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 316 KB
Vos balises:
english, 1969
36
A New Normal-Form Theorem for Context-Free Phase Structure Grammarsby Sheila Greibach
Review by: Rohit Parikh
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 196 KB
Vos balises:
english, 1969
37
On a Language of Pseudo-Regular Expressionsby B. G. Mirkin
Review by: J. A. Brzozowski
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 196 KB
Vos balises:
english, 1969
38
Further Citations
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 461 KB
Vos balises:
english, 1969
39
Fellowship and Research Opportunities in the Mathematical Sciences
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 210 KB
Vos balises:
english, 1969
40
Symposium on Mathematical Logic
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 198 KB
Vos balises:
english, 1969
41
Notice of the National Science Foundation
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 198 KB
Vos balises:
english, 1969
42
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 3.72 MB
Vos balises:
english, 1969
43
Index of Reviews
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 4.08 MB
Vos balises:
english, 1969
44
(m + n)-Element Algebras and their Applications to Relay-Contact Systemsby M. Greniewski
Review by: Andrzej Rowicki
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 308 KB
Vos balises:
english, 1969
45
Results Concerning some Modal Systems that Contain S2by Lennart Aqvist;Some Results on Finite Axiomatizability in Modal Logicby E. J. Lemmon;A Note on Hallden-Incompletenessby E. J. Lemmon
Review by: M. J. Cresswell
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 342 KB
Vos balises:
english, 1969
46
Intuition und Konstruktionby B. van Rootselaar
Review by: R. E. Vesley
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 223 KB
Vos balises:
english, 1969
47
On Machines which Prove Theoremsby E. W. Beth
Review by: D. C. Cooper
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 220 KB
Vos balises:
english, 1969
48
On a Family of Models of Zermelo-Fraenkel Set Theoryby Bruno Scarpellini
Review by: James D. Halpern
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 232 KB
Vos balises:
english, 1969
49
Logikby Rolf Schock
Review by: B. H. Mayoh
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 255 KB
Vos balises:
english, 1969
50
Symposium on mathematical logic
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 76 KB
Vos balises:
english, 1969
51
An Abstract form of the church-rosser theorem. I
Hindley, R.
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 641 KB
Vos balises:
english, 1969
52
JSL volume 34 issue 4 Cover and Front matter
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 10.58 MB
Vos balises:
english, 1969
53
Related Citations
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 241 KB
Vos balises:
english, 1969
54
Fellowship and research opportunities in the Mathematical Sciences
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 76 KB
Vos balises:
english, 1969
55
Notice of the national science foundation
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 76 KB
Vos balises:
english, 1969
56
Association for Symbolic Logic
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 2.54 MB
Vos balises:
english, 1969
57
Index of Reviews
Journal:
Journal of Symbolic Logic
Année:
1969
Langue:
english
Fichier:
PDF, 2.93 MB
Vos balises:
english, 1969
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
×
×