How to use Barwise in a sentence

barwise
  • Kreisel's suggestion was taken up with great success by Barwise [1967 ], where his compactness theorem was proved.

    0
    0
  • Karp's partial isomorphism theorem was first proved in Karp [1965]; see also Barwise [1973] .

    0
    0
  • Kreisel 's suggestion was taken up with great success by Barwise [1967 ], where his compactness theorem was proved.

    0
    0
    Advertisement