A lower bound for the complexity of Craig's interpolants in sentential logic Daniele Mundici OriginalPaper Pages: 27 - 36
Natural limitations of decision procedures for arithmetic with bounded quantifiers Daniele Mundici OriginalPaper Pages: 37 - 54
Variants of Robinson's essentially undecidable theoryR James P. JonesJohn C. Shepherdson OriginalPaper Pages: 61 - 64
A one axiom set theory based on higher order predicate calculus M. W. Bunder OriginalPaper Pages: 99 - 107
Die Unentscheidbarkeit der einstelligen unendlichwertigen Prädikatenlogik Matthias Ragaz OriginalPaper Pages: 129 - 139
Die Nichtaxiomatisierbarkeit der unendlichwertigen Mengenlehre Matthias Ragaz OriginalPaper Pages: 141 - 146
A classification of the one-argument primitive recursive functions Jovan Naumović OriginalPaper Pages: 161 - 174