Type theory and formal proof : an introduction /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Nederpelt, Rob (Autor), Geuvers, Herman, 1964- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, 2014
Vydání:First published
Témata:
matematická logika
matematické důkazy
teorie důkazu
mathematical logic
mathematical proofs
proof theory
kolektivní monografie
collective monographs
Obálka Obsah Přejít na ObalkyKnih.cz
Popis
Fyzický popis:xxv, 436 stran
ISBN:978-1-107-03650-5

Podobné jednotky