Springer-Verlag - Springer , Lecture Notes in Mathematics Malicorne sur Sarthe, 72, Pays de la Loire, France 1968 Book condition, Etat : Bon paperback In-4 1 vol. - 334 pages
Contents, Chapitres : Preface, Contents, iii, Text, 331 pages - S. Feferman : Lectures on proof theory - M. Morley : Partitions and models - D. Rödding : Klassen rekursiver Funktionen - J.P. Cleave : Hyperarithmetic ultrafilters - J.P. Crossley : Recursive equivalence, a survey - A.S. Davis : Half-ring morphologies - A. Rose :Formalisations of some ..- valued Lukasiewicz propositional calculi - J.G. Rosenstein : Theories which are not ...-categorical - A. Slomson : The monadic fragment of predicate calculus with the Chang quantifier and equality - The P 1 1 comprehension schema and omega-rules near fine copy