Switch to: Citations

References in:

A sequence formalization for SCI

Studia Logica 35 (3):213 - 217 (1976)

Add references

You must login to add references.
  1. A uniform proof procedure for SCI tautologies.Aileen Michaels - 1974 - Studia Logica 33 (3):299 - 310.
    Download  
     
    Export citation  
     
    Bookmark   5 citations