Dekker, J. C. E. Projective bigraphs with recursive operations. (English) Zbl 0363.02048 Notre Dame J. Formal Logic 19, 193-199 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 2 Documents MSC: 03D50 Recursive equivalence types of sets and structures, isols 03D60 Computability and recursion theory on ordinals, admissible sets, etc. 05C99 Graph theory 51N99 Analytic and descriptive geometry PDFBibTeX XMLCite \textit{J. C. E. Dekker}, Notre Dame J. Formal Logic 19, 193--199 (1978; Zbl 0363.02048) Full Text: DOI