Facts and the choice of logical foundationsRANTALA, V.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 347-353, issn 0029-4527Article

Read on relevance: a rejoinderBURGESS, J. P.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 217-223, issn 0029-4527Article

Logics containing K4. IIFINE, K.The Journal of symbolic logic. 1985, Vol 50, Num 3, pp 619-651, issn 0022-4812Article

Simplified morassesVELLEMAN, D.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 257-271, issn 0022-4812Article

On the interpretation of combinators with weak reductionSHABUNIN, L. V.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 558-563, issn 0022-4812Article

Cuts, consistency statements and interpretationsPUDLAK, P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 423-441, issn 0022-4812Article

Characterizing weak compactnessSTANLEY, L. J.Annals of pure and applied logic. 1984, Vol 26, Num 1, pp 89-99, issn 0168-0072Article

Deux remarques à propos de la propriété de recouvrement = Two results on the covering propertyPOIZAT, B.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 803-807, issn 0022-4812Article

Some recent developments in higher recursion theoryFRIEDMAN, S. D.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 629-642, issn 0022-4812Article

The nature of reflexive paradoxes. IGODDARD, L; JOHNSTON, M.Notre Dame journal of formal logic. 1983, Vol 24, Num 4, pp 491-508, issn 0029-4527Article

Une théorie de Galois imaginaire = An imaginary Galois theoryPOIZAT, B.The Journal of symbolic logic. 1973, Vol 48, Num 4, pp 1151-1170, issn 0022-4812Article

A new proof for Craig's theoremBELLOT, P.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 395-396, issn 0022-4812Article

Functors and ordinal notations. IV: The howard ordinal and the functorVAUZEILLES, J.The Journal of symbolic logic. 1985, Vol 50, Num 2, pp 331-338, issn 0022-4812Article

A minimal degree which collapses ω₁CARLSON, T; KUNEN, K; MILLER, A. W et al.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 298-300, issn 0022-4812Article

Mechanizing logic. II: Automated map logic method for relational arguments on paper and by computerRYBAK, J; RYBAK, J.RYBAK, J; RYBAK, J.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 265-282, issn 0029-4527Article

Questions about quantifiersVAN BENTHEM, J.The Journal of symbolic logic. 1984, Vol 49, Num 2, pp 443-466, issn 0022-4812Article

A natural extension of natural deductionSCHROEDER-HEISTER, P.The Journal of symbolic logic. 1984, Vol 49, Num 4, pp 1284-1300, issn 0022-4812Article

A pragmatic theory of locally standard grammarSWEET, A. M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 364-382, issn 0029-4527Article

An undecidable problem in finite combinatoricsCOMPTON, K. J.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 842-850, issn 0022-4812Article

La nature of reflexive paradoxes. IIGODDARD, L.Notre Dame journal of formal logic. 1984, Vol 25, Num 1, pp 27-58, issn 0029-4527Article

On choice sequences determined by spreadsVAN DER HOEVEN, G; MOERDIJK, I.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 908-916, issn 0022-4812Article

On partially conservative sentences and interpretabilityLINDSTROM, P.Proceedings of the American Mathematical Society. 1984, Vol 91, Num 3, pp 436-443, issn 0002-9939Article

Interpreting second-order logic in the monadic theory of orderGUREVICH, Y; SHELAH, S.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 816-828, issn 0022-4812Article

Some local definability results on countable topological structuresEISENMENGER, H.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 683-692, issn 0022-4812Article

Addendum to logic of reduced power structuresNELSON, G. C.The Journal of symbolic logic. 1973, Vol 48, Num 4, issn 0022-4812, 1145Article