Barwise sentence example

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