Lecture Notes in Mathematics

Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983

Part 1: Models and Sets

Editors: Müller, G. H., Richter, M. M. (Eds.)

Buy this book

eBook $39.95 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39115-9
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $59.00 net
( price for USA )
  • ISBN 978-3-540-13900-3
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

Table of contents (2 chapter)

  • Definability in power series rings of nonzero characteristic

    Gregory Cherlin

    Pages 102-112

    Buy Chapter $29.95
  • Quantifier elimination and decision procedures for valued fields

    Volker Weispfenning

    Pages 419-472

    Buy Chapter $29.95
Free Preview

Buy this book

eBook $39.95 net
( price for USA )
  • The eBook version of this title will be available soon
  • ISBN 978-3-540-39115-9
  • digitally watermarked, no DRM
  • included format:
  • eBooks can be used on all Reading Devices
Softcover $59.00 net
( price for USA )
  • ISBN 978-3-540-13900-3
  • free shipping for individuals worldwide
  • usually dispatched within 3 to 5 business days

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983
Book Subtitle
Part 1: Models and Sets
Series Title
Lecture Notes in Mathematics
Series Volume
1103
Copyright
1984
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-39115-9
DOI
10.1007/BFb0099377
Softcover ISBN
978-3-540-13900-3
Series ISSN
0075-8434
Edition Number
1
Topics