doc-src/Logics/logics.bbl
changeset 707 04d661f1d2f8
parent 643 1e8fea151d2e
child 878 7c82ab7602b4
equal deleted inserted replaced
706:31b1e4f9af30 707:04d661f1d2f8
    37 \newblock {\em Journal of Symbolic Logic}, 5:56--68, 1940.
    37 \newblock {\em Journal of Symbolic Logic}, 5:56--68, 1940.
    38 
    38 
    39 \bibitem{coen92}
    39 \bibitem{coen92}
    40 Martin~D. Coen.
    40 Martin~D. Coen.
    41 \newblock {\em Interactive Program Derivation}.
    41 \newblock {\em Interactive Program Derivation}.
    42 \newblock PhD thesis, University of Cambridge, 1992.
    42 \newblock PhD thesis, University of Cambridge, November 1992.
    43 \newblock Computer Laboratory Technical Report 272.
    43 \newblock Computer Laboratory Technical Report 272.
    44 
    44 
    45 \bibitem{constable86}
    45 \bibitem{constable86}
    46 R.~L. Constable et~al.
    46 R.~L. Constable et~al.
    47 \newblock {\em Implementing Mathematics with the Nuprl Proof Development
    47 \newblock {\em Implementing Mathematics with the Nuprl Proof Development