Abstract is missing.
- Paramodulation, Superposition, and SimplificationLeo Bachmair. 1-3
- Explaining Gentzen s Consistency Proof within Infinitary Proof TheoryWilfried Buchholz. 4-17
- Alogtime Algorithms for Tree Isomorphism, Comparison, and CanonizationSamuel R. Buss. 18-33
- Ultrafilter Logic and Generic ReasoningWalter Alexandre Carnielli, Paulo A. S. Veloso. 34-53
- Informal Rigor and Mathematical UnderstandingJohn Alan Robinson. 54-64
- Resolution, Inverse Method and the Sequent CalculusTanel Tammet. 65-83
- Subtyping over a Lattice (Abstract)Jerzy Tiuryn. 84-88
- A New Method for Bounding the Complexity of Modal LogicsDavid A. Basin, Seán Matthews, Luca Viganò. 89-102
- Parameter Free Induction and ReflectionLev D. Beklemishev. 103-113
- Looking for an Analogue of Rice s Theorem in Circuit Complexity TheoryBernd Borchert, Frank Stephan. 114-127
- Two Connections Between Linear Logic and Lukasiewicz LogicsAgata Ciabattoni, Duccio Luchi. 128-139
- Structuring of Computer-Generated Proofs by Cut IntroductionUwe Egly, Karin Genther. 140-152
- NaDSyL and some ApplicationsPaul C. Gilmore. 153-166
- Markov s Rule Is Admissible in the Set Theory with Intuitionistic LogicKhakhanian V. Kh. 167-171
- Bounded Hyperset Theory and Web-like Data BasesAlexei Lisitsa, Vladimir Yu. Sazonov. 172-185
- Invariant Definability (Extended Abstract)Johann A. Makowsky. 186-202
- Comparing Computational Representations of Herbrand ModelsRobert Matzinger. 203-218
- Restart Tableaux with Selection FunctionChristian Pape, Reiner Hähnle. 219-232
- Two Semantics and Logics Based on the Gödel InterpretationV. Plisko. 233-240
- On the Completeness and Decidability of a Restricted First Order Linear Temporal LogicRegimantas Pliuskevicius. 241-254
- Propositional Quantification in Intuitionistic LogicTomasz Polacik. 255-263
- Sketch-as-ProofNorbert Preining. 264-277
- Translating Set Theoretical Proofs into Type Theoretical ProgramsAnton Setzer. 278-289
- Denotational Semantics for Polarized (But-non-constrainted) LK by Means of the AdditivesLorenzo Tortora de Falco. 290-304
- The Undecidability of Simultaneous Rigid E-Unification with Two VariablesMargus Veanes. 305-318
- The Tangibility Reflection Principle for Self-Verifying Axiom SystemsDan E. Willard. 319-334
- Upper Bounds for Standardizations and an ApplicationHongwei Xi. 335-348