Search results 4
Paper図書
National Diet Library
- LC Control Number76045768 //r864
- DDC511/.3
- Subject HeadingProof theory.
Paper図書
National Diet Library
- Note (General)Bibliography: p. 121-122.
- Author HeadingBuchholz, Wilfried, 1948- Schütte, K. (Kurt)
Paper図書
National Diet LibraryOther Libraries in Japan
- DDC510/.8 s 511/.3
- Subject HeadingSchütte, K. (Kurt) -- Bibliography. Proof theory -- Congresses.
- Title HeadingLecture notes in mathematics (Springer-Verlag) ; 500.
Paper図書
Other Libraries in Japan
- Related MaterialQuantum Lie theory : a multilinea......ups Algebraic K-theory, Evanston 1980......nston, March 24-27, 1980 Algebr......roblems in many-particle system...... Italy, June 15-27, 1992 Siegel...... Maryland, 1969-1970 Commutativ...... Orsay, June 20-23, 1983 Tomita's theory of modular Hil......schemes of zero-dimensional sub......über Funktionen-Algebren : Eidg......hematik Zürich - Schweiz, Winter-Semester 1963/64 Large random......rance, Sept. 18-22, 1989 Comput......ystems Measure theory Oberwolfach 19......ermany, June 21-27, 1981 Représ......rmany, April 15-19, 1985 Discrete-event control o......ommutative L[p]-spaces Differential geometry i...