Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Hunter, Geoffrey  Voir les notices liées en tant qu'auteur

Titre(s) : Metalogic [Texte imprimé] : an introduction to the metatheory of standard first order logic / Geoffrey Hunter

Édition : 6th printing with corrections 1996

Publication : Berkeley ; Los Angeles ; London : University of California Press, 1996, cop. 1971

Description matérielle : XIII-288 p. : ill. ; 21 cm

Note(s) : Bibliogr. p. [262]-274. Index

Sujet(s) : Logique du premier ordre  Voir les notices liées en tant que sujet

Indice(s) Dewey :  511.3 (23e éd.) = Logique mathématique  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 0-520-02356-0 (br.)

Identifiant de la notice  : ark:/12148/cb39086429j

Notice n° :  FRBNF39086429 (notice reprise d'un réservoir extérieur)