|
||
|
|
||
|
|
|
MR1134134
68Q55
(03B40 03B70 03F50 06B35 68Q65)
Streicher, Thomas Semantics of type theory. Correctness, completeness and independence results. With a foreword by Martin Wirsing. Progress in Theoretical Computer Science. Birkhäuser Boston, Inc., Boston, MA, 1991. xii+298 pp. ISBN: 0-8176-3594-7 |
|
|
| For users without a MathSciNet license , Relay Station allows linking from MR numbers in online mathematical literature directly to electronic journals and original articles. Subscribers receive the added value of full MathSciNet reviews. | ||||
|
|
||||
AMS Home Page
|
