Natural deduction: the logical basis of axiom systems
Anderson J.M., Johnstone Jr H.W.Catégories:
Année:
1962
Editeur::
Wadsworth
Langue:
english
Pages:
418
Fichier:
DJVU, 2.97 MB
IPFS:
,
english, 1962