Пожертвування 15 вересня 2024 – 1 жовтня 2024
Про збір коштів
пошук книг
книги
пошук статей
статті
Пожертвування:
16.0% досягнуто
Увійти
Увійти
авторизованим користувачам доступні:
персональні рекомедації
Telegram бот
історія завантажувань
надіслати на Email чи Kindle
управління добірками
зберігання у вибране
Особисте
Запити на книги
Вивчення
Журнали
Участь
Підтримати
Litera Library
Пожертвувати паперові книги
Додати паперові книги
Відкрити LITERA Point
Volume 27; Issue 4
Main
Journal of Symbolic Logic
Volume 27; Issue 4
Journal of Symbolic Logic
Volume 27; Issue 4
1
Neuva Demonstración de la Completicidad Funcional del Cálculo Proposicional Bivalente.by Luis Elpidio Sanchis
Review by: Alonzo Church
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 90 KB
Ваші теги:
english, 1962
2
Incompleteness Along Paths in Progressions of Theories
S. Feferman and C. Spector
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 317 KB
Ваші теги:
english, 1962
3
The Separation Theorem of Intuitionist Propositional Calculus
Alfred Horn
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 277 KB
Ваші теги:
english, 1962
4
On McKinsey's Syntatical Characterizations of Systems of Modal Logic
F. R. Drake
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 234 KB
Ваші теги:
english, 1962
5
The Number of Modalities in T Supplemented by the Axiom CL2pL3p
Takeo Sugihara
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 99 KB
Ваші теги:
english, 1962
6
Functional Completeness and Canonical Forms in Many-Valued Logics
William H. Jobe
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 391 KB
Ваші теги:
english, 1962
7
Extensions of Some Theorems of Anderson and Belnap
Alan Rose
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 148 KB
Ваші теги:
english, 1962
8
The Semantics of Singular Terms
Gordon Matheson
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 807 KB
Ваші теги:
english, 1962
9
Turing-Maschinen und Markowche Algoritmenby Günter Asser
Review by: Michael O. Rabin
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 136 KB
Ваші теги:
english, 1962
10
The Representation of Monadic Boolean Algebrasby Paul R. Halmos
Review by: Aubert Daigneault
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 139 KB
Ваші теги:
english, 1962
11
Algebraic Logicby Paul R. Halmos
Review by: Aubert Daigneault
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 130 KB
Ваші теги:
english, 1962
12
On the Nature of the Logicalby L. P. Gokiéli
Review by: David Dinsmore Comey
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 124 KB
Ваші теги:
english, 1962
13
Formulario Mathematicoby Giuseppe Peano
Review by: Alonzo Church
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 89 KB
Ваші теги:
english, 1962
14
The Gödel Theorem. An Informal Exposition.by Norwood Russell Hanson
Review by: Alonzo Church
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 123 KB
Ваші теги:
english, 1962
15
On Bernstein's Self-Dual Set of Postulates for Boolean Algebrasby Richard Montague; Jan Tarski
Review by: Alonzo Church
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 91 KB
Ваші теги:
english, 1962
16
Further Citations
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 137 KB
Ваші теги:
english, 1962
17
Twenty-Eighth Annual Meeting of the Association for Symbolic Logic
Robert L. Vaught
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 368 KB
Ваші теги:
english, 1962
18
List of Officers and Members of the Association for Symbolic Logic
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 729 KB
Ваші теги:
english, 1962
19
Two Arithmetical Techniques with Numbered Classes
Gerald B. Standley
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 101 KB
Ваші теги:
english, 1962
20
Mathematical Logic and the Foundations of Mathematicsby S. A. Ánovskaá
Review by: E. J. Cogan
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 93 KB
Ваші теги:
english, 1962
21
A Formal System of First-Order Predicate Calculus with Infinitely Long Expressionsby Shôji Maehara; Gaisi Takeuti
Review by: Erwin Engeler
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 115 KB
Ваші теги:
english, 1962
22
The Independence of Connectives
Timothy Smiley
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 360 KB
Ваші теги:
english, 1962
23
Free Monadic Algebrasby Paul R. Halmos
Review by: Aubert Daigneault
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 116 KB
Ваші теги:
english, 1962
24
Related Citations
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 160 KB
Ваші теги:
english, 1962
25
JSL volume 27 issue 4 Cover and Front matter
Журнал:
Journal of Symbolic Logic
Рік:
1962
Файл:
PDF, 8.92 MB
Ваші теги:
1962
26
Errata
Журнал:
Journal of Symbolic Logic
Рік:
1962
Файл:
PDF, 54 KB
Ваші теги:
1962
27
List of officers and members of the Association for Symbolic Logic
Журнал:
Journal of Symbolic Logic
Рік:
1962
Мова:
english
Файл:
PDF, 1.26 MB
Ваші теги:
english, 1962
1
Перейдіть за
цим посиланням
або знайдіть бот "@BotFather" в Telegram
2
Надішліть команду /newbot
3
Вкажіть ім'я для вашого боту
4
Вкажіть ім'я користувача боту
5
Скопіюйте останнє повідомлення від BotFather та вставте його сюди
×
×