Switch to: References

Add citations

You must login to add citations.
  1. On the number of variables in undecidable superintuitionistic propositional calculi.Grigoriy V. Bokov - 2016 - Logic Journal of the IGPL 24 (5).
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark