Proof theory: ISILC; Proof theory symposium. dedicated to kurt schuette on the occasion of HIS 65th birthday. proceedings of the international summer institute and logic colloquium 1974

Proof theory: ISILC; Proof theory symposium. dedicated to kurt schuette on the occasion of HIS 65th birthday. proceedings of the international summer institute and logic colloquium 1974
Автор
 
Год
 
ISBN
 
ISBN10:354007533X
Издатель
 
Springer

Описание:

Diller J., Mueller G.H. (eds.) ISILC Proof Theory Symposion. Dedicated to Kurt Schutte on the occasion of his 65th birthday, Kiel, 1974 (LNM0500, Springer, 1975)(ISBN 354007533X)(1s)_Mln_

Похожие книги

Theoretical elasticityTheoretical elasticity
Автор: A. E. Green
Год: 1992
Linear algebra for quantum theoryLinear algebra for quantum theory
Автор: Per-Olov L?wdin
Год: 1998
Operator Theory, Systems Theory and Scattering Theory: Multidimensional GeneralizationsOperator Theory, Systems Theory and Scattering Theory: Multidimensional Generalizations
Автор: Alpay D., Vinnikov V.
Год: 2005
A mathematical view of interior-point methods in convex optimizationA mathematical view of interior-point methods in convex optimization
Автор: James Renegar
Год: 1987
A mathematical view of interior-point methods in convex optimizationA mathematical view of interior-point methods in convex optimization
Автор: James Renegar
Год: 1987
H-optimal control and related minimax design problemsH-optimal control and related minimax design problems
Автор: Tamer Basar
Год: 1991