## Lecture Notes in Logic

The Lecture Notes in Logic series is intended to serve researchers, teachers, and students in the field of symbolic logic, broadly interpreted. The aim of the series is to bring publications to the logic community with the least possible delay and to provide rapid dissemination of the latest research in the field. The series contains monographs, lecture notes, conference proceedings and reprintings of older, otherwise unavailable, texts.

This site has electronic versions of volumes 1-12 of the series. A list of all the other volumes in the LNL can be found at www.aslonline.org/books-lnl-available.html. Further information about the series including editorial policies and submission information can be found at www.aslonline.org/books-lnl.html. Information about ordering hard copies can be found at www.aslonline.org/books-lnl-ordering.html.

Editorial Board

## Top downloads over the last seven days

Chapter 1: Introduction to the Model Theory of FieldsModel Theory of Fields (1996)
Computationally-Sound Proofs
Chapter 1: Preliminaries
Incompleteness theorems and ${\rm S}\sb 2\sp i$ versus ${\rm S}\sb 2\sp {i+1}$
• Publisher: Association for Symbolic Logic
• Discipline(s): Logic
• Full text available in Euclid: 1993--2009
• Access: All content is open
• Euclid URL: https://projecteuclid.org/lnl