Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (Met een samenvatting in het Nederlands).

Author: TERLOUW, J.
Title: Proof-theoretical analyses of transfinite recursion and inductive definitions. Bewijstheoretische analyses van transfiniete recursie en inductieve definities. (Met een samenvatting in het Nederlands).
Description: Utrecht, N.p., 1986. (VI) 141 pp. Sewn. Thesis. spine discoloured, good condition

Keywords: filosofie; wiskunde; 47

Price: EUR 10.00 = appr. US$ 10.87 Seller: Antiquariaat Isis
- Book number: 15173

See more books from our catalog: Filosofie - Wiskunde