Basic proof theory /

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Troelstra, A. S., 1939- (Autor), Schwichtenberg, Helmut, 1942- (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c2000.
Vydání:2nd ed.
Edice:Cambridge Tracts in Theoretical Computer Science ; 43
Témata:
teorie aproximací
teorie důkazu
matematické důkazy
výpočetní technika
programovací jazyky
mathematical proofs
approximation theory
proof theory
programming languages
computer science
monografie
monographs
Obálka Obsah Přejít na ObalkyKnih.cz
LEADER 02866cam a22007697a 4500
001 MUB01000150820
003 CZ BrMU
005 20250808114259.0
008 001123s2000 xxk||||| |||||||||||eng|d
STA |a POSLANO DO SKCR  |b 2009-06-22 
020 |a 0-521-77911-1 
040 |a BOD018  |b cze  |d BOD018 
072 7 |a 51  |x Matematika  |2 Konspekt  |9 13 
080 |a 004  |2 MRF 
080 |a 004.43  |2 MRF 
080 |a 168.3  |2 MRF 
080 |a 519.65  |2 MRF 
080 |a 51:168.3  |2 MRF 
100 1 |a Troelstra, A. S.,  |d 1939-  |7 xx0202072  |4 aut 
245 1 0 |a Basic proof theory /  |c A. S. Troelstra, H. Schwichtenberg. 
250 |a 2nd ed. 
260 |a Cambridge :  |b Cambridge University Press,  |c c2000. 
300 |a xii, 417 s. 
490 1 |a Cambridge Tracts in Theoretical Computer Science ;  |v 43 
650 0 7 |a teorie aproximací  |7 ph126546  |2 czenas 
650 0 7 |a teorie důkazu  |7 ph126551  |2 czenas 
650 0 7 |a matematické důkazy  |7 ph307639  |2 czenas 
650 0 7 |a výpočetní technika  |7 ph137273  |2 czenas 
650 0 7 |a programovací jazyky  |7 ph115890  |2 czenas 
650 0 9 |a mathematical proofs  |2 eczenas 
650 0 9 |a approximation theory  |2 eczenas 
650 0 9 |a proof theory  |2 eczenas 
650 0 9 |a programming languages  |2 eczenas 
650 0 9 |a computer science  |2 eczenas 
655 7 |a monografie  |7 fd132842  |2 czenas 
655 9 |a monographs  |2 eczenas 
700 1 |a Schwichtenberg, Helmut,  |d 1942-  |7 mub2014815146  |4 aut 
830 0 |a Cambridge Tracts in Theoretical Computer Science ;  |v 43 
CAT |a CONF-FI  |b 02  |c 20040327  |l MUB01  |h 1748 
CAT |a CONV-M04  |b 02  |c 20040919  |l MUB01  |h 1743 
CAT |c 20050122  |l MUB01  |h 1222 
CAT |a CONV-653  |b 02  |c 20050213  |l MUB01  |h 2122 
CAT |c 20070427  |l MUB01  |h 2114 
CAT |a BATCH-UPD  |b 02  |c 20080319  |l MUB01  |h 0632 
CAT |c 20080429  |l MUB01  |h 1804 
CAT |c 20080429  |l MUB01  |h 1819 
CAT |c 20080602  |l MUB01  |h 1116 
CAT |c 20080604  |l MUB01  |h 0952 
CAT |c 20090622  |l MUB01  |h 0745 
CAT |c 20091202  |l MUB01  |h 2153 
CAT |c 20091203  |l MUB01  |h 1429 
CAT |a BATCH-UPD  |b 00  |c 20100501  |l MUB01  |h 0724 
CAT |c 20101015  |l MUB01  |h 2113 
CAT |c 20101016  |l MUB01  |h 0129 
CAT |a BATCH  |b 00  |c 20130301  |l MUB01  |h 1704 
CAT |a VACOVAX  |b 02  |c 20140407  |l MUB01  |h 1149 
CAT |c 20150403  |l MUB01  |h 1945 
CAT |a VARTECKAX  |b 02  |c 20151015  |l MUB01  |h 0832 
CAT |a BATCH  |b 00  |c 20151224  |l MUB01  |h 0456 
CAT |a VARTECKAX  |b 02  |c 20160401  |l MUB01  |h 1002 
CAT |a VESELA  |b 02  |c 20230314  |l MUB01  |h 1028 
CAT |a VESELAX  |b 02  |c 20250808  |l MUB01  |h 1141 
CAT |a VESELAX  |b 02  |c 20250808  |l MUB01  |h 1142 
LOW |a POSLANO DO SKCR  |b 2009-06-22 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FI  |a Fakulta informatiky  |2 SKLAD  |b sklad  |3 R362  |5 4200506367  |8 20040328  |f 74  |f Měsíční  |r 00000001 
AVA |a INF50  |b FI  |c sklad  |d R362  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 4  |j SKLAD 

Podobné jednotky