Enderton, Herbert B. A mathematical introduction to logic [electronic resource] / [by] Herbert B. Enderton.. — New York, : Academic Press, [1972]. — xiii, 295 p. : illus. 24 cm.

Includes index.



ISBN: 0122384504 9780122384509

LCCN: 78182659

Nat. Bib. No.: B7220090

Subjects--Topical Terms:
Logic, Symbolic and mathematical.
Logique symbolique et mathématique.
Logica.
Logique symbolique et mathématique.
décidabilité.
logique 1er ordre.
logique mathématique.
logique séquentielle.

LC Class. No.: QA9 / .E54 1972

Dewey Class. No.: 511/.3