The substitutional analysis of logical consequence

From MaRDI portal
Publication:6495237