BOOKS LISTS DIARY ACTIVITY REVIEWS STATS MEMBERS

Yükleniyor

Track books, build shelves, write reviews, make public lists, and follow readers whose taste you trust.

Explore

Browse books
Lists
Diary
Stats

Community

Reader activity
Public lists
Reviews
Members

Newsletter

Get weekly book recommendations.

© 2026 Cilt. All rights reserved.

Yükleniyor

Yazar

Rob Nederpelt

2 cilt bulundu.

Cilt sonuçları

Type Theory and Formal Proof

Type Theory and Formal Proof

Rob Nederpelt, Herman Geuvers · Cambridge University Press

466 sayfa · 2014

Logic, symbolic and mathematical / Type theory / COMPUTERS / Programming Languages / General

Logic, symbolic and mathematicalModern Perspective on Type TheoryF. D. Kamareddine, T. Laan, Rob Nederpelt

Modern Perspective on Type Theory

F. D. Kamareddine, T. Laan, Rob Nederpelt · Springer

360 sayfa · 2010

Logic, symbolic and mathematical