نتایج جستجو
An Introduction to Mathematical Logic and Type Theory. To Truth Through Proof
Peter B. Andrews, 1986
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews, 1986
An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof
Peter B. Andrews, 1986
Applied proof theory: Proof interpretations and their use in mathematics
Ulrich Kohlenbach (auth.), 2008
Applied Proof Theory: Proof Interpretations and their Use in Mathematics
Ulrich Kohlenbach (auth.), 2008
Combinators, λ-Terms and Proof Theory
Sören Stenlund (auth.), 1972
Fluorescence Correlation Spectroscopy: Theory and Applications
Professor Rudolf Rigler, 2001
Modelling of Material Damage and Failure of Structures: Theory and Applications
Skrzypek J.J., 1999
Language of the Stars: A Discourse on the Theory of the Light Changes of Eclipsing Variables
Zdeněk Kopal (auth.), 1979
Mathematical Theory of Stellar Eclipses
Zdeněk Kopal (auth.), 1990
Supersymmetry and equivariant de Rham theory
Victor W. Guillemin, 1999
Supersymmetry and equivariant de Rham theory
Victor W. Guillemin, 2010
Supersymmetry and Equivariant de Rham Theory
Victor W. Guillemin Shlomo Sternberg, 1999
Lectures on the Theory of Games
Harold William Kuhn, 2003
Statistical Implicative Analysis: Theory and Applications
Régis Gras, 2008
Introduction to the theory of kinetic equations
Richard L Liboff, 1969
Kinetic Theory
Liboff R., 2002
Kinetic Theory: Classical, Quantum, and Relativistic Descriptions
R.L. Liboff, 2003
Kinetic Theory: Classical, Quantum, and Relativistic Descriptions
R.L. Liboff, 2003
Ben Jonson and the Theatre: Performance, Practice, and Theory
Richard Cave, 1999
