The evolution of type theory in logic and mathematics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Laan, Twan Dismas Laurens
Médium: Diplomová práce Kniha
Jazyk:angličtina
Vydáno: Eindhoven : Technische Universität, 1997
Vydání:[1st ed.]
Témata:
programovací jazyk > matematická logika > typy dát
ISBN:9038605315
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
003 SK-BrCVT
005 20220617192150.0
008 980301s1997 ne e ||||||eng d
020 |a 9038605315 
035 |a CVTIDW0943449 
040 |b slo  |a CVTI SR 
041 0 |a eng 
044 |a ne 
080 |a 510.6:004  |2 UDC-MRF 
100 1 |a Laan, Twan Dismas Laurens 
242 1 0 |a Evolúcia teórie typov v logike a matematike 
245 1 4 |a The evolution of type theory in logic and mathematics /  |c Twan Dismas Laurens Laan 
250 |a [1st ed.] 
260 |a Eindhoven :  |b Technische Universität,  |c 1997 
300 |a XI, 341 s. :  |b lit. ; 
502 |d 29. 9. 1997 
653 1 |a programovací jazyk  |a matematická logika  |a typy dát 
692 |a GM PR JM MM 
910 |b A560704 
919 |a 90-386-0531-5 
974 |f Knihy 
992 |a DDZ 
999 |c 94369  |d 94369 

Podobné jednotky