Rózsa, Péter: search on Z-Library

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

Don't use scam websites

51

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

52

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

53

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

54

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

55

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

56

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

57

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

58

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

59

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

60

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

61

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

62

Rekurzív Definiciók, Melyek Változó Számu Korábbi Függvényértéket Használnak Fel.by Rózsa Péter;Ujabb Bizonyítás Arra, Hogy a Csillag-Kalmár-Féle Elemi Függvények Osztálya Szükebb, Mint a Primitiv-Rekurzív Függvényeké.by Rózsa Péter;Die Mathematische Tätigkeit von László Kalmár.by Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1957

Language:

english

File:

PDF, 333 KB

english, 1957

63

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

64

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

65

Undecidable-Ringsby Raphael M. Robinson

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1952

File:

PDF, 318 KB

1952

66

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

67

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

68

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

69

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

70

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

71

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

72

Zusammenhang der Mehrfachen und Transfiniten Rekursionen

Journal:

Journal of Symbolic Logic

Year:

1950

File:

PDF, 1.49 MB

1950

73

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

74

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

75

Ü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

76

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

77

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

78

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

79

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

80

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

81

13C nuclear magnetic resonance spectra of some bromo- and methyl-substituted cyclohexa-2,5-dienones

Brittain, Judith M., Calvert, David J., de la Mare, Peter B. D., Rozsas, Judith J.

Journal:

Journal of the Chemical Society Perkin Transactions 2

Year:

1984

Language:

english

File:

PDF, 998 KB

english, 1984

82

The microbiome mutiny hypothesis: can our microbiome turn against us when we are old or seriously ill?

Rózsa, Lajos, Apari, Péter, Müller, Viktor

Journal:

Year:

2015

Language:

english

File:

PDF, 358 KB

english, 2015

83

Effects of non-toxic zinc exposure on human epidermal keratinocytes

Emri, Eszter, Miko, Edit, Bai, Péter, Boros, Gábor, Nagy, Georgina, Rózsa, Dávid, Juhász, Tamás, Hegedűs, Csaba, Horkay, Irén, Remenyik, Éva, Emri, Gabriella

Journal:

Year:

2015

Language:

english

File:

PDF, 1.92 MB

english, 2015

84

Direct and Indirect Symptom Severity Indicators of Alcohol Dependence and the Personality Concept of the Biosocial Model

Andó, Bálint, Rózsa, Sándor, Kurgyis, Eszter, Szkaliczki, Andrea, Demeter, Ildikó, Szikszay, Petronella, Demetrovics, Zsolt, Janka, Zoltán, Álmos, Péter Z

Journal:

Substance Use & Misuse

Year:

2014

Language:

english

File:

PDF, 484 KB

english, 2014

85

The association of affective temperaments with smoking initiation and maintenance in adult primary care patients

Eory, Ajandek, Rozsa, Sandor, Gonda, Xenia, Dome, Peter, Torzsa, Peter, Simavorian, Tatevik, Fountoulakis, Konstantinos N., Pompili, Maurizio, Serafini, Gianluca, Akiskal, Knarig K., Akiskal, Hagop S.

Journal:

Journal of Affective Disorders

Year:

2015

Language:

english

File:

PDF, 260 KB

english, 2015

86

Why infest the loved ones – inherent human behaviour indicates former mutualism with head lice

RÓZSA, LAJOS, APARI, PÉTER

Journal:

Year:

2012

Language:

english

File:

PDF, 226 KB

english, 2012

87

Spirituality mediates state anxiety but not trait anxiety and depression in alcohol recovery

Andó, Bálint, Álmos, Péter Zoltán, Németh, Viola Luca, Kovács, Ildikó, Fehér-Csókás, Anna, Demeter, Ildikó, Rózsa, Sándor, Urbán, Róbert, Kurgyis, Eszter, Szikszay, Petronella, Janka, Zoltán, Demetrov

Journal:

Journal of Substance Use

Year:

2015

Language:

english

File:

PDF, 522 KB

english, 2015

88

Temperament and psychopathological syndromes specific susceptibility for rubber hand illusion

Kállai, János, Hegedüs, Gábor, Feldmann, Ádám, Rózsa, Sándor, Darnai, Gergely, Herold, Róbert, Dorn, Krisztina, Kincses, Péter, Csathó, Árpád, Szolcsányi, Tibor

Journal:

Psychiatry Research

Year:

2015

Language:

english

File:

PDF, 841 KB

english, 2015

89

Combined two-photon imaging, electrophysiological, and anatomical investigation of the human neocortex in vitro

Kerekes, Bálint Péter, Tóth, Kinga, Kaszás, Attila, Chiovini, Balázs, Szadai, Zoltán, Szalay, Gergely, Pálfi, Dénes, Bagó, Attila, Spitzer, Klaudia, Rózsa, Balázs, Ulbert, István, Wittner, Lucia

Journal:

Year:

2014

Language:

english

File:

PDF, 2.74 MB

english, 2014

90

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

91

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

92

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

93

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

94

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

95

Regional cerebral 18 FDG uptake during subarachnoid hemorrhage induced vasospasm

Novak, Laszlo, Emri, Miklos, Molnar, Peter, Balkay, Laszlo, Szabo, Sandor, Rozsa, Laszlo, Lengyel, Zsolt, Tron, Lajos

Journal:

Neurological Research

Year:

2006

Language:

english

File:

PDF, 291 KB

english, 2006

96

Kleene S. C.. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.

Journal:

Journal of Symbolic Logic

Year:

1937

Language:

german

File:

PDF, 80 KB

german, 1937

97

Mapping anthropic geomorphological sensitivity on a global scale

Rózsa, Péter, Novák, Tibor

Journal:

Zeitschrift für Geomorphologie Supplementary Issues

Year:

2011

Language:

english

File:

PDF, 442 KB

english, 2011

98

SPIE Proceedings [SPIE 10th International School on Quantum Electronics: Lasers--Physics and Applications - Varna, Bulgaria (Monday 21 September 1998)] Tenth International School on Quantum Electronics: Laser Physics and Applications - Optimization of hollow cathode discharges for pumping metal ion lasers

Bano, G., Szalai, L., Kutasi, K., Donko, Z., Rozsa, Karoly, Atanasov, Peter A., Stoyanov, Dimitar V.

Year:

1999

Language:

english

File:

PDF, 918 KB

english, 1999

99

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

100

Reduction of the Decision Problem to the Satisfiability Question of Logical Formulae on a Finite Setby László Kalmár

Review by: Rózsa Péter

Journal:

Journal of Symbolic Logic

Year:

1955

File:

PDF, 289 KB

1955