Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Volume 22; Issue 2

Journal of Symbolic Logic

Volume 22; Issue 2
1

A Theory of Restricted Quantification II

Theodore Hailperin
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 484 KB
english, 1957
2

The Axiomatization of Arithmetic

Hao Wang
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 406 KB
english, 1957
3

Degrees of Unsolvability Associated with Classes of Formalized Theories

Solomon Feferman
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 480 KB
english, 1957
5

Certain Logical Reduction and Decision Problemsby Hartley Rogers,

Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 119 KB
english, 1957
6

On the Transformation of a Periodic Sequence into a Recursive One

Review by: Andrzej Wakulicz
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 85 KB
english, 1957
7

Logical and Combinatorial Problems in Computer Designby Robert McNaughton

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 87 KB
english, 1957
8

Uniformization of Linear Arrays

N. J. Fine and R. Harrop
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 322 KB
english, 1957
9

On the Axioms of Order and Succession

Kurt Bing
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 158 KB
english, 1957
10

A Criterion for Completeness of Degrees of Unsolvability

Richard Friedberg
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 125 KB
english, 1957
11

New Foundations for Lewis Modal Systems

E. J. Lemmon
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 299 KB
english, 1957
12

On the Representation of Herbrand Functions in Algebraically Closed Fields

A. H. Lightstone and A. Robinson
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 483 KB
english, 1957
14

On Synonymy and Indirect Discourseby Israel Scheffler

Review by: Carl G. Hempel
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 86 KB
english, 1957
15

Emotive Propositions. A Study of Valueby Sören Halldén

Review by: David Meredith
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 113 KB
english, 1957
16

Mathematische Existenz und Widerspruchsfreiheitby Paul Bernays

Review by: John van Heijenoort
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 110 KB
english, 1957
17

The Unity of Opposites: A Dialectical Principleby V. J. McGill; W. T. Parry

Review by: John van Heijenoort
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 114 KB
english, 1957
18

Axioms for the Part Relationby Nicholas Rescher

Review by: Czeslaw Lejewski
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 122 KB
english, 1957
19

La Mathématique Intuitioniste sans Négation.by G. F. C. Griss

Review by: P. G. J. Vredenduin
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 93 KB
english, 1957
20

Sur la Formalisation des Theories Mathematiquesby Jan Lukasiewicz

Review by: Steven Orey
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 93 KB
english, 1957
21

L'Axiome du Choixby Abraham A. Fraenkel

Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 121 KB
english, 1957
22

The Representation Theorem for Cylindrical Algebrasby L. Henkin

Review by: Paul R. Halmos
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 86 KB
english, 1957
23

La Structure Algébrique des Théories Mathématiques.by L. Henkin

Review by: Paul R. Halmos
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 108 KB
english, 1957
24

An Application of Logic to Algebraby K. Jaakko Hintikka

Review by: Leon Henkin
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 111 KB
english, 1957
25

Undecidability of Some Simple Formalized Theoriesby A. Janiczak

Review by: Wilhelm Ackermann
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 89 KB
english, 1957
27

An Associative Calculus with an Unsolvable Equivalence Problemby G. S. Céjtin

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 99 KB
english, 1957
29

Systems of Enumerable Sets and Their Enumerationsby V. A. Uspénskij

Review by: Andrzej Ehrenfeucht
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 85 KB
english, 1957
30

An Algebraic Method for the Synthesis of Switching Circuits

Review by: Andrzej Wakulicz
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 89 KB
english, 1957
31

On Simplifying Truth-Functional Formulasby Kurt Bing

Review by: Robert McNaughton
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 95 KB
english, 1957
32

The First Circuit for an Electrical Logic-Machineby W. Mays

Review by: George W. Patterson
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 118 KB
english, 1957
33

Further Citations

Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 180 KB
english, 1957
34

Individuals and Propertiesby S. Körner

Review by: Charles A. Baylis
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 137 KB
english, 1957
35

Analytic Truthsby D. W. Hamlyn

Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 108 KB
english, 1957
36

JSL volume 22 issue 2 Cover and Front matter and Errata

Journal:
Journal of Symbolic Logic
Année:
1957
Langue:
english
Fichier:
PDF, 1.43 MB
english, 1957