Nerode, A. Lectures on intuitionistic logic: [working material for the lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989].
Chicago-Zitierstil (17. Ausg.)Nerode, Anil. Lectures on Intuitionistic Logic: [working Material for the Lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989]. Marktoberdorf.
MLA-Zitierstil (9. Ausg.)Nerode, Anil. Lectures on Intuitionistic Logic: [working Material for the Lectures of A. Nerode, International Summer School on Logic, Algebra and Computation, Marktoberdorf, Germany, July 25 - Aug. 6, 1989].
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.