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.

#### References

Steel, John R., et al. (1996)

#### Gödel and the theory of everything

Stöltzner, Michael, et al. (1996)

#### Computationally-Sound Proofs

Micali, S., et al. (1998)

#### $K$-graph machines: generalizing Turing's machines and arguments

Sieg, Wilfried, et al. (1996)

#### A bottom-up approach to foundations of mathematics

Pudlák, Pavel, et al. (1996)