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
LEADER 01940nam a22005057i 4500
001 MUB01006367675
003 CZ BrMU
005 20160609120243.0
008 160603s2014 xxk||||| |||||||||||eng d
STA |a POSLANO DO SKCR  |b 2016-08-11 
020 |a 978-1-107-03650-5  |q (Hardback) 
040 |a BOD001  |b cze  |e rda 
072 7 |a 510  |x Obecné úvahy o matematice  |2 Konspekt  |9 13 
080 |a 510.6  |2 MRF 
080 |a 51:168.3  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a (048.8:082)  |2 MRF 
100 1 |a Nederpelt, Rob  |4 aut 
245 1 0 |a Type theory and formal proof :  |b an introduction /  |c Rob Nederpelt, Herman Geuvers 
250 |a First published 
264 1 |a Cambridge :  |b Cambridge University Press,  |c 2014 
300 |a xxv, 436 stran 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a matematické důkazy  |7 ph307639  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a mathematical proofs  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
655 7 |a kolektivní monografie  |7 fd501537  |2 czenas 
655 9 |a collective monographs  |2 eczenas 
700 1 |a Geuvers, Herman,  |d 1964-  |7 xx0010820  |4 aut 
CAT |a RENATA  |b 02  |c 20160603  |l MUB01  |h 0947 
CAT |a SVOBODOVA  |b 02  |c 20160607  |l MUB01  |h 0800 
CAT |a PTICHA  |b 02  |c 20160609  |l MUB01  |h 1202 
CAT |c 20160811  |l MUB01  |h 1146 
CAT |c 20210614  |l MUB01  |h 1019 
CAT |c 20210614  |l MUB01  |h 2006 
CAT |a BATCH  |b 00  |c 20210724  |l MUB01  |h 1246 
LOW |a POSLANO DO SKCR  |b 2016-08-11 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 filozofie-RACL  |5 2571606183  |4 Zakázka 2111  |8 20160603  |f 77  |f Dlouhodobá  |r 20160603  |s grant1100 
AVA |a FIL50  |b FF  |c volný výběr  |d filozofie-RACL  |e unavailable  |t Není k dispozici  |f 1  |g 1  |h N  |i 0  |j VYBER 

Podobné jednotky