Switch to: References

Add citations

You must login to add citations.
  1. Skolemization in intermediate logics with the finite model property.Matthias Baaz & Rosalie Iemhoff - 2016 - Logic Journal of the IGPL 24 (3):224-237.
    Download  
     
    Export citation  
     
    Bookmark