| 189286 |
|
Bornat R. |
Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) |
2005 | •• |
| 35028 |
|
Detlefsen M. (Ed) |
Proof and Knowledge in Mathematics |
1992 | •• |
| 135447 |
|
Gold B., Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy |
2008 | •• |
| 162939 |
|
Gold B., Simons R. |
Proof and Other Dilemmas: Mathematics and Philosophy |
2008 | •• |
| 149350 |
|
Daoud A., Franklin J. |
Proof in Mathematics: An Introduction |
1999 • | •• |
| 43340 |
|
Birkhoff G.D. |
Proof of a Recurrence Theorem for Strongly Transitive Systems |
1931 | •• |
| 40472 |
|
Garrett P. |
Proof of a simple case of the Siegel-Weil formula |
2005 | •• |
| 44193 |
|
Lorentz H.A. |
Proof of a Theorem Due to Heaviside |
1922 | •• |
| 122415 |
|
Bobylev A.V., Cercignani C., Toscani G. |
Proof of an Asymptotic Property of Self-Similar Solutions of the Boltzmann Equation for Granular Materials |
2003 | •• |
| 125598 |
|
Markus Kreer, Oliver Penrose |
Proof of Dynamical Scaling in Smoluchowski's Coagulation Equation with Constant Kernel |
1993 | •• |
| 108058 |
|
McGinnis M. |
Proof of Fermat's theorem |
1913 | •• |
| 43339 |
|
Hopf E. |
Proof of Gibbs Hypothesis on the Tendency toward Statistical Equilibrium |
1932 | •• |
| 119720 |
|
Nagle J.F. |
Proof of Gridloek in a Polymer Model |
1985 | •• |
| 121420 |
|
van Enter A. |
Proof of Straley's Argument for Bootstrap Percolation |
1987 | •• |
| 43341 |
|
Birkhoff G.D. |
Proof of the Ergodic Theorem |
1931 | •• |
| 124798 |
|
Dickman R., Schieve W.C. |
Proof of the Existence of the Cluster Free Energy |
1984 | •• |
| 43342 |
|
Neumann J.V. |
Proof of the Quasi-Ergodic Hypothesis |
1931 | •• |
| 192812 |
|
Spies K., Schwichtenberg H. |
Proof Technology and Computation, Volume 200 NATO Science Series: Computer and Systems Sciences (Nato Science) |
2006 | •• |
| 20429 |
|
Schwichtenberg H. |
Proof Theory |
1994 | •• |
| 32957 |
|
Takeuti G. |
Proof Theory |
1987 • | •• |
| 32958 |
|
Schuette K., Crossley J.N. |
Proof Theory |
1977 | •• |
| 33065 |
|
Pohlers W. |
Proof Theory |
1996 | •• |
| 138675 |
|
Schutte K., Crossley J.N. |
Proof theory |
1977 | •• |
| 174258 |
|
Takeuti G. |
Proof theory |
1987 • | •• |
| 33063 |
|
Scarpellini B. |
Proof Theory and Intuitionistic Systems |
1971 | •• |
| 167302 |
|
Kahle R., Schroeder-Heister P., Stark R. |
Proof Theory in Computer Science, PTCS 2001 |
2001 | •• |
| 33064 |
|
Kahle R., Schroeder-Heister P. |
Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001 Proceedings |
2001 | •• |
| 175005 |
|
Pohlers W. |
Proof Theory. An Introduction |
1989 | •• |
| 66338 |
|
Pohlers W. |
Proof Theory: The First Step into Impredicativity |
2009 | •• |
| 35099 |
|
Detlefsen M. (Ed) |
Proof, Logic and Formalization |
1992 | •• |
| 33350 |
|
Dosen K., Petric Z. |
Proof-Net Categories |
2005 | •• |
| 33092 |
|
Dosen K., Petric Z. |
Proof-Theoretical Coherence |
2007 | •• |
| 200550 |
|
|
Proofiness. The dark arts of mathematical deception |
2010 | •• |
| 135995 |
|
Dowek G. |
Proofs and algorithms: An introduction to logic and computability |
2011 | •• |
| 139317 |
|
Dowek G. |
Proofs and algorithms: An introduction to logic and computability |
2011 | •• |
| 134922 |
|
Bloch E.D. |
Proofs and fundamentals: A first course in abstract mathematics |
2000 | •• |
| 142822 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2011 • | •• |
| 159278 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2000 | •• |
| 181520 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics |
2000 | •• |
| 160073 |
|
Bloch E. |
Proofs and Fundamentals: A First Course in Abstract Mathematics, Second Edition |
2011 • | •• |
| 127078 |
|
Lakatos I., Worrall J. (ed.), Zahar E. (ed.) |
Proofs and refutations: the logic of mathematical discovery |
1976 | •• |
| 129689 |
|
Lakatos I., Worrall J., Zahar E. |
Proofs and refutations: the logic of mathematical discovery |
1977 | •• |
| 548 |
|
Girard J.-Y., Taylor P., Lafont Y. |
Proofs and Types |
1989 | •• |
| 15887 |
|
Aigner M., Ziegler G.M. |
Proofs from the Book |
2003 • | •• |
| 184085 |
|
Benjamin A., Quinn J. |
Proofs that really count |
2003 | •• |
| 60826 |
|
Benjamin A.T., Quinn J. |
Proofs That Really Count The Art of Combinatorial Proof |
2003 | •• |
| 184515 |
|
Benjamin A., Quinn J. |
Proofs that really count: the art of combinatorial proof |
2003 | •• |
| 212588 |
|
Mendoza L. |
Propagación clonal: Embriogénesis somática y enraizamiento de estaquillas, dos aliados para la producción de cacao en San Martín |
2022 | •• |
| 134009 |
|
Macdonald S. |
Propaganda and Information Warfare in the Twenty-First Century: Altered Images and Deception Operations (Contemporary Security Studies) |
2007 | •• |
| 209509 |
|
Liu H. |
Propaganda Ideas, Discourses and Its Legitimization |
2020 | •• |
|
|
Î ïðîåêòå