Počet záznamů: 1
Type theory and formal proof
Údaje o názvu Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers Osobní jméno Nederpelt, Rob (autor) Údaje o vydání First published Nakladatel Cambridge : Cambridge University Press, 2014 Fyz.popis xxv, 436 stran ISBN 978-1-107-03650-5 (vázáno) Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografické odkazy a rejstřík Dal.odpovědnost Geuvers, Herman, 1964- (autor) Předmět.hesla matematická logika mathematical logic * matematické důkazy mathematical proofs * teorie důkazu proof theory Forma, žánr kolektivní monografie collective monographs Konspekt 510 - Obecné úvahy o matematice MDT 510.6 , 51:168.3 , 168.3 , (048.8:082) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy URL http://web.flu.cas.cz/scan/323588278.pdf Signatura Čár.kód Lokace Dislokace Info M1/3607 (PřF) 3134046334 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1