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

Generalized quantifiers and the square of oppositionBROWN, M.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 303-322, issn 0029-4527Article

Some results on quantifiersWESTERSTÅHL, D.Notre Dame journal of formal logic. 1984, Vol 25, Num 2, pp 152-170, issn 0029-4527Article

Intermediate β-r.e. degrees and the half-jumpHOMER, S.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 790-796, issn 0022-4812Article

Sentences implying their own provabilityGUASPARI, D.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 777-789, 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

Peut-on trouver ce qu'on peut prouver ? : Grandes et petites énigmes mathématiques = Can we find what we prove ?SEBÖ, Andras.Recherche (Paris, 1970). 2001, Num 346, pp 64-69, issn 0029-5671Article

Monadic logic and Löwenheim numbersSHELAH, S.Annals of pure and applied logic. 1985, Vol 28, Num 2, pp 203-216, issn 0168-0072Article

Relation algebras: concept of points and representabilitySCHMIDT, G; STRÖHLEIN, T.Discrete mathematics. 1985, Vol 54, Num 1, pp 83-92, issn 0012-365XArticle

Mechanizing logic. I: Map logic extended formally to relational argumentsRYBAK, J; RYBAK, J.RYBAK, J; RYBAK, J.Notre Dame journal of formal logic. 1984, Vol 25, Num 3, pp 250-264, issn 0029-4527Article

On nonstandard models in higher order logicHORT, C; OSSWALD, H.The Journal of symbolic logic. 1984, Vol 49, Num 1, pp 204-219, issn 0022-4812Article

Do we need quantification?HUGLY, P; SAYWARD, C.Notre Dame journal of formal logic. 1984, Vol 25, Num 4, pp 289-302, issn 0029-4527Article

Monotone reducibility and the family of infinite setsCENZER, D.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 774-782, issn 0022-4812Article

The strength of admissibility without foundationJAGER, G.The Journal of symbolic logic. 1984, Vol 49, Num 3, pp 867-879, issn 0022-4812Article

A note on the undefinability of cutsPARIS, J. B; DIMITRACOPOULOS, C.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 564-569, issn 0022-4812Article

Churchs thesis without tearsRICHMAN, F.The Journal of symbolic logic. 1983, Vol 48, Num 3, pp 797-803, issn 0022-4812Article