Varieties of constructive mathematics

Uloženo v:
Podrobná bibliografie
Hlavní autor: Bridges, Douglas
Médium: Kniha
Vydáno: Cambridge Univ. Pr. 1987
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

MARC

LEADER 00000nam a2200000 4500
001 51183
003 BD-SaJUCL
040 |a BD-SaJUCL  |c BD-SaJUCL  |d BD-SaJUCL 
942 |2 ddc  |c BK  |n 1 
100 1 |a Bridges, Douglas  |9 19683 
245 1 0 |a Varieties of constructive mathematics  |c  / Douglas Bridges 
260 |b Cambridge Univ. Pr.  |c 1987 
300 |a x, 149p.  |c 22cm. 
082 0 4 |a 511.3 
650 0 |a Logic, Symbolic and mathematical  |9 12037 
509 |a Mehedi_Hasan_68_3_Document_6_495.jpg_processed 
999 |c 51183  |d 51179