- BR SPCLEARQ FAIA-Impr-IT562
- Item
- 1964-02
Part of Ayda Ignez Arruda
SIERPINSKI, Waclaw. Escola matemática polonesa. Boletim da Sociedade Paranaense de Matemática. Curitiba, v. 7, n. 1, p. 1-16, fev. 1964.
Untitled
Print preview Close
Showing 368 results
Archival description16 results with digital objects Show results with digital objects
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
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
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
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
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
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
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
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
- 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
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
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
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
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
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
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
- 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
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
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
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
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
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
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
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
- 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
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
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
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
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
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
Results 91 to 120 of 368