Format:
Online-Ressource (xv, 143 p)
Edition:
Online-Ausg. 2010 Electronic reproduction
ISBN:
9780444534026
Series Statement:
Studies in Logic and the Foundations of Mathematics v. 37
Content:
System Q -- Basic logic in Q -- Theorem of infinity and related results -- Formalization of the semantics of the System Q́
Note:
Bibliography: p. 141
,
System Q -- Basic logic in Q -- Theorem of infinity and related results -- Formalization of the semantics of the System Q₀.
,
Electronic reproduction
Additional Edition:
ISBN 0444534024
Additional Edition:
Erscheint auch als Druck-Ausgabe Transfinite type theory with type variables
Language:
English
Keywords:
Electronic books