Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Logic Colloquium '96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996

Paperback

$105.22 $115.00 Save 9% Current price is $105.22, Original price is $115. You Save 9%.

Product Details

ISBN-13: 9783540646686
Publisher: Springer Berlin Heidelberg
Publication date: 07/28/1998
Series: Lecture Notes in Logic Series , #12
Pages: 261
Product dimensions: 8.24(w) x 7.96(h) x 0.09(d)

Table of Contents

Preface.- N. Asher: The Logical Founations of Discourse Interpretation.- H. Buhrman & L. Torenvliet: Complete Sets and Structure in Subrecursive Classes.- D. Evans & D. Gray: Kernels and cohomology groups for some finite covers.- V. Kanovei: On 'star' schemata of Kossak and Paris.- U. Kohlenbach: Arithmetizing proofs in analysis.- R. Kossak: Satisifaction classes and autormorphisms of models of PA.- M. Pentus: Free monoid completeness of the Lambeck calculus allowing empty premises.- Y. Peterzil, A. Pillay & S. Starchenko: Simple groups definable in O-minimal structures.- M. Reynolds: Two-Dimensinonal Temporal Logic.- J.H. Schmerl: Rather Classless, Highly Saturated Models of Peano Arithmetic.- G. Takeuti: Incompleteness theorems and Si2 versus Si+12

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews