Discover open access scientific publications

Search, annotate, share and cite publications

Publications by W. W. Tait

Gentzen’s Original Consistency Proof and the Bar Theorem

2015English

A Nonconstructive Proof of Gentzen's Hauptsatz for Second Order Predicate Logic

Bulletin of the American Mathematical Society
1966English

Related publications

Another Proof of the Liouville Theorem

Annales Academiae Scientiarum Fennicae Mathematica
Mathematics
2013English

Proof Simplification and Automated Theorem Proving

Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
MathematicsEngineeringAstronomyPhysics
2019English

Another Proof of the Minimax Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1960English

Simple Proof of the Ergodic Theorem

Acta Chemica Scandinavica
1958English

The Proof of the Fermat-Beal Theorem

Bulletin of Mathematical Sciences and Applications
2015English

A Proof of Kamp's Theorem

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2014English

A Proof of Hessenberg’s Theorem

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1953English

Constructive Proof of the Min-Max Theorem

Pacific Journal of Mathematics
Mathematics
1956English

Proof of Poincaré’s Geometric Theorem

Transactions of the American Mathematical Society
MathematicsApplied Mathematics
1913English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy