Peter Bruce Andrews (1937-....)

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

Occupations

Auteur du texte2 documents

  • An introduction to mathematical logic and type theory

    to truth through proof

    02. - 2nd ed.
    Material description : XVIII-390 p.
    Note : Note : Bibliogr. p. 371-380. Index
    Edition : Dordrecht ; Boston : Kluwer Academic publ. , 2002

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

    Material description : In-8° (23 cm), XVI-143 p. [Acq. 992-66]
    Note : Note : Studies in logic and the foundations of mathematics
    Edition : Amsterdam : North-Holland publishing C°. , 1965

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

Pages in data.bnf.fr

This page in data.bnf.fr lab

Sources and references

Sources

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

Closely matched pages