Peter Bruce Andrews (1937-....)

Pays :États-Unis
Langue :anglais
Sexe :masculin
Note :
Mathématicien. - En poste : Carnegie Mellon University, Pittsburgh, Pa. (en 2002)
ISNI :ISNI 0000 0001 0983 9548

Ses activités

Auteur du texte2 documents

  • An introduction to mathematical logic and type theory

    to truth through proof

    02. - 2nd ed.
    Description matérielle : XVIII-390 p.
    Description : Note : Bibliogr. p. 371-380. Index
    Édition : Dordrecht ; Boston : Kluwer Academic publ. , 2002

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb38918760z]
  • A Transfinite type theory with type variables

    Description matérielle : In-8° (23 cm), XVI-143 p. [Acq. 992-66]
    Description : Note : Studies in logic and the foundations of mathematics
    Édition : Amsterdam : North-Holland publishing C°. , 1965

    [catalogue][http://catalogue.bnf.fr/ark:/12148/cb32903697s]

Pages dans data.bnf.fr

Cette page dans l'atelier

Sources et références

Voir dans le catalogue général de la BnF

Sources de la notice

  • An introduction to mathematical logic and type theory : to truth through proof / Peter B. Andrews, 2002
  • LCA (2003-11-13)

Pages équivalentes