Opening book details…
About this Computer Science article
Jeremy Avigad. A realizability interpretation for classical arithmetic . Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000,… by Berger, Ulrich is a Computer Science article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Computer Science.
- Author
- Berger, Ulrich
- Publisher
- JSTOR; Cambridge University Press; Cambridge University Press (CUP) (ISSN 1079-8986)
- Published
- 2002
- Field
- Computer Science (Physical Sciences)