10% OFF

Semantics Of Type Theory eBook

Correctness, Completeness And Independence Results

by T. Streicher
language: english
Publisher: BIRKHAUSER BOSTON, December of 2012 ‧
98,71€
10% OFF CARD
IMMEDIATE AVAILABILITY
Ebook for ADE
Correctness Completeness and Independence Results.

Semantics Of Type Theory

Correctness, Completeness And Independence Results

by T. Streicher

Property Description
ISBN: 9781461204336
Publisher: BIRKHAUSER BOSTON
Release Date: December of 2012
Language: English
Format: eBook
File Format and Compatibility: PDF para ADE
Collection: Progress In Theoretical Computer Science
Categories: eBooks in English > Science > Mathematics
EAN: 9781461204336

BOOKS FROM THE SAME COLLECTION