Perspectives in Logic

Index of Symbols

Full-text: Open access

Chapter information

Source
Petr Hájek, Pavel Pudlák, Metamathematics of First-Order Arithmetic, 2nd printing (Berlin: Springer-Verlag, 1998), 459-460

Dates
First available in Project Euclid: 23 February 2009

Permanent link to this document
https://projecteuclid.org/euclid.pl/1235421938

Rights
Copyright © 1998, Association for Symbolic Logic