Review by: Rozsa Peter: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

General Recursive Functions of Natural Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 190 KB

1937

2

λ-Definability and Recursivenessby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 345 KB

1937

3

On Notation for Ordinal Numbersby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 370 KB

1939

4

Braucht der Algebraiker das Auswahlaxiom?by Oswald Teichmüller

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 301 KB

english, 1941

5

Logic-free Formalisations of Recursive Arithmeticby R. L. Goodstein

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 308 KB

english, 1959

6

Fonctions Récursives.by Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 445 KB

1966

7

Eine Bemerkung Über Quasirekursive Funktionen.by Kurt Schütte

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1953

Language:

english

File:

PDF, 341 KB

english, 1953

8

A Note on the Reduction of Gentzen's Calculus LJby H. B. Curry

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1939

File:

PDF, 210 KB

1939

9

Recursion and Double Recursionby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1949

File:

PDF, 332 KB

1949

10

On Derivabilityby W. V. Quine

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 203 KB

1938

11

Completeness of the Propositional Calculusby W. V. Quine

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 320 KB

1938

12

Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1939

Language:

german

File:

PDF, 381 KB

german, 1939

13

Computability and λ-Definabilityby A. M. Turing

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 260 KB

1938

14

Die Widerspruchsfreiheit der Allgemeinen Mengenlehreby Wilhelm Ackerman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1937

File:

PDF, 221 KB

1937

15

Decision Problem in Group Theoryby W. Smielew

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1949

Language:

english

File:

PDF, 427 KB

english, 1949

16

Egyszerü Példa Eldönthetetlen Aritmetikai Problémara (Ein Einfaches Beispiel für ein Unentscheidbares Arithmetisches Problem).by László Kalmár

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 202 KB

1944

17

A Logikai Függvénykalkulus Eldöntés-Problémájának Redukciójáról (Zur Reduktion des Entscheidungsproblems des Logischen Funktionenkalkuls).by János Surányi

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 411 KB

1944

18

Einfacher Beweis der Unmöglichkeit eines Allgemeinen Lōsungsverfahrens für Arithmetische Probleme.by Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 207 KB

1944

19

Von den Verteilungen auf Booleschen Ringenby Bedřich Pospíšil

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1944

File:

PDF, 314 KB

1944

20

Primitive Recursive Functionsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1948

Language:

english

File:

PDF, 302 KB

english, 1948

21

Logikai Alapelv és Mathematikai Axióma.by Ákos Pauler

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 211 KB

english, 1940

22

Zur Widerspruchsfreiheit der Zahlentheorieby Wilhelm Ackermann

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 447 KB

english, 1940

23

Eine Bemerkung über die Induktionsschemata in der Rekursiven Zahlentheorie.by Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

File:

PDF, 235 KB

1940

24

On the Reducibility of Decision Problemsby A. Janiczak

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 321 KB

english, 1956

25

A Hilbert-féle Bizonyitáselmelét Célkitüzései, Módszerei és Eredményei (Zielsetzungen, Methoden und Ergebnisse der Hilbertschen Beweistheorie).by László Kalmár

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1941

Language:

english

File:

PDF, 321 KB

english, 1941

26

Die Definition Durch Vollständige Induktion.by P. Lorenzen

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1940

Language:

english

File:

PDF, 301 KB

english, 1940

27

Primitive Recursive Functions. IIby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 118 KB

english, 1957

28

A Note on Primitive Recursive Functionsby Julia Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

File:

PDF, 85 KB

1957

29

Arithmetical Definitions in the Ring of Integersby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 308 KB

1952

30

Undecidable-Ringsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 318 KB

1952

31

O Primitivno Rékursivnyh Funkciah Bol'šogo Razmaha (Über Umfangsreiche Primitiv-Rekursive Funktionen).by A. V. Kuznécov

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 297 KB

1952

32

Nem Elemi Rekurziv Függvény Létezése (Existenze einer Nichtelementaren Rekursiven Funktion).by Ilona Bereczki

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

Language:

english

File:

PDF, 111 KB

english, 1954

33

Arithmetical Definability of Field Elementsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 203 KB

1952

34

A Lemma Concerning Recursive Functions and Its Applicationsby A. Mostowski

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 109 KB

1954

35

Classes of Recursively Enumerable Sets and their Decision Problemsby H. G. Rice

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1954

File:

PDF, 108 KB

1954

36

A Remark Concerning Decidability of Complete Theoriesby Antoni Janiczak

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 302 KB

1951

37

A Symmetric Form of Godel's Theoremby S. C. Kleene

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 195 KB

1951

38

Nicht Konstruktiv Beweisbare Sätze der Analysis.by Ernst Specker

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1950

File:

PDF, 280 KB

1950

39

Über Eine Art von Unvollständigkeit des Prädikatenkalküls der Ersten Stufe.by Gisbert Hasenjaeger

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

File:

PDF, 199 KB

1951

40

Completeness in the Theory of Typesby Leon Henkin

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1951

Language:

english

File:

PDF, 314 KB

english, 1951

41

Classifications of Recursive Functions by Means of Hierarchiesby Solomon Feferman

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1965

File:

PDF, 360 KB

1965

42

Nested Recursionby W. W. Tait

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1963

Language:

english

File:

PDF, 313 KB

english, 1963

43

On a Subrecursive Hierarchy and Primitive Recursive Degreesby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1960

File:

PDF, 110 KB

1960

44

A Reduction of the Recursion Schemeby M. D. Gladstone

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1970

Language:

english

File:

PDF, 227 KB

english, 1970

45

Enumeration and the Grzegorczyk Hierarchyby Paul Axt

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1965

Language:

english

File:

PDF, 332 KB

english, 1965

46

Some Classes of Recursive Functionsby Andrzej Grzegorczyk

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

Language:

english

File:

PDF, 344 KB

english, 1955

47

Including an Update to A Bibliography of Symbolic Logic || Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung.by Gerhard Gentzen

Review by: Rozsa Peter

Journal:

Journal of Symbolic Logic

Year:

1938

File:

PDF, 356 KB

1938

48

Some Remarks on Partially Recursive Functionsby A. Janiczak

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1956

Language:

english

File:

PDF, 216 KB

english, 1956

49

A Version of the Proof of Equivalence Between Complete Induction and the Uniqueness of Primitive Recursionby Th. Skolem

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1959

Language:

english

File:

PDF, 215 KB

english, 1959

50

Note on the 3-Recursive Functionsby Paul Axt

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1964

Language:

english

File:

PDF, 282 KB

english, 1964