Delhi University Library System Search for 'su:{ Proof theory}'

Advanced microeconomic theory

]]> By Jehle, Geoffrey A. .
England Pearson Education Limited 2011 .
xvi, 656 p. 9780273731917

]]> Place hold on Advanced microeconomic theory

Advances in Proof Theory

]]> By Reinhard Kahle, Thomas Strahm, Thomas Studer.
Springer 2016 9783319291987

]]> Place hold on Advances in Proof Theory

Algebraic groups: The theory of group schemes of finite type over a field

]]> By Milne, J. S..
Cambridge : Cambridge Uniiversity Press, 2017 .
xvi, 648 p. ; , Includes bibliography and index. 23 cm..
9781009018586

]]> Place hold on Algebraic groups:

Arithmetic, proof theory , and computational complexity

By Clote Peter.
1993

]]> Place hold on Arithmetic, proof theory , and computational complexity

Arithmetic, Proof Theory, and Computational Complexity

]]> By Clote.
Oxford University PressOxford University Press 2023 9781383025989

]]> Place hold on Arithmetic, Proof Theory, and Computational Complexity

Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

]]> By Ofer Arieli, Anna Zamansky.
Springer 2021 9783030712587

]]> Place hold on Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

Bitcoin : A game-theoretic analysis

]]> By Warren, Micah.
Boston : De Gruyter, 2023 .
xv, 328 p. ; 25 cm..
9783110772838

]]> Place hold on Bitcoin

Differential Manifolds

]]> By Kosinski, Antoni A.
New York : Dover Publications, Inc., 1993 .
xvi, 262p. , Includes Appendix I-II 223-246p.; Bibliography 247-254p.; Index 255-262p. 9780486462448

]]> Place hold on Differential Manifolds

The Economic Merry-Go-Round (RLE: Business Cycles) A New Theory of Trade Cycles with the Document of History as Proof

]]> By Edmund Walker.
Taylor and Francis 2015 9781315720265

]]> Place hold on The Economic Merry-Go-Round (RLE: Business Cycles)

Elements of group theory for physicists

]]> By Joshi, A. W..
New Delhi: New Age International Publishers, 1997 .
xiii, 305p. , Appendices A-D, 278-296p.; References 297-300p.; Index 301305p. 812240975X

]]> Place hold on Elements of group theory for physicists

Ergodic theory and topological dynamics of group actions on homogeneous spaces

]]> By Bekka, M. Bachir..
Cambridge ; Cambridge University Press, 2000 .
x, 200 p. : 23 cm..
9780521660303

]]> Place hold on Ergodic theory and topological dynamics of group actions on homogeneous spaces

Ergodic theory: with a view towards number theory

]]> By Einsiedler, Manfred,.
London: Springer- Verlag, 2011 .
xvii, 481p.: , Includes bibliography and index. 23 cm..
9781447125914

]]> Place hold on Ergodic theory:

Essays on the theory of numbers.

By Dedekind, Richard.
New York Dover Publications, Inc. 1963 .
115 p. cm..

]]> Place hold on Essays on the theory of numbers.

Introduction to Abstract Algebra

]]> By Nicholson , W. Keith .
Hoboken : Wiley , 2012 .
xxiv,535p. , Included Bibliography 492-494p.; Selected answers 495-522p.; Index 523-535p. 9781118135358

]]> Place hold on Introduction to Abstract Algebra

Introduction to analytic number of theory

By Chandrasekharan K..
Verlag Springer 1968 .
viii, 138 p.

]]> Place hold on Introduction to analytic number of theory

An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

]]> By Mancosu et al.
OUPOxford University Press 2021 9780191938795

]]> Place hold on An Introduction to Proof Theory: Normalization, Cut-Elimination, and Consistency Proofs

Intuitionism and proof theory Proceedings of the summer conference at buffalo N.Y.1968.

By Kino A Ed..
London North Holland Publishing 1970 .
viii,516p. cm..

]]> Place hold on Intuitionism and proof theory

ISILC proof theory symposiom Dedicate to kurt schutte on the occasion of his 65th birthday, proceedings of the International Summer Institute and Logic Colloquium.

By Diller J Ed..
1975

]]> Place hold on ISILC proof theory symposiom

Mathematical logic : foundations for information science

]]> By Li, Wei.
New York : Birkhauser, 2014 .
xiv, 301p. , Appendix 1-2 279-282p.; Bibliography 293-296p.; Index 297-301p. 9783034808613

]]> Place hold on Mathematical logic

Measure Theory and Integration