- BR SPCLEARQ FAIA-Impr-IT525
- Item
- 1971-05
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da. Remarques sur le système NF1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, maio 1971.
Untitled
Showing 407 results
Archival description19 results with digital objects Show results with digital objects
Une sémantique pour le calcul C1
- BR SPCLEARQ FAIA-Impr-IT526
- Item
- 1976-06
Part of Ayda Ignez Arruda
COSTA, Newton C.A. da; ALVES, Elias H. Une sémantique pour le calcul C1. C.R. Acad. Sc. Paris, Paris, t.272, p.1149-51, jul. 1976.
Untitled
Boolean Powers in algebric logic
- BR SPCLEARQ FAIA-Impr-IT527
- Item
- 1971
Part of Ayda Ignez Arruda
DAIGNEAULT, Aubert. Boolean Powers in algebric logic. Zeitschrift für mathematische logik und grundlagen der mathematik, s.l., v.17, p.411-420, 1971.
Untitled
The set of quantifiers of an atomic Boolean algebra
- BR SPCLEARQ FAIA-Impr-IT528
- Item
- 1970-09
Part of Ayda Ignez Arruda
DEMAREE, Daniel B. The set of quantifiers of an atomic Boolean algebra. Mathematisch Centrum, Amsterdam, 4p. set. 1970.
Untitled
On structural completeness of some nonclassical predicate calculi
- BR SPCLEARQ FAIA-Impr-IT529
- Item
- 1975
Part of Ayda Ignez Arruda
DZIK, Wojciech. On structural completeness of some nonclassical predicate calculi. Reports on Mathematical Logic, s.l., v.5, p.19-26, 1975.
Untitled
How I created the theory of relativity
- BR SPCLEARQ FAIA-Impr-IT530
- Item
- 1982-08
Part of Ayda Ignez Arruda
EINSTEIN, Albert. How I created the theory of relativity. Physics Today, s.l., p.45-47, ago. 1982.
Untitled
- BR SPCLEARQ FAIA-Impr-IT531
- Item
- 1977
Part of Ayda Ignez Arruda
FESTA, Giuseppe. L’ipotese del Continuo. Archimede, s.l., p.11-20, 1977.
Untitled
Su una interpretazione algebricio-categoriale del silogismo
- BR SPCLEARQ FAIA-Impr-IT532
- Item
- 1978
Part of Ayda Ignez Arruda
FREGUGLIA, Paolo. Su una interpretazione algebricio-categoriale del silogismo. Archimede, s.l., n.1-2, p.30-41, 1978.
Untitled
Incompleteness and truth definition
- BR SPCLEARQ FAIA-Impr-IT533
- Item
- 1971
Part of Ayda Ignez Arruda
GERMANO, G. Incompleteness and truth definition. Theoria, s.l., n.37, p.86-90, 1971.
Untitled
Logic of negationless intuitionistics mathematics
- BR SPCLEARQ FAIA-Impr-IT534
- Item
- 1951
Part of Ayda Ignez Arruda
GRISS, G.F.C. Logic of negationless intuitionistics mathematics. Proc. Kon. Ned. Akad. v. Wetensch, p.41-49, 1951.
Untitled
A Lógica e a Matemática são idênticas?
- BR SPCLEARQ FAIA-Impr-IT535
- Item
- 1964-10
Part of Ayda Ignez Arruda
HENKIN, Leon A. A Lógica e a Matemática são idênticas? Boletim da Sociedade Paranaense de Matemática. [Curitiba], v. 7, n. 3, p. 2-15, out. 1964.
Untitled
International Congress of Logic, Methodology and Philosophy of Science
- BR SPCLEARQ FAIA-Impr-IT539
- Item
- 1974-12
Part of Ayda Ignez Arruda
INTERNATIONAL Congress of Logic, Methodology and Philosophy of Science, 5, 27 ago. - 2 set. 1975, London, Ontario, Canada. Bulletin n° 2. London: University of Western Ontario, dez. 1974. 18p.
Untitled
International Congress on Logical Mathematic and Philosophy of Science
- BR SPCLEARQ FAIA-Impr-IT540
- Item
- 1982
Part of Ayda Ignez Arruda
INTERNATIONAL Congress on Logical Mathematic and Philosophy of Science., 7, 11-16 jul. 1983. Cartaz. Salzburg, Austria: 1982. 1p.
Untitled
Propositional calculus for contradctory deductive systems
- BR SPCLEARQ FAIA-Impr-IT541
- Item
- 1969
Part of Ayda Ignez Arruda
JASKOWSKI, Stanislaw. Propositional calculus for contradctory deductive systems. Studia Logica, t. XXIV, p.143-157, 1969.
Untitled
- BR SPCLEARQ FAIA-Impr-IT542
- Item
- 1973.
Part of Ayda Ignez Arruda
JEROSLOW, R.G. Redundancies in the Hilbert-Bernays derivability conditions for Gödel’s second incompleteness theorem. Journal of Symbolic Logic, v.38, n.3, p.359-367, 1973.
Untitled
Vasil’év and the development of Many-valued logic
- BR SPCLEARQ FAIA-Impr-IT543
- Item
- 1965
Part of Ayda Ignez Arruda
KLINE, George L. N.A. Vasil’év and the development of Many-valued logic. Contribuitions to Logic and Methodology, in honor to J.M. Bochenski, Amsterdam, p.315-326, 1965
Untitled
La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Göde
- BR SPCLEARQ FAIA-Impr-IT544
- Item
Part of Ayda Ignez Arruda
LARGEAULT, Jean. La théorie de la démonstation de Hilbert et les théorèmes d’impossibilité de Gödel, p.56-79.
Untitled
Un principio di riflessione nella teoria delle classi
- BR SPCLEARQ FAIA-Impr-IT546
- Item
- 1974
Part of Ayda Ignez Arruda
LOLLI, Gabrielle. Un principio di riflessione nella teoria delle classi. Matematiche, Catania, v.28, p.209-228, 1974.
Untitled
On the principle of contradiction in Aristotle
- BR SPCLEARQ FAIA-Impr-IT547
- Item
- 1971-03
Part of Ayda Ignez Arruda
LUKASIEWICZ, Jan. On the principle of contradiction in Aristotle. Tradução para inglês de Vernon Wedin. Rev. Metaphys, v.XXIV, p. 485-509, mar. 1971. Título original: Über den Satz des Widersprachs bei Aristoteles.
Untitled
Logique sans igalité et (k,p)-quasivalence
- BR SPCLEARQ FAIA-Impr-IT548
- Item
- 1976
Part of Ayda Ignez Arruda
MANSOUX, Alain. Logique sans igalité et (k,p)-quasivalence. C.R. Acad. Sc. Paris, Paris, t.283, p.137-140, 1976.
Untitled
A partial comparison of two conditions on the intersections of regressive sets
- BR SPCLEARQ FAIA-Impr-IT549
- Item
- 1977
Part of Ayda Ignez Arruda
McLAUGHLIN, Von T.G. A partial comparison of two conditions on the intersections of regressive sets. Arch. Math. Logik, v.18, p.159-167, 1977.
Untitled
- BR SPCLEARQ FAIA-Impr-IT550
- Item
- 1960-02
Part of Ayda Ignez Arruda
NACHBIN, Leopoldo. O que é o Impa? Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 3, n. 1, p. 1-12, fev. 1960.
Untitled
Questioni di categoricita delle teorie matematiche
- BR SPCLEARQ FAIA-Impr-IT551
- Item
- 1976
Part of Ayda Ignez Arruda
PALADINO, Dario. Questioni di categoricita delle teorie matematiche. Archimede, v.28, n.1, p.21-34, 1976.
Untitled
Lukasiewicz and the Origins of Many-Valued Logic
- BR SPCLEARQ FAIA-Impr-IT552
- Item
- 1973
Part of Ayda Ignez Arruda
PATZIG, G. Aristotle, Lukasiewicz and the Origins of Many-Valued Logic. In: SUPPES, Patrick (Ed.). Logic, Methodology and Philosophy of Science IV, Amsterdam: North-Holland Publishing Company, 1973. p.921-929.
Untitled
Introduction to a general theory of elementary porpositions
- BR SPCLEARQ FAIA-Impr-IT553
- Item
- 1921
Part of Ayda Ignez Arruda
POST, Emil L. Introduction to a general theory of elementary porpositions. American Journal of Mathematics, n.43, p.163-185, 1921.
Untitled
On the concept of formalization and partially ordered quantifiers
- BR SPCLEARQ FAIA-Impr-IT556
- Item
- 1977
Part of Ayda Ignez Arruda
QVARNSTRÖM, Bengt-Olof. On the concept of formalization and partially ordered quantifiers. Linguistics and Philosophy, v.1, p.307-319, 1977.
Untitled
On sequential modifications of applied predicate calculi
- BR SPCLEARQ FAIA-Impr-IT557
- Item
- 1969
Part of Ayda Ignez Arruda
ROGAVA, M.G. On sequential modifications of applied predicate calculi. Semin. Math., V.A. Steklov Math. Inst. Leningrad 4, p.77-81, 1969.
Untitled
Grundalagenprobleme Einer theorie der klinischen praxis
- BR SPCLEARQ FAIA-Impr-IT558
- Item
- 1977
Part of Ayda Ignez Arruda
SADEGH-ZADEH, K. Grundalagenprobleme Einer theorie der klinischen praxis. Metamed, v.1, p.76-102, 1977.
Untitled
Problemi di decisione per algebre comesse a logiche a più valori
- BR SPCLEARQ FAIA-Impr-IT559
- Item
- 1975
Part of Ayda Ignez Arruda
SAELI, Donato. Problemi di decisione per algebre comesse a logiche a più valori. Atti Accad. Naz. Lincei Rend. Cl. Sci. Fis. Mat. Natur., v. 59, p. 219-223, 1975.
Untitled
Alcune osservazione sulle algebre cilindriche speciali
- BR SPCLEARQ FAIA-Impr-IT561
- Item
- 1974-03
Part of Ayda Ignez Arruda
SELVI, Roberto. Alcune osservazione sulle algebre cilindriche speciali. Comitato Nazionale per le scienze matematiche del C.N.R, p.191-202, março 1974.
Untitled
Results 361 to 390 of 407