A computation of the eighth dedekind numberWIEDEMANN, D.Order (Dordrecht). 1991, Vol 8, Num 1, pp 5-6, issn 0167-8094Article

Set-spectrum method in structure comparison and the concept of topological kinshipSCHULZ, L.Applied mathematics and computation. 1991, Vol 41, Num 1, pp 1-20, issn 0096-3003, 1Article

Why is conjunctive simplification invalid ?THOMPSON, B. E. R.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 248-254, issn 0029-4527Article

Ion-molecule reactions in the silane-ammonia systemHALLER, I.Journal of physical chemistry (1952). 1990, Vol 94, Num 10, pp 4135-4137, issn 0022-3654Article

An ideal characterization of Mahlo cardinalsQI FENG.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 467-473, issn 0022-4812, 7 p.Article

Higher order reflection principlesVICTORIA MARSHALL R., M.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 474-489, issn 0022-4812, 16 p.Article

Random models and the Maslov classGOLDFARB, W.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 460-466, issn 0022-4812, 7 p.Article

Proceedings. II: Computation and proof theory/Logic colloquium, Aachen, July 18-23, 1983RICHTER, M. M; BÖRGER, E; OBERSCHELP, W et al.Lecture notes in mathematics. 1984, Vol 1104, issn 0075-8434, VIII-475 pConference Proceedings

Proceedings. I: Models ands sets/Logic colloquium, Aachen, July 18-23, 1983MÜLLER, G. H; RICHTER, M. M.Lecture notes in mathematics. 1984, Vol 1103, issn 0075-8434, VIII-484 pConference Proceedings

Compte-rendu/Table ronde de logique, Paris, 15 et 16 octobre 1983 = Report/Round-table conference of Logic, Paris 15-16 OctoberDELON, F; LASCAR, D; PARIGOT, M et al.Mémoire de la Société mathématique de France. 1984, Num 16, issn 0249-633X, III-103 pConference Proceedings

Sentences of type theory : the only sentences preserved under isomorphismsMARSHALL, M. V; CHUAQUI, R.The Journal of symbolic logic. 1991, Vol 56, Num 3, pp 932-948, issn 0022-4812Article

A sequential property of set-valued mapsCASCALES, B; ORIHUELA, J.Journal of mathematical analysis and applications. 1991, Vol 156, Num 1, pp 86-100, issn 0022-247XArticle

Connection structuresBIACINO, L; GERLA, G.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 242-247, issn 0029-4527Article

Fixed points for multivalued mappings defined on unbounded sets in Banach spacesMARINO, G.Journal of mathematical analysis and applications. 1991, Vol 157, Num 2, pp 555-567, issn 0022-247XArticle

Modelling concepts arising from an investigation into a chaotic systemWIGDOROWITZ, B; PETRICK, M. H.Mathematical and computer modelling. 1991, Vol 15, Num 8, pp 1-16, issn 0895-7177Article

The cardinality of powersets in finite models of the powerset axiomABIAN, A; AMIN, W. A.Notre Dame journal of formal logic. 1991, Vol 32, Num 2, pp 290-293, issn 0029-4527Article

Definability via enumerationsSOSKOV, I. N.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 428-440, issn 0022-4812, 13 p.Article

Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rulesROBINSON, A.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 354-362, issn 0022-4812, 9 p.Article

On the strength of the interpretation methodGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 305-323, issn 0022-4812, 19 p.Article

Partially ordered sets and the independence propertySCHMERL, J. H.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 396-401, issn 0022-4812, 6 p.Article

The structure of algebraically and existentially closed stone and double stone algebrasCLARK, D. M.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 363-375, issn 0022-4812, 13 p.Article

Two recursion theoretic characterizations of proof speed-UPSROYER, J. S.The Journal of symbolic logic. 1989, Vol 54, Num 2, pp 522-526, issn 0022-4812, 5 p.Article

Mathematical logic and applications: proceedings and contributed popers, Kyoto, 1987SHINODA, JUICHI; SLAMAN, Theodore A; TUGUE, Tosiyuki et al.Lecture notes in mathematics. 1989, Vol 1388, issn 0075-8434, 4 p., non paginées, 1-223 [227 p.]Conference Proceedings

Proceedings/Logic colloquium '82, Florence, 23-28 August, 1982LOLLI, G; LONGO, G; MARCJA, A et al.Studies in logic and the foundations of mathematics. 1984, Vol 112, issn 0049-237X, VIII-358 pConference Proceedings

Le principe de Peter = The principle of PeterDELAHAYE, Jean-Paul.Pour la science (Imprimé). 2011, Num 407, pp 82-87, issn 0153-4092, 6 p.Article