Order and recursion in topoi /

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Brook, Tim
Format: Buch
Sprache:English
Veröffentlicht: Canberra : Dept. of Pure Mathematics, Australian National University, 1977.
Schriftenreihe:Notes on pure mathematics ; 9.
Schlagworte:
LEADER 00957nam a2200253 i 4500
001 c000305786
003 CARM
005 00000000000000.0
008 840313s1977 aca 0 eng d
019 1 |a 1367230  |z 1651506  |z 23075742  |5 LACONCORD2021 
020 |a 0708110495 
035 |a (OCoLC)3921908  |5 LACONCORD2021 
082 0 4 |a 512.55 
100 1 |a Brook, Tim. 
245 1 0 |a Order and recursion in topoi /  |c Tim Brook. 
260 |a Canberra :  |b Dept. of Pure Mathematics, Australian National University,  |c 1977. 
300 |a 226 p. 
490 0 |a Australian National University. Notes on pure mathematics ;  |v 9 
500 |a Bibliography: p. 202-216. 
650 0 |a Toposes. 
830 0 |a Notes on pure mathematics ;  |v 9. 
852 8 |b CARM  |h A3:AR15D3  |i F04098  |p 0514911  |f BK 
999 f f |i 1eae2e91-c24a-5d20-8538-8034aedbf4c9  |s a0b83772-f3f2-510d-83a9-198b1ccd87aa 
952 f f |p Can circulate  |a CAVAL  |b CAVAL  |c CAVAL  |d CARM 1 Store  |e F04098  |f A3:AR15D3  |h Other scheme  |i book  |m 0514911