Cover Image

A transfinite type theory with type variables

Show other versions (1)
Bibliographic Details
Main Author: Andrews, P. B. (Peter Bruce), 1937-
Corporate Author: ScienceDirect (Online service)
Format: eBook
Language:English
Published: Amsterdam, North-Holland Pub. Co., 1965.
Series:Studies in logic and the foundations of mathematics.
Subjects:
Type theory.
Théorie des types.
Type theory
Logica.
Logica Matematica.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Physical Description:1 online resource (xv, 143 pages)
Format:Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
Bibliography:Includes bibliographical references (page 141).
ISBN:9780444534026
0444534024