American Mathematical Society

My Account · My Cart · Customer Services · FAQ  
AMS eContent Search Results
Matches for: msc=(03F05) AND publication=(all)
Sort order: Date
Format: Standard display

  
Results: 1 to 5 of 5 found      Go to page: 1

[1] Nikolaos Galatos and Peter Jipsen. Residuated frames with applications to decidability. Trans. Amer. Math. Soc. 365 (2013) 1219-1249.
Abstract, references, and article information   
View Article: PDF

[2] A. Carbone. Cycling in proofs and feasibility. Trans. Amer. Math. Soc. 352 (2000) 2049-2075. MR 1603882.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[3] A. Carbone and S. Semmes. Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination. Bull. Amer. Math. Soc. 34 (1997) 131-159. MR 1423203.
Abstract, references, and article information   
View Article: PDF

[4] Jan Krajíček. Fragments of bounded arithmetic and bounded query classes . Trans. Amer. Math. Soc. 338 (1993) 587-598. MR 1124169.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge

[5] R. Statman. Lower bounds on Herbrand's theorem . Proc. Amer. Math. Soc. 75 (1979) 104-107. MR 529224.
Abstract, references, and article information   
View Article: PDF
This article is available free of charge


Results: 1 to 5 of 5 found      Go to page: 1