Type(s) de contenu et mode(s) de consultation : Texte noté : électronique

Auteur(s) : Szabo, M. E.  Voir les notices liées en tant qu'auteur

Titre(s) : Algebra of proofs [Texte électronique] / M.E. Szabo

Publication : Amsterdam ; New York : North-Holland Pub. Co. : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1978

Description matérielle : 1 ressource dématérialisée

Collection : Studies in logic and the foundations of mathematics ; v. 88

Note(s) : Includes indexes. - Includes bibliographical references (pages 278-284)

Sujet(s) : Théorie de la démonstration  Voir les notices liées en tant que sujet
Logique combinatoire  Voir les notices liées en tant que sujet
Catégories (mathématiques)  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 9780720422863

Identifiant de la notice  : ark:/12148/cb44650140m

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