1.

Record Nr.

UNISA990003219930203316

Autore

ANDERSON, John M.

Titolo

Natural deduction : The logical basis of axiom systems / Anderson John M. and Johnstone Henry W. jr.

Pubbl/distr/stampa

Belmont : Wadsworth Publ. Co., 1962

Descrizione fisica

XII, 418 p. ; 23 cm

Altri autori (Persone)

JOHNSTONE, Henry W. jr.

Disciplina

511.3

Soggetti

Logica matematica

Collocazione

511.3 AND

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia