Some Results on the Length of Proofs

Transactions of the American Mathematical Society - United States
doi 10.1090/s0002-9947-1973-0432416-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

American Mathematical Society (AMS)

Related search

New Proofs of Some Theorems on Infinitely Differentiable Functions

Bulletin of the Australian Mathematical Society
Mathematics
1977English

Calculus Proofs of Some Combinatorial Inequalities

Mathematical Inequalities and Applications
MathematicsApplied Mathematics
2003English

Proofs of Some Hyperelliptic Function Identities

Bulletin of the Australian Mathematical Society
Mathematics
1998English

Simplified Proofs of “Some Tauberian Theorems” of Jakimovski

Pacific Journal of Mathematics
Mathematics
1957English

On the P-Length of Some Finite P-Soluble Groups

Israel Journal of Mathematics
Mathematics
2014English

Some Results on the Intermediate Logics

Publications of the Research Institute for Mathematical Sciences
Mathematics
1972English

Some Results on Pseudosquares

Mathematics of Computation
Computational MathematicsApplied MathematicsNumber TheoryAlgebra
1996English

Simple Completeness Proofs for Some Spatial Logics of the Real Line

2013English

Some New Results on the Number of Paths

Open Journal of Modelling and Simulation
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy