Acasă
Despre
Institutul Național al Patrimoniului
Biblioteca pe Facebook
Biblioteca pe X.com
Căutare Avansată
Lista completă a publicațiilor
Lista completă a contributorilor
Criterii căutate
Tip publicație:
periodic
Realizator:
CALUDE, Cristian
Sumarul căutării
35 de articole
10
25
50
100
1
2
Tip
Anul
Publicație și Volum/Nr.
Realizatori
Titlul articolui
Secțiunea
Pagina
Limba
articol de periodic
1976
Revue Roumaine de Mathematiques Pures et Appliquees, xxi-3
CALUDE, Cristian (autor)
Une axiomatisation de la logique deontique a une infinite de valeurs
267-273
articol de periodic
1977
Revue Roumaine de Mathematiques Pures et Appliquees, xxii-4
CALUDE, Cristian (autor)
On compatibility between the analytic and the generative hierarchies of formal languages
437-439
articol de periodic
1978
Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5
CALUDE, Cristian (autor)
Rekersive Funkionen in der Komoutertheorie - Rozsa Peter
829-830
articol de periodic
1978
Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5
CALUDE, Cristian (autor)
Cours de logique mathematique . Tome 3 - Frais Roland
830-830
articol de periodic
1978
Revue Roumaine de Mathematiques Pures et Appliquees, xxiii-5
CALUDE, Cristian (autor)
Exercices in Set Theory - Sigler L.E.
830-830
articol de periodic
1980
Revue Roumaine de Mathematiques Pures et Appliquees, xxv-1
CALUDE, Cristian (autor)
Multiple-conclusion Logic - Schosmith D.J., Smiley T.J.
122-122
articol de periodic
1980
Revue Roumaine de Mathematiques Pures et Appliquees, xxv-1
CALUDE, Cristian (autor)
Use of Mathematical Literature - Dorling A.R.
123-123
articol de periodic
1980
Revue Roumaine de Mathematiques Pures et Appliquees, xxv-10
CALUDE, Cristian (autor)
Basic Set Theory - Levy Azriel
1563-1563
articol de periodic
1980
Revue Roumaine de Mathematiques Pures et Appliquees, xxv-10
CALUDE, Cristian (autor)
Recursion-Thoretic Hierachies - Hinman Peter
1563-1563
articol de periodic
1981
Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-2
CALUDE, Cristian (autor)
Introduction to College Mathematics with a Programming Lanfuage - Cuyer E.J.
348-348
articol de periodic
1981
Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5
CALUDE, Cristian (autor)
A Formal Background to Mathematics- Edwards R.E.
809-809
articol de periodic
1981
Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5
CALUDE, Cristian (autor)
An Introduction to the General Theory of Algoritms - Machtey M., Young P.
809-810
articol de periodic
1981
Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-5
CALUDE, Cristian (autor)
Mathematical Models for the Grouth of Human Populations
810-810
articol de periodic
1981
Revue Roumaine de Mathematiques Pures et Appliquees, xxvi-9
CALUDE, Cristian (autor)
Darboux property and primitive recursive functions
1187-1192
articol de periodic
1982
Revue Roumaine de Mathematiques Pures et Appliquees, xxvii-9
CALUDE, Cristian (autor)
Note on a hierarchy of primitive recursive functions
935-936
articol de periodic
1983
Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-1
CALUDE, Cristian (autor)
Model Theory of Algebra and Aritmetic - Pacholki L., Wierzejewski J., Willie A.J.
93-93
articol de periodic
1983
Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-3
CALUDE, Cristian (autor)
Information Representation and Manipulation in a Computer - Page E.S., Wilson L.
252-252
articol de periodic
1983
Revue Roumaine de Mathematiques Pures et Appliquees, xxviii-5
CALUDE, Cristian (autor)
,
TĂTĂRÎM, Monica (autor)
Iniversal sequences of primitive recursive functions
381-389
articol de periodic
1984
Revue Roumaine de Mathematiques Pures et Appliquees, xxix-6
CALUDE, Cristian (autor)
Recursive Functions in Computer theory - Peter Rosza
511-511
articol de periodic
1985
Revue Roumaine de Mathematiques Pures et Appliquees, xxx-8
CALUDE, Cristian (autor)
Mathematical Logic - Ebbinghaus H.D., Flum J., Thomas W.
701-701
articol de periodic
1985
Revue Roumaine de Mathematiques Pures et Appliquees, xxx-9
CALUDE, Cristian (autor)
,
CHIȚESCU, Ion (autor)
,
STAICER, Lidwig (autor)
P. Martin-Lof test: representability and embeddability
719-732
articol de periodic
1987
Revue Roumaine de Mathematiques Pures et Appliquees, xxxii-7
CALUDE, Cristian (autor)
Foundations of Constructive Mathematics - Beeson Michael
677-677
articol de periodic
1988
Revue Roumaine de Mathematiques Pures et Appliquees, xxxiii-6
CALUDE, Cristian (autor)
Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets - Soare Robert
547-548
articol de periodic
1990
Revue Roumaine de Mathematiques Pures et Appliquees, xxxv-6
CALUDE, Cristian (autor)
Computality Complexity, Logic - Borger E.
578-578
articol de periodic
1990
Revue Roumaine de Mathematiques Pures et Appliquees, xxxv-7
CALUDE, Cristian (autor)
,
KURTA, Eva (autor)
On Kraft-Chaitin inequality
597-604
1
2