% ========================================================================= % Bibliography for ``Practical Foundations of Mathematics'' % Paul Taylor pt(at)dcs.qmw.ac.uk % Cambridge University Press 1998, ISBN 0-521-63107-6 % Cambridge Studies in Advanced Mathematics 59 % http://www.dcs.qmw.ac.uk/~pt/Practical_Foundations/ % ========================================================================= % Run this through LaTeX, then BibTeX, then LaTeX and LaTeX again: % latex prafm-ref.bib; % bibtex prafm-ref; % latex prafm-ref.bib; % latex prafm-ref.bib; % xdvi prafm-ref.dvi \documentclass{article} \title{Bibliography for\\ Practical Foundations of Mathematics} \author{Paul Taylor\\ \texttt{pt\char64 dcs.qmw.ac.uk}\\ \texttt{http://www.dcs.qmw.ac.uk/$\sim$pt/Practical\_Foundations/}\\ Cambridge University Press\\ Cambridge Studies in Advanced Mathematics, 59\\ ISBN 0 521 63107 6} \date{1988} \usepackage{a4wide}% leave this out if you don't have it \def\naive{na\"\i ve } \def\Naive{Na\"\i ve } \def\tuck{} \begin{document} \maketitle \nocite{*} \bibliographystyle{alpha-unsrt} \bibliography{prafm-ref} \end{document} \endinput % ========================================================================= @incollection{JungA:domt, author = {Abramsky, Samson and Jung, Achim}, title = {Domain Theory}, editor = {Abramsky, Samson and others}, booktitle = {Handbook of Logic in Computer Science}, publisher = {Oxford University Press}, volume = 3, year = 1994, pages = {1--168}} @book{AczelP:nonwfs, author = {Aczel, Peter}, title = {Non-well-founded Sets}, publisher = {Center for the Study of Language and Information, Stanford University}, series = {Lecture Notes}, number = 14, year = 1988, isbn = {511.322 3 / 0937073229}} @book{AdamekJ:locpac, author = {Ad{\'a}mek, Ji{\v r}i and Rosick{\'y}, Ji{\v r}i}, title = {Locally Presentable and Accessible Categories}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 189, year = 1994, isbn = {0-521-42261-2}} @article{AgeronP:logs, author = {Ageron, Pierre}, title = {The Logic of Structures}, journal = {Journal of Pure and Applied Algebra}, volume = 79, year = 1992, pages = {15--34}} @inproceedings{StreicherT:catrrf, author = {Altenkirch, Thorsten and Hofmann, Martin and Streicher, Thomas}, title = {Categorical Reconstruction of a Reduction-Free Normalisation Proof}, editor = {Johnstone, Peter and Pitt, David and Rydeheard, David}, booktitle = {Category Theory and Computer Science {VI}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 953, year = 1995, pages = {182--199}, isbn = 3540601643} @book{AmadioRW:domlc, author = {Amadio, Roberto and Curien, Pierre-Louis}, title = {Domains and Lambda-Calculi}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, number = 46, year = 1998, isbn = {0 521 62277 8}} @book{AppelAW:comwc, author = {Appel, Andrew}, title = {Compiling with Continuations}, publisher = {Cambridge University Press}, year = 1992, pages = {205--214}, isbn = {005.453 13 / 0521416957}} @proceedings{GrothendieckA:semga4, title = {S{\'e}minaire de G{\'e}ometrie Alg{\'e}brique,~{IV}: Th\'eorie des Topos}, editor = {Artin, Michael and Grothendieck, Alexander and Verdier, Jean-Louis}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = {269--270}, year = 1964, note = {Second edition, 1972}, review = {MR 50/7130--1}} @inproceedings{BaezJC:intnc, author = {Baez, John}, title = {An Introduction to $n$-Categories}, editor = {Moggi, Eugenio and Rosolini, Giuseppe}, booktitle = {Category Theory and Computer Science~{VII}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 1290, year = 1997, pages = {1--33}} @book{BarendregtHP:lamcss, author = {Barendregt, Henk}, title = {The Lambda Calculus: its Syntax and Semantics}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 103, year = 1981, note = {Second edition, 1984}, isbn = {0-444-87508-5}} @incollection{BarendregtHP:lamct, author = {Barendregt, Henk}, title = {Lambda Calculi with Types}, editor = {Abramsky, Samson and others}, booktitle = {Handbook of Logic in Computer Science}, publisher = {Oxford University Press}, volume = 2, year = 1992, pages = {117--309}, isbn = 0198537611} @proceedings{BarHillelY:essfm, title = {Essays of the Foundations of Mathematics}, editor = {Bar-Hillel, Yehoshua and Poznanski, E. I. J. and Rabin, M. O. and Robinson, Abraham}, booktitle = {Essays on the Foundations of Mathematics}, publisher = {Magnes Press, Hebrew University}, year = 1966, note = {Distributed by Oxford University Press}} @inproceedings{BeckJ:LNM80, author = {Barr, Michael and Beck, Jon}, title = {Homology and Standard Constructions}, pages = {245--335}, crossref = {EckmannB:semtch}} @book{BarrM:exaccs, title = {Exact Categories and Categories of Sheaves}, editor = {Barr, Michael and Grillet, Pierre and van Osdol, Donovan}, booktitle = {Exact Categories and Categories of Sheaves}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 236, year = 1971, isbn = 3540056785} @book{BarrM:staac, author = {Barr, Michael}, title = {{$*$}-Autonomous Categories}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 752, year = 1979} @book{BarrM:toptt, author = {Barr, Michael and Wells, Charles}, title = {Toposes, Triples, and Theories}, publisher = {Springer-Verlag}, series = {Grundlehren der mathematischen {W}issenschaften}, number = 278, year = 1985, isbn = {0-387-96115-1 and 3-540-96115-1}, callno = {512.86 B26t}, lccn = {QA169 .B346 1985}} @book{BarrM:cattcs, author = {Barr, Michael and Wells, Charles}, title = {Category Theory for Computing Science}, publisher = {Prentice-Hall}, series = {International Series in Computer Science}, year = 1990, note = {Second edition, 1995}, isbn = {0-13-120486-6}, lccn = {QA76.9.M35B37 1990}} @article{BarrM:autcll, author = {Barr, Michael}, title = {{$*$}-{A}utonomous Categories and Linear Logic}, journal = {Mathematical Structures in Computer Science}, volume = 1, year = 1991, pages = {159--178}} @book{BarwiseJ:hanml, title = {Handbook of Mathematical Logic}, editor = {Barwise, Jon}, booktitle = {Handbook of Mathematical Logic}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 90, year = 1977, isbn = {0 444 863888 5}, lib_congress = {QA9.H32 511'.3 76-26032}} @book{BeesonMJ:foucm, author = {Beeson, Michael}, title = {Foundations of Constructive Mathematics: Metamathematical Studies}, publisher = {Springer-Verlag}, series = {Ergebnisse der Mathematik und ihrer Grenzgebiete}, number = 6, year = 1980, note = {Second edition, 1985}, isbn = 0387121730} @book{BellJL:toplst, author = {Bell, John Lane}, title = {Toposes and Local Set Theories: an Introduction}, publisher = {Oxford University Press}, series = {Logic Guides}, number = 14, year = 1988} @article{BenabouJ:fibcfn, author = {B{\'e}nabou, Jean}, title = {Fibred Categories and the Foundations of \Naive Category Theory}, journal = {Journal of Symbolic Logic}, volume = 50, year = 1985, pages = {10--37}} @book{BenacerrafP:phimsr, title = {Philosophy of Mathematics: Selected Readings}, editor = {Benacerraf, Paul and Putnam, Hilary}, booktitle = {Philosophy of Mathematics: Selected Readings}, publisher = {Prentice-Hall}, year = 1964, note = {Second edition, Cambridge University Press, 1983}, isbn = {0 521 22796 8}} @incollection{BenacerrafP:whancn, author = {Benacerraf, Paul}, title = {What Numbers could not be}, pages = {272--294}, crossref = {BenacerrafP:phimsr}} @article{BernaysP:plam, author = {Bernays, Paul}, title = {Sur le Platonisme dans les Math\'ematiques}, journal = {Enseignement Math\'ematique}, volume = 34, year = 1935, pages = {52--69}, note = {English translation, ``Platonism in Mathematics'' in \cite{BenacerrafP:phimsr}, pages 258--271}} @book{BibelW:auttp, author = {Bibel, Wolfgang}, title = {Automated Theorem Proving}, publisher = {Friedrich Vieweg \& Sohn}, address = {Braunschweig}, year = 1982, note = {Second edition, 1987}} @book{BirkhoffG:surma, author = {Birkhoff, Garrett and Mac Lane, Saunders}, title = {A Survey of Modern Algebra}, publisher = {MacMillan}, address = {New York}, year = 1941, note = {Fourth edition, 1977}, isbn = 0023100702} @inproceedings{BirkhoffG:risma, author = {Birkhoff, Garrett}, title = {The Rise of Modern Algebra}, booktitle = {Men and Institutions in {A}merican Mathematics}, editor = {Tarwater, Jan Dalton and White, John and Miller, John}, publisher = {Texas Technical University}, year = 1976, pages = {41--86}, brit_lib = {YA.1987.b.5020}} @book{BishopE:cona, author = {Bishop, Errett and Bridges, Douglas}, title = {Constructive Analysis}, publisher = {Springer-Verlag}, series = {Grundlehren der mathematischen {W}issenschaften}, number = 279, year = 1985, isbn = 3540150668} @book{BlackM:natm, author = {Black, Max}, title = {The Nature of Mathematics, a Critical Survey}, publisher = {Kegan Paul}, series = {International Library of Psychology}, year = 1933} @book{BochenskiI:ancfl, author = {Bochenski, Josef}, title = {Ancient Formal Logic}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1951} @book{BoehnerP:medlod, author = {Boehner, Philotheus}, title = {Medieval Logic: an Outline of its Development from 1250 to c.1400}, publisher = {Manchester University Press}, year = 1952} @book{BoehnerP:colao, author = {Boehner, Philotheus}, title = {Collected articles on {O}ckham}, publisher = {Franciscan Institute}, year = 1958, note = {Edited by Elio Marie Buytaert}} @book{BolzanoB:pare, author = {Bolzano, Bernard}, title = {Paradoxien des {U}ndlichen}, year = 1851, note = {English translation, ``Paradoxes of the Infinite'' by Fr. Prihonsky, published by Routledge, 1950}} @book{BoolosGS:coml, author = {Boolos, George and Jeffrey, Richard}, title = {Computability and Logic}, publisher = {Cambridge University Press}, year = 1974, note = {Third edition, 1989}, isbn = {052120402X}} @book{BoolosG:logp, author = {Boolos, George}, title = {The Logic of Provability}, publisher = {Cambridge University Press}, year = 1993, lccn = {BC199.M6B65 92-43610}, isbn = 052143328} @book{BoolosG:logll, author = {Boolos, George}, title = {Logic, Logic and Logic}, publisher = {Harvard University Press}, year = 1998, note = {Edited by Richard Jeffrey}, isbn = 0674537661} @book{BorceuxF:hanca, author = {Borceux, Francis}, title = {Handbook of Categorical Algebra}, publisher = {Cambridge University Press}, series = {Encyclopedia of Mathematics and its Applications}, number = 50, year = 1994, note = {Three volumes}, isbn = {0521441781 052144179X 0521441803}} @book{BourbakiN:elemte, author = {Bourbaki, Nicolas}, title = {El\'ements de Math\'ematique {XXII}: Th\'eories des Ensembles, Livre {I}, Structures}, publisher = {Hermann}, series = {Actualit\'es scientifiques et industrielles}, number = 1258, year = 1957, note = {English translation, ``Theory of Sets\tuck,'' 1968}} @book{BoyerCB:hism, author = {Boyer, Carl}, title = {A History of Mathematics}, publisher = {Wiley}, year = 1968, note = {Revised edition by Uta Merzbach, Wiley, 1989}, isbn = 0471097632} @book{BoyerRS:comlh, author = {Boyer, Robert and Moore, J. Strother}, title = {A Computational Logic Handbook}, publisher = {Academic Press}, series = {Perspectives in Computing}, number = 23, year = 1988, isbn = 0121229521} @book{BrouwerLEJ:colw, author = {Brouwer, Jan}, title = {Collected Works: Philosophy and Foundations of Mathematics}, booktitle = {Collected Works}, publisher = {North-Holland}, volume = 1, year = 1975, note = {Edited by Arend Heyting}, isbn = 0444104747} @book{BrouwerLEJ:brocli, author = {Brouwer, Jan}, title = {Brouwer's {C}ambridge Lectures on Intuitionism}, publisher = {Cambridge University Press}, year = 1981, note = {Edited by Dirk van Dalen}} @proceedings{HilbertD:matpld, title = {Mathematical Developments Arising from Hilbert Problems}, editor = {Browder, Felix}, publisher = {American Mathematical Society}, series = {Proceedings of Symposia in Pure Mathematics}, number = 28, year = 1976} @article{BrownR:grogbs, author = {Brown, Ronald}, title = {From Groups to Groupoids: a Brief Survey}, journal = {Bulletin of the London Mathematical Society}, volume = 19, year = 1987, pages = {113--134}} @book{BrownR:topgag, author = {Brown, Ronald}, title = {Topology: a Geometric Account of General Topology, Homotopy Types and the Fundamental Groupoid}, publisher = {Ellis Horwood}, series = {Mathematics and its Applications}, year = 1988, note = {First edition ``Elements of modern topology\tuck,'' 1968}, isbn = 0745802311} @book{BurrisS:couua, author = {Burris, Stanley and Sankappanavar, H. P.}, title = {A Course in Universal Algebra}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 78, year = 1981, isbn = 0387905782} @article{BurroniA:algg, author = {Burroni, Albert}, title = {Alg{\`e}bres Graphiques}, journal = {Cahiers de Topologie et G{\'e}om{\'e}trie Diff{\'e}rentielle}, volume = {XXII}, year = 1981} @book{CajoriF:hism, author = {Cajori, Florian}, title = {A History of Mathematics}, publisher = {MacMillan}, year = 1893, note = {Fifth edition, Chelsea, N.Y., 1991}, isbn = 0828423036, comment = {1924; Macmillan, 1926.2nd ed., revised and enlarged.}} @book{CajoriF:hismn, author = {Cajori, Florian}, title = {A History of Mathematical Notations}, publisher = {Open Court}, year = 1928, note = {Reprinted by Dover, 1993}} @book{CameronPJ:inta, author = {Cameron, Peter}, title = {Introduction to Algebra}, publisher = {Oxford University Press}, year = 1998, isbn = 0198501943} @book{CantorG:conftf, author = {Cantor, Georg}, title = {Contributions to the Founding of the Theory of Transfinite Numbers}, publisher = {Open Court}, year = 1915, note = {Translated and edited by Philip Jourdain; reprinted by Dover, 1955}} @book{CantorG:gesamp, author = {Cantor, Georg}, title = {Gesammelte {A}bhandlungen mathematischen und philosophischen {I}nhalts}, publisher = {Springer-Verlag}, year = 1932, note = {Edited by Ernst Zermelo; reprinted by Olms, Hildeshaim, 1962}} @proceedings{CarboniA:comctc, title = {Proceedings of the 1990 Como Category Theory Conference}, editor = {Carboni, Aurelio and Peddicchio, Maria-Cristina and Rosolini, Giuseppe}, booktitle = {Proceedings 1990 Como Category Theory Conference}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 1488, year = 1991} @article{WaltersRFC:inteds, author = {Carboni, Aurelio and Lack, Steve and Walters, Robert}, title = {Introduction to extensive and distributive categories}, journal = {Journal of Pure and Applied Algebra}, volume = 84, year = 1993, pages = {145--158}} @book{CarnapR:logss, author = {Carnap, Rudolf}, title = {Logische {S}yntax der {S}prache}, address = {Vienna}, year = 1934, note = {English translation by Amethe Smeaton, ``The Logical Syntax of Language\tuck,'' Kegan Paul, 1937}} @book{CartanH:homa, author = {Cartan, Henri and Eilenberg, Sammy}, title = {Homological Algebra}, publisher = {Princeton University Press}, year = 1956} @article{CartmellJ:genatc, author = {Cartmell, John}, title = {Generalised Algebraic Theories and Contextual Categories}, journal = {Annals of Pure and Applied Logic}, volume = 32, year = 1986, pages = {209--243}, qmwlib = {bay 177}} @book{ChangCC:modt, author = {Chang, Chen Chung and Keisler, Jerome}, title = {Model Theory}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 73, year = 1973, note = {Third edition, 1990}, isbn = {0720406927 0444880542}} @book{ChapmanJ:relctg, author = {Chapman, Jon and Rowbottom, Frederick}, title = {Relative Category Theory and Geometric Morphisms: a Logical Approach}, publisher = {Oxford University Press}, series = {Logic Guides}, number = 16, year = 1992, isbn = 0198534345} @book{Church:intml, author = {Church, Alonso}, title = {Introduction to Mathematical Logic}, publisher = {Princeton University Press}, year = 1956} @article{CockettJRB:intdc, author = {Cockett, Robin}, title = {Introduction to distributive categories}, journal = {Mathematical Structures in Computer Science}, volume = 3, year = 1993, pages = {277--307}} @proceedings{CohenAM:somtca, title = {Some Tapas of Computer Algebra}, editor = {Cohen, A. M. and Cuypers, H. and Sterk, H.}, booktitle = {Some Tapas of Computer Algebra}, publisher = {Springer-Verlag}, series = {Algorithms and Computation in Mathematics}, number = 4, year = 1998, isbn = {3-540-63480-0}, keywords = {Computer algebra; Symbolic Computation, Computer Algebra, Algebraic Manipulation; Written for students and researchers in mathematics and computer science}} @book{CohenPJ:settch, author = {Cohen, Paul}, title = {Set Theory and the Continuum Hypothesis}, publisher = {W.A.~Benjamin}, year = 1966, review = {MR 38/999}} @book{CohnPM:alg2, author = {Cohn, Paul}, title = {Algebra}, publisher = {Wiley}, volume = 2, year = 1977, isbn = {0-471-01823-6}, libcongress = {73--2780}} @book{CohnPM:unia, author = {Cohn, Paul}, title = {Universal Algebra}, publisher = {Reidel}, series = {Mathematics and its Applications}, number = 6, year = 1981, note = {Originally published by Harper and Row, 1965}, isbn = {90-277-1213-1}, libcong = {80--29568}} @book{ConwayJH:regafm, author = {Conway, John Horton}, title = {Regular Algebra and Finite Machines}, publisher = {Chapman and Hall}, year = 1971, isbn = 0412106205} @book{ConwayJH:onng, author = {Conway, John Horton}, title = {On Numbers and Games}, publisher = {Academic Press}, series = {London Mathematical Society Monographs}, number = 6, year = 1976, isbn = 0121863506} @article{CoquandTFH:calc, author = {Coquand, Thierry and Huet, G{\'e}rard}, title = {The Calculus of Constructions}, journal = {Information and Computation}, volume = 76, year = 1988, pages = {95--120}} @incollection{CoquandTFH:meticc, author = {Coquand, Thierry}, title = {Metamathematical Investigations of a Calculus of Constructions}, pages = {91--122}, crossref = {OdifreddiP:logcs}} @incollection{CoquandTFH:anabpt, author = {Coquand, Thierry}, title = {On the Analogy between Propositions and Types}, editor = {Huet, G{\'e}rard}, booktitle = {Logical Foundations of Functional Programming}, publisher = {Addison-Wesley}, year = 1990, pages = {399--418}, labels = {anabpt}} @inproceedings{CoquandTFH:comccl, author = {Coquand, Thierry}, title = {Computational Content of Classical Logic}, pages = {33--78}, crossref = {PittsAM:semlc}} @inproceedings{CosteM:locssp, author = {Coste, Michel}, title = {Localisation, Spectra and Sheaf Representation}, year = 1979, pages = {212--238}, crossref = {FourmanMP:apps}} @book{CouturatL:primap, author = {Couturat, Louis}, title = {Les Principes des Math\'ematiques, avec un Appendice sur le Philosophie de Kant}, year = 1905} @article{CroleRL:newffcff, author = {Crole, Roy and Pitts, Andrew}, title = {New Foundations for Fixpoint Computations: {FIX}-Hyperdoctrines and the {FIX}-Logic}, journal = {Information and Computation}, volume = 98, year = 1992, pages = {171--210}} @book{CroleRL:catt, author = {Crole, Roy}, title = {Categories for Types}, publisher = {Cambridge University Press}, series = {Cambridge Mathematical Textbooks}, year = 1993, isbn = 0521450926} @article{CubricD:norye, author = {{\protect\v C}ubri{\'c}, Djordje and Dybjer, Peter and Scott, Philip}, title = {Normalisation and the {Y}oneda Embedding}, journal = {Mathematical Structures in Computer Science}, volume = 8, year = 1998, pages = {153--192}} @book{CurienPL:catcsa, author = {Curien, Pierre-Louis}, title = {Categorical Combinators, Sequential Algorithms, and Functional Programming}, publisher = {Pitman}, series = {Research Notes in Theoretical Computer Science}, year = 1986, note = {Second edition, Birkh{\"a}user, Progress in Theoretical Computer Science, 1993}, isbn = 0470202904} @book{CurryHB:coml1, author = {Curry, Haskell and Feys, Robert}, title = {Combinatory Logic {I}}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1958, note = {Volume II, with Jonathan Seldin, 1972}} @book{CurryHB:fouml, author = {Curry, Haskell}, title = {Foundations of Mathematical Logic}, publisher = {McGraw--Hill}, year = 1963, note = {Republished by Dover, 1977}} @proceedings{CurryHB:hbcecl, title = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}, editor = {Curry, Haskell and Seldin, Jonathan and Hindley, Roger}, booktitle = {To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism}, publisher = {Academic Press}, year = 1980, isbn = 0123490502} @book{DaubenJW:geocmp, author = {Dauben, Joseph Warren}, title = {Georg {C}antor: his Mathematics and Philosophy of the Infinite}, publisher = {Harvard University Press}, year = 1979, isbn = 0674348710} @book{DavenportJH:comasa, author = {Davenport, James and Siret, Y. and Tournier, E.}, title = {Computer Algebra: Systems and Algorithms for Algebraic Computation}, publisher = {Academic Press}, year = 1988, note = {Translated from French; third edition 1993}, isbn = {0-12-204230-1}} @book{DaveyBA:intlo, author = {Davey, B. A. and Priestley, Hilary}, title = {Introduction to Lattices and Order}, publisher = {Cambridge University Press}, year = 1990} @book{DavisM:undbpu, author = {Davis, Martin}, title = {The Undecidable. Basic Papers on Undecidable, Unsolvable Problems and Computable Functions}, publisher = {Raven Press}, address = {Hewlett, N.Y.}, year = 1965} @inproceedings{deBruijnNG:aut, author = {de Bruijn, Nikolas}, title = {A Survey of the project {A}utomath}, pages = {579--606}, crossref = {CurryHB:hbcecl}} @book{DedekindJWR:steiz, author = {Dedekind, J. W. Richard}, title = {Stetigkeit und irrationale {Z}ahlen}, publisher = {Braunschweig}, year = 1872, note = {Reprinted in \cite{DedekindJWR:gesmw}, pages 315--334; English translation, ``Continuity and Irrational Numbers'' in \cite{DedekindJWR:esstn}}} @book{DedekindJWR:wasssz, author = {Dedekind, J. W. Richard}, title = {Was sind und was sollen die {Z}ahlen?}, publisher = {Braunschweig}, year = 1888, note = {Reprinted in \cite{DedekindJWR:gesmw}, pages 335--391; English translation, ``The Nature and Meaning of Numbers'' in \cite{DedekindJWR:esstn}}} @book{DedekindJWR:esstn, author = {Dedekind, J. W. Richard}, title = {Essays on the theory of numbers}, publisher = {Open Court}, year = 1901, note = {English translations by Wooster Woodruff Beman; republished by Dover, 1963}} @book{DedekindJWR:gesmw, author = {Dedekind, J. W. Richard}, title = {Gesammelte mathematische {W}erke}, publisher = {Vieweg, Braunschweig}, volume = 3, year = 1932, note = {Edited by Robert Fricke, Emmy Noether and \O ystein Ore; republished by Chelsea, New York, 1969}} @book{DetlefsenM:hilpem, author = {Detlefsen, Michael}, title = {Hilbert's Program: an Essay on Mathematical Instrumentalism}, publisher = {Reidel}, series = {Synthese Library}, number = 182, year = 1986, isbn = 9027721513} @book{DieudonneJA:panmpc, author = {Dieudonn{\'e}, Jean Alexandre}, title = {Panorama des Math{\'e}matiques Pures: la Choix {B}ourbachique}, publisher = {Gauthier-Villars}, year = 1977, note = {English translation, ``A panorama of pure mathematics, as seen by N. Bourbaki'' by I. G. Macdonald, Academic Press, Pure and Applied Mathematics, 97, 1982}, isbn = 0122155602} @book{DieudonneJA:hisadt, author = {Dieudonn{\'e}, Jean Alexandre}, title = {A History of Algebraic and Differential Topology 1900--1960}, publisher = {Birkh{\"a}user}, year = 1988, isbn = {376433388X}} @book{Dold:homa, author = {Dold, Albrecht}, title = {Lectures on Algebraic Topology}, publisher = {Springer-Verlag}, series = {Grundlehren der mathematischen Wissenschaften}, number = 200, year = 1972, isbn = 3540057773} @book{DummettMAE:elei, author = {Dummett, Michael}, title = {Elements of Intuitionism}, publisher = {Oxford University Press}, series = {Logic Guides}, year = 1977, isbn = 0198531583} @book{DummettM:truoe, author = {Dummett, Michael}, title = {Truth and Other Enigmas}, publisher = {Duckworth}, address = {London}, year = 1978} @article{DyckhoffR:expmpp, author = {Dyckhoff, Roy and Tholen, Walter}, title = {Exponentiable Maps, Partial Products and Pullback Complements}, journal = {Journal of Pure and Applied Algebra}, volume = 49, year = 1987, pages = {103--116}} @proceedings{EckmannB:semtch, title = {Seminar on Triples and Categorical Homology Theory}, editor = {Eckmann, Beno}, booktitle = {Seminar on Triples and Categorical Homology Theory}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 80, year = 1969} @book{EhresmanC:oevcc, author = {Ehresman, Charles}, title = {\OE uvres compl\`etes et comment\'ees}, publisher = {Amiens}, year = {1980--84}, note = {Edited by Andr\'ee Charles Ehresmann; published as supplements to volumes 21--24 of \textit{Cahiers de topologie et g\'eom\'etrie diff\'erentielle}}} @inproceedings{EhrhardtT:catsc, author = {Ehrhardt, Thomas}, title = {Categorical Semantics of Constructions}, editor = {Gurevich, Yuri}, booktitle = {Logic in Computer Science~{III}}, publisher = {IEEE Computer Society Press}, year = 1988, pages = {264--273}} @inproceedings{EhrhardtT:dic, author = {Ehrhardt, Thomas}, title = {Dictoses}, pages = {213--223}, crossref = {PittD:cattcs3}} @book{EilenbergS:fouat, author = {Eilenberg, Sammy and Steenrod, Norman}, title = {Foundations of Algebraic Topology}, publisher = {Princeton University Press}, year = 1952} @proceedings{EilenbergS:catcfm, title = {Categorical Algebra (La Jolla, 1965)}, editor = {Eilenberg, Sammy and Harrison, D. K. and Mac Lane, Saunders and R{\"o}hrl, Helmut}, booktitle = {Categorical Algebra (La Jolla, 1965)}, publisher = {Springer-Verlag}, year = 1966, callno = {512.86 C74p}, qmwlib = {QA169 CON}} @inproceedings{EilenbergS:cloc, author = {Eilenberg, Sammy and Kelly, Max}, title = {Closed Categories}, crossref = {EilenbergS:catcfm}} @book{EilenbergS:rec, author = {Eilenberg, Sammy and Elgot, Calvin}, title = {Recursiveness}, publisher = {Academic Press}, year = 1970} @book{EilenbergS:eilmlc, author = {Eilenberg, Sammy and Mac Lane, Saunders}, title = {Eilenberg--{M}ac {L}ane, Collected Works}, publisher = {Academic Press}, year = 1986, isbn = 0122340205} @book{FauvelJG:hismr, author = {Fauvel, John and Gray, Jeremy}, title = {The History of Mathematics, a Reader}, publisher = {Macmillan and the Open University}, year = 1987, isbn = {0-333-42790-4, 0-333-42791-2}} @proceedings{FenstadJE:scalc2, title = {Second Scandinavian Logic Symposium}, editor = {Fenstad, Jens Erik}, booktitle = {Second Scandinavian Logic Symposium}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 63, year = 1971} @book{FerysR:dic, author = {Feys, Richard and Fitch, Frederic}, title = {Dictionary of Symbols of Mathematical Logic}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1969} @article{FioreMP:domdsh, author = {Fiore, Marcelo and Jung, Achim and Moggi, Eugenio and O'Hearn, Peter and Riecke, Jon and Rosolini, Giuseppe and Stark, Ian}, title = {Domains and Denotational Semantics: History, Accomplishments and Open Problems}, journal = {Bulletin of the EATCS}, volume = 59, year = 1996, pages = {227--256}, url = {http://www.brics.dk/~stark/papers/domdsh.html}} @book{FitchFB:symli, author = {Fitch, Frederic Benton}, title = {Symbolic Logic: an Introduction}, publisher = {Ronald Press}, address = {New York}, year = 1952} @book{FittingMC:intlmt, author = {Fitting, Melvin}, title = {Intuitionistic Logic, Model Theory and Forcing}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1969} @inproceedings{FloydR:assmp, author = {Floyd, Robert}, title = {Assigning Meaning to Programs}, editor = {Schwartz, J. T.}, booktitle = {Mathematical Aspects of Computer Science}, publisher = {American Mathematical Society}, series = {Proceedings of Symposia in Applied Mathematics}, number = 19, year = 1967, pages = {19--32}} @proceedings{FourmanMP:apps, title = {Applications of Sheaves}, editor = {Fourman, Michael and Mulvey, Chris and Scott, Dana}, booktitle = {Applications of Sheaves}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 753, year = 1979} @proceedings{FourmanMP:appccs, title = {Applications of categories in computer science}, editor = {Fourman, Michael and Johnstone, Peter and Pitts, Andrew}, booktitle = {Applications of categories in computer science}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 177, year = 1992} @book{FowlerD:matpa, author = {Fowler, David}, title = {The Mathematics of {P}lato's {A}cademy: a New Reconstruction}, publisher = {Oxford University Press}, year = 1987, isbn = 0198539126} @book{FraenkelA:foust, author = {Fraenkel, Abraham and Bar-Hillel, Yehoshua}, title = {Foundations of Set Theory}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1958} @book{FregeG:trapwg, author = {Frege, Gottlob}, title = {Translations from the Philosophical Writings of {G}ottlob {F}rege}, publisher = {Blackwell}, year = 1960, note = {Edited by Peter Geach and Max Black; third edition, 1980}} @book{FregeG:colpml, author = {Frege, Gottlob}, title = {Collected Papers on Mathematics, Logic and Philosophy}, publisher = {Blackwell}, year = 1984, note = {Edited by Brian McGinness}} @book{FreydPJ:abec, author = {Freyd, Peter}, title = {Abelian Categories: an Introduction to the Theory of Functors}, publisher = {Harper and Row}, year = 1964} @inproceedings{FreydPJ:thefm, author = {Freyd, Peter}, title = {The Theory of Functors and Models}, editor = {Addison, John and Henkin, Leon and Tarski, Alfred}, booktitle = {Theory of Models}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1966, pages = {107--120}} @article{FreydPJ:aspt, author = {Freyd, Peter}, title = {Aspects of Topoi}, journal = {Bulletin of the Australian Mathematical Society}, volume = 7, year = 1972, pages = {1--76 and 467--480}} @article{FreydPJ:catcf1, author = {Freyd, Peter and Kelly, Max}, title = {Categories of Continuous Functors,~{I}}, journal = {Journal of Pure and Applied Algebra}, volume = 2, year = 1972, pages = {169--191}} @book{FreydPJ:cata, author = {Freyd, Peter and Scedrov, Andre}, title = {Categories, Allegories}, publisher = {North-Holland}, series = {Mathematical Library}, number = 39, year = 1990, isbn = 0444703683} @inproceedings{FreydPJ:algcc, author = {Freyd, Peter}, title = {Algebraically Complete Categories}, pages = {95--104}, crossref = {CarboniA:comctc}} @book{GabrielP:lokpk, author = {Gabriel, Peter and Ulmer, Fritz}, title = {Lokal pr{\"a}sentierbare {K}ategorien}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 221, year = 1971} @book{GalileiG:2ns, author = {Galilei, Galileo}, title = {Two New Sciences}, year = 1638, note = {Translated by Stillman Drake, University of Wisconsin Press, 1974; Re-published by Wall \& Thompson, 1989}, isbn = 0921332203} @book{GallierJH:logcs, author = {Gallier, Jean}, title = {Logic for Computer Science: Foundations of Automated Theorem Proving}, publisher = {Harper and Row}, series = {Computer Science and Technology Series}, year = 1986, note = {Republished by Wiley, 1987}} @article{GandyRO:axie, author = {Gandy, Robin}, title = {On the axiom of extensionality}, journal = {Journal of Symbolic Logic}, volume = 21, year = 1956, pages = {36--48 and 24:287--300}} @article{GentzenG:untls, author = {Gentzen, Gerhard}, title = {Untersuchungen {\"u}ber das {L}ogische {S}chliessen}, journal = {Mathematische Zeitschrift}, volume = 39, year = 1935, pages = {176--210 and 405--431}, note = {English translation in \cite{GentzenG:colpgg}, pages 68--131.}} @book{GentzenG:colpgg, author = {Gentzen, Gerhard}, title = {The Collected Papers of {G}erhard {G}entzen}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1969, note = {Edited by M. E. Szabo}} @book{GierzGK:comcl, author = {Gierz, Gerhard and Hoffmann, Karl Heinrich and Keimel, Klaus and Lawson, Jimmie and Mislove, Michael and Scott, Dana}, title = {A Compendium of Continuous Lattices}, publisher = {Springer-Verlag}, year = 1980, isbn = {354010111X}} @book{GilliesDA:fredpf, author = {Gillies, Donald}, title = {Frege, {D}edekind and {P}eano on the Foundations of Arithmetic}, publisher = {Van Gorcum}, series = {Methodology and Science Foundation}, number = 2, year = 1982} @incollection{GirardJY:uneelg, author = {Girard, Jean-Yves}, title = {Une extension de l'interpretation de {G\"odel} {\`a} l'analyse, et son application {\`a} l'{\'e}limination des coupures dans l'analyse et la th{\'e}orie des types}, pages = {63--92}, crossref = {FenstadJE:scalc2}} @article{GirardJY:linl, author = {Girard, Jean-Yves}, title = {Linear Logic}, journal = {Theoretical Computer Science}, volume = 50, year = 1987, pages = {1--102}} @book{GirardJY:protlc, author = {Girard, Jean-Yves}, title = {Proof Theory and Logical Complexity}, publisher = {Bibliopolis}, volume = 1, year = 1987, isbn = 8870881237} @book{GirardJY:prot, author = {Girard, Jean-Yves and Lafont, Yves and Taylor, Paul}, title = {Proofs and Types}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, number = 7, year = 1989} @book{GiraudJ:cohna, author = {Giraud, Jean}, title = {Cohomologie non-ab\'elienne}, publisher = {Springer-Verlag}, series = {Grundlehren der mathematischen {W}issenschaften}, number = 179, year = 1971, isbn = 3540053077} @inproceedings{GiraudJ:clat, author = {Giraud, Jean}, title = {Classifying Topos}, pages = {43--56}, crossref = {LawvereFW:topagl}} @article{GodelK:ubefus, author = {G{\"o}del, Kurt}, title = {{\"U}ber formal unentscheidbare {S}{\"a}tze der {P}rincipia {M}athematica und verwandter {S}ysteme {I}}, journal = {Monatshefte f{\"u}r Mathematik und Physik}, volume = 38, year = 1931, pages = {173--198}, note = {English translations, ``On Formally Undecidable Propositions of `{P}rincipia {M}athematica' and Related Systems'' published by Oliver and Boyd, 1962 and Dover, 1992; also in \cite{vanHeijenoortJ:frofgs}, pages 596--616; also in \cite{DavisM:undbpu}, pages 5--38}} @book{GodelK:colw, author = {G{\"o}del, Kurt}, title = {Kurt G{\"o}del: Collected Works}, booktitle = {Kurt G{\"o}del: Collected Works}, publisher = {Oxford University Press}, year = 1980, note = {Edited by Solomon Feferman and others}, isbn = 0195039645} @book{Godement:topatf, author = {Godement, Roger}, title = {Topologie Algebrique et Theorie des Faisceaux}, publisher = {Hermann}, year = 1958, isbn = 2705612521} @book{GoldblattR::topcal, author = {Goldblatt, Robert}, title = {Topoi: The Categorial Analysis of Logic}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 98, year = 1979, note = {Third edition, 1983}, isbn = 0444852077} @book{GrattanGuinnessI:frocst, title = {From the Calculus to Set Theory, 1630--1910: an Introductory History}, editor = {Grattan-Guinness, Ivor}, publisher = {Duckworth}, address = {London}, year = 1980} @book{GrattanGuinnessI:fonhms, title = {The {F}ontana History of the Mathematical Sciences: the Rainbow of Mathematics}, author = {Grattan-Guinness, Ivor}, publisher = {Fontana}, address = {London}, year = 1997} @book{GratzerG:unia, author = {Gr{\"a}tzer, George}, title = {Universal Algebra}, publisher = {Van Nostrand}, year = 1968} @inproceedings{GrayJW:fibcc, author = {Gray, John}, title = {Fibred and Cofibred Categories}, pages = {21--83}, crossref = {EilenbergS:catcfm}} @inproceedings{GrayW:frahst, author = {Gray, John}, title = {Fragments of the History of Sheaf Theory}, pages = {1--79}, crossref = {FourmanMP:apps}} @proceedings{GrayJW:catcsl, title = {Categories in Computer Science and Logic}, editor = {Gray, John and Scedrov, Andre}, booktitle = {Categories in Computer Science and Logic}, publisher = {American Mathematical Society}, series = {Contemporary Mathematics}, number = 92, year = 1989, isbn = 0821851004} @proceedings{GrothendieckA:semga1, title = {S{\'e}minaire de G{\'e}ometrie Alg{\'e}brique, {I} (1960/1)}, editor = {Grothendieck, Alexander}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 224, year = 1964} @book{GunterCA:sempls, author = {Gunter, Carl}, title = {Semantics of Programming Languages: Structures and Techniques}, publisher = {MIT Press}, series = {Foundations of Computing}, year = 1992, isbn = 0262071436, lib_congr = {QA76.7.G86 1992 005.13--dc20 92-10172}} @book{HalmosPR:naist, author = {Halmos, P{\'a}l}, title = {\Naive Set Theory}, publisher = {Van Nostrand}, year = 1960, note = {Reprinted by Springer-Verlag, Undergraduate Texts in Mathematics, 1974}, isbn = 0387900926} @book{HardyGH:mata, author = {Hardy, G. H.}, title = {A Mathematician's Apology}, publisher = {Cambridge University Press}, year = 1940, note = {Reprinted 1992}} @book{HatcherWS:logfm, author = {Hatcher, William}, title = {The Logical Foundations of Mathematics}, publisher = {Pergamon Press}, series = {Foundations and Philosophy of Science and Technology}, year = 1982, isbn = {0-08-025800-x}} @book{HausdorffF:grum, author = {Hausdorff, Felix}, title = {{M}engenlehre}, year = 1914, note = {English translation, ``Set Theory\tuck,'' published by Chelsea, 1962}} @book{HeckA:intm, author = {Heck, Andr{\'e}}, title = {Introduction to {Maple}}, publisher = {Springer-Verlag}, year = 1993, note = {Second edition, 1996}, isbn = {0-387-97662-0, 3-540-97662-0}, lccn = {QA155.7.E4H43 1993}, mrclass = {68Q40 (68T20)}, mrnumber = {94e:68087}} @book{HeinzmannG:poirzp, title = {Poincar{\'e}, {R}ussell, {Z}ermelo et {P}eano: Textes de la Discussion (1906--1912) sur les Fondements des Math{\'e}matiques: des Antinomies {\`a} la Pr\'edicativit{\'e}}, editor = {Heinzmann, Gerhard}, booktitle = {Poincar{\'e}, {R}ussell, {Z}ermelo at {P}eano: Textes de la Discussion (1906--1912) sur les Fondements des Math{\'e}matiques: des Antinomies {\`a} la Pr\'edicativit{\'e}}, publisher = {Albert Blanchard}, address = {Paris}, year = 1986} @article{HennesseyM:alglnd, author = {Hennessey, Matthew and Milner, Robin}, title = {Algebraic Laws for Non-determinism and Concurrency}, journal = {Journal of the ACM}, volume = 32, year = 1975, pages = {137--161}} @book{HennessyM:algtp, author = {Hennessy, Matthew}, title = {Algebraic Theory of Processes}, publisher = {MIT Press}, series = {Foundations of Computing}, year = 1988, isbn = 0262081717} @book{HennessyM:semple, author = {Hennessy, Matthew}, title = {The Semantics of Programming Languages: an Elementary Introduction using Structural Operational Semantics}, publisher = {Wiley}, year = 1990, isbn = 0471927724} @book{HeytingA:int, author = {Heyting, Arend}, title = {Intuitionism, an Introduction}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1956, note = {Revised edition, 1966}} @book{HilbertD:grutlb, author = {Hilbert, David and Ackermann, Wilhelm}, title = {Grundz{\"u}ge der theoretischen {L}ogik}, publisher = {Springer-Verlag}, year = 1928, note = {Republished 1972; English translation by Lewis Hammond et al., ``Principles of Mathematical Logic\tuck,'' Chelsea, New York, 1950}} @book{HilbertD:grum, author = {Hilbert, David and Bernays, Paul}, title = {Grundlagen der {M}athematik}, publisher = {Springer-Verlag}, series = {Grunlagen der Mathematischen Wissenschaften}, number = 40, year = 1934} @book{HilbertD:gesa, author = {Hilbert, David}, title = {Gesammelte {A}bhandlungen}, publisher = {Springer-Verlag}, volume = 3, year = 1935, note = {Reprinted, 1970}} @book{HiltonPJ:couha, author = {Hilton, Peter and Stammbach, Urs}, title = {A Course in Homological Algebra}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 4, year = 1971, note = {Second edition, 1997}, isbn = 0387948236} @book{HindleyJR:intclc, author = {Hindley, Roger and Seldin, Jonathan}, title = {Introduction or Combinators and Lambda Calculus}, publisher = {Cambridge University Press}, series = {London Mathematical Society Student Texts}, number = 1, year = 1986, isbn = {0-521-31839-4}} @article{HoareCAR:axibcp, author = {Hoare, Tony}, title = {An Axiomatic Basis for Computer Programming}, journal = {Communications of the ACM}, volume = 12, year = 1969, pages = {576--580 and 583}} @book{HodgesW:modt, author = {Hodges, Wilfrid}, title = {Model Theory}, publisher = {Cambridge University Press}, series = {Encyclopedia of Mathematics and its Applications}, number = 42, year = 1993, isbn = 0521304423} @inproceedings{HofmannM:intttl, author = {Hofmann, Martin}, title = {On the Interpretation of Type Theory in Locally Cartesian Closed Categories}, editor = {Pacholski, Leszek and Tiuryn, Jerzy}, booktitle = {Computer Science Logic {VIII}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 933, year = 1995, pages = {427--441}, isbn = 0387600175} @book{HofstadterDR:godeb, author = {Hofstadter, Dougals}, title = {G{\"o}del, {E}scher, {B}ach, and Eternal Golden Braid}, publisher = {Harvester}, year = 1979, note = {Reprinted by Penguin, 1980}, isbn = {0-14-017997-6}} @incollection{HowardWA:fortnc, author = {Howard, William}, title = {The formulae-as-types notion of construction}, pages = {479--490}, crossref = {CurryHB:hbcecl}} @article{HuetGP:undutol, author = {Huet, G{\'e}rard}, title = {The Undecidability of Unification in Third Order Logic}, journal = {Information and Control}, volume = 22, number = 3, month = apr, year = 1973, pages = {257--267}} @article{HuetGP:uniatl, author = {Huet, G{\'e}rard}, title = {A Unification Algorithm for Typed Lambda Calculus}, journal = {Theoretical Computer Science}, volume = 1, year = 1975, pages = {27--57}} @article{HylandJME:trit, author = {Hyland, Martin and Johnstone, Peter and Pitts, Andrew}, title = {Tripos Theory}, journal = {Mathematical Proceedings of the Cambridge Philosophical Society}, volume = 88, year = 1980, pages = {205--232}} @inproceedings{HylandJME:funscl, author = {Hyland, Martin}, title = {Function Spaces in the Category of Locales}, editor = {Banachewski, Bernhard and Hoffman, Rudolf-Eberhard}, booktitle = {Continuous Lattices}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 871, year = 1981, pages = {264--281}, isbn = {3-540-10848-3}} @incollection{HylandJME:efft, author = {Hyland, Martin}, title = {The Effective Topos}, pages = {165--216}, crossref = {TroelstraAS:lejbcs}} @article{HylandJME:smacc, author = {Hyland, Martin}, title = {A Small Complete Category}, journal = {Annals of Pure and Applied Logic}, volume = 40, year = 1988, pages = {135--165}} @inproceedings{PittsAM:theccs, author = {Hyland, Martin and Pitts, Andrew}, title = {The Theory of Constructions: Categorical Semantics and Topos-Theoretic Models}, pages = {137--199}, crossref = {GrayJW:catcsl}} @article{HylandJME:disoet, author = {Hyland, Martin and Robinson, Edmund and Rosolini, Giuseppe}, title = {The Discrete Objects in the Effective Topos}, journal = {Proceedings of the London Mathematical Society}, volume = 60, year = 1990, pages = {1--36}} @phdthesis{JacobsB:phd, author = {Jacobs, Bart}, title = {Categorical Type Theory}, school = {Universiteit Nijmegen}, year = 1990} @inproceedings{JacobsB:relmit, author = {Jacobs, Bart and Moggi, Eugenio and Streicher, Thomas}, title = {Relating Models of Impredicative Type Theories}, year = 1991, pages = {197--218}, crossref = {PittD:cattcs4}} @article{JacobsB:comcst, author = {Jacobs, Bart}, title = {Comprehension categories and the semantics of type dependency}, journal = {Theoretical Computer Science}, volume = 107, number = 2, year = 1993, pages = {169--207}} @article{JaskowskiS:rulsfl, author = {J{\'a}skowski, Stanis{\l}aw}, title = {On the Rules of Suppositions in Formal Logic}, journal = {Studia Logica}, volume = 1, year = 1934, note = {Reprinted in \cite{McCallS:poll}, pages 232--258}} @book{JeckT:sett, author = {Jech, Thomas}, title = {Set Theory}, publisher = {Academic Press}, series = {Pure and Applied Mathematics}, number = 79, year = 1978, note = {Second edition, 1997}, isbn = 0123819504} @book{JohnstonePT:topt, author = {Johnstone, Peter}, title = {Topos Theory}, publisher = {Academic Press}, series = {London Mathematical Society Monographs}, number = 10, year = 1977, isbn = 0123878500} @book{JohnstonePT:indca, author = {Johnstone, Peter and Par{\'e}, Robert and Roseburgh, Robert and Schumacher, Steve and Wood, Richard and Wraith, Gavin}, title = {Indexed Categories and their Applications}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 661, year = 1978} @book{JohnstonePT:stos, author = {Johnstone, Peter}, title = {Stone Spaces}, publisher = {Cambridge University Press}, series = {Cambridge Studies in Advanced Mathematics}, number = 3, year = 1982, isbn = 0521238935} @article{JohnstonePT:whevt, author = {Johnstone, Peter}, title = {When is a Variety a Topos?}, journal = {Algebra Universalis}, volume = 21, year = 1985, pages = {198--212}} @article{JohnstonePT:coltccv, author = {Johnstone, Peter}, title = {Collapsed Toposes and Cartesian Closed Varieties}, journal = {Journal of Algebra}, volume = 129, year = 1990, pages = {446--480}} @article{JoyalA:extgtg, author = {Joyal, Andr{\'e} and Tierney, Myles}, title = {An Extension of the {G}alois Theory of {G}rothendieck}, journal = {Memoirs of the American Mathematical Society}, volume = 51, number = 309, year = 1984} @inproceedings{JoyalA:fonaes, author = {Joyal, Andr{\'e}}, title = {Foncteurs Analytiques et Esp\`eces de Structures}, editor = {Labelle, Gilbert and Leroux, Pierre}, booktitle = {Combinatoire \'enumerative}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 1234, year = 1987, pages = {126--159}} @book{JoyalA:algst, author = {Joyal, Andr{\'e} and Moerdijk, Ieke}, title = {Algebraic Set Theory}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 220, year = 1995, isbn = 0521558301} @article{JungA:carccac, author = {Jung, Achim}, title = {Cartesian Closed Categories of Algebraic {CPO's}}, journal = {Theoretical Computer Science}, volume = 70, year = 1990, pages = {233--250}} @book{KampH:disli, author = {Kamp, Hans and Reyle, Uwe}, title = {From Discourse to Logic: Introduction to Model-theoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory}, publisher = {Reidel}, year = 1991, note = {Re-published by Kluwer, Studies in Linguistics and Philosophy, 42, 1993}, isbn = {079232403X}} @article{KanDM:adjf, author = {Kan, Daniel}, title = {Adjoint Functors}, journal = {Transactions of the American Mathematical Society}, volume = 87, year = 1958, pages = {294--329}} @book{KelleyJL:gent, author = {Kelley, John}, title = {General Topology}, publisher = {Van Nostrand}, year = 1955, note = {Reprinted by Springer-Verlag, Graduate Texts in Mathematics, 27, 1975}, isbn = 0387901256} @article{KellyGM:monep, author = {Kelly, Max}, title = {Monomorphisms, Epimorphisms and Pull-backs}, journal = {Journal of the Australian Mathematical Society}, volume = 9, year = 1969, pages = {124--142}} @book{KellyGM:catsps, title = {Proceedings of the Sydney Category Theory Seminar 1972--3}, editor = {Kelly, Max}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 420, year = 1974, isbn = 3540069666} @book{KellyGM:bascec, author = {Kelly, Max}, title = {Basic Concepts of Enriched Category Theory}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 64, year = 1982, isbn = 0521287022} @book{KleeneSC:intm, author = {Kleene, Stephen}, title = {Introduction to Metamathematics}, publisher = {North-Holland}, series = {Bibliotheca mathematica}, number = 1, year = 1952, note = {Revised edition, Wolters-Noordhoff, 1971}} @book{KleeneS:fouime, author = {Kleene, Stephen and Vesley, Richard}, title = {The Foundations of Intuitionistic Mathematics, Especially in relation to Recursive Functions}, publisher = {North-Holland}, year = 1965} @book{KleeneSC:matl, author = {Kleene, Stephen}, title = {Mathematical Logic}, publisher = {John Wiley and Sons}, year = 1967} @book{KnuthDE:artcp, author = {Knuth, Donald}, title = {The Art of Computer Programming}, publisher = {Addison-Wesley}, year = 1968, note = {Three volumes published out of seven planned; second edition, 1973}} @inproceedings{KnuthDE:simwpu, author = {Knuth, Donald and Bendix, Peter}, title = {Simple Word Problems in Universal Algebra}, editor = {Leech, John}, booktitle = {Computational Problems in Abstract Algebra}, publisher = {Pergamon Press}, year = 1970, pages = {263--297}} @book{KnuthDE:surn, author = {Knuth, Donald}, title = {Surreal Numbers}, publisher = {Addison-Wesley}, year = 1974} @book{KockA:syndg, author = {Kock, Anders}, title = {Synthetic Differential Geometry}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 51, year = 1981, isbn = 0521241383} @article{KockA:monsau, author = {Kock, Anders}, title = {Monads for which Structures are Adjoint to Units}, journal = {Journal of Pure and Applied Algebra}, volume = 104, year = 1995, pages = {41--59}} @article{KolmogorovAN:priem, author = {Kolmogorov, Andrei}, title = {On the Principle of Excluded Middle}, journal = {Matemati\v ceskii Sbornik}, volume = 32, year = 1925, pages = {646--667}, note = {In Russian; English translation in \cite{vanHeijenoortJ:frofgs}, pages 414--437}} @article{KoymansCPJ:modlc, author = {Koymans, C. P. J.}, title = {Models of the Lambda Calculus}, journal = {Information and Control}, volume = 52, year = 1982, pages = {206--332}} @article{KreiselG:matscp, author = {Kreisel, Georg}, title = {Mathematical significance of consistency proofs}, journal = {Journal of Symbolic Logic}, volume = 23, year = 1958, pages = {155--182}} @inproceedings{KreiselG:infrcp, author = {Kreisel, Georg}, title = {Informal Rigour and Completeness Proofs}, editor = {Lakatos, Imre}, booktitle = {Problems in the Philosophy of Mathematics}, publisher = {North-Holland}, year = 1967} @article{KreiselG:surpt, author = {Kreisel, Georg}, title = {A Survey of Proof Theory}, journal = {Journal of Symbolic Logic}, volume = 33, year = 1968, pages = {321--388}} @incollection{KreiselG:surpt2, author = {Kreisel, Georg}, title = {A Survey of Proof Theory {II}}, pages = {109--170}, crossref = {FenstadJE:scalc2}} @book{KretzmannN:camhlm, title = {The Cambridge history of later medieval philosophy: from the rediscovery of Aristotle to the disintegration of scholasticism, 1100-1600}, editor = {Kretzmann, Norman and Kenny, Anthony and Pinborg, Jan}, publisher = {Cambridge University Press}, year = 1982, isbn = 0521226058} @book{KuratowskiK:sett, author = {Kuratowski, Kazimierz and Mostowski, Andrzej}, title = {Teoria mnogosci}, publisher = {Polish Scientific Publishers}, year = 1966, note = {English translation, ``Set Theory'' by M. Maczynski, North-Holland, Studies in Logic and the Foundations of Mathematics, number 86, 1968; second edition, 1976}} @phdthesis{LafontYGA:logcm, author = {Lafont, Yves}, title = {Logiques, Cat{\'e}gories et Machines}, school = {Universit{\'e} de Paris 7}, year = 1987} @inproceedings{LafontYGA:gamsll, author = {Lafont, Yves and Streicher, Thomas}, title = {Game Semantics for Linear Logic}, booktitle = {Logic in Computer Science VI}, publisher = {IEEE Computer Society Press}, year = 1991, pages = {43--50}} @article{LairC:dialle, author = {Lair, Christian}, title = {Diagrammes Localement Libres, Extensions de Corps et Th\'eorie de {G}alois}, journal = {Diagrammes}, volume = 10, year = 1983} @article{LakatosI:pror, author = {Lakatos, Imre}, title = {Proofs and Refutations: the Logic of Mathematical Discovery}, journal = {British Journal for the Philosophy of Science}, volume = 14, year = 1963, pages = {1--25}, note = {Edited by John Worrall and Elie Zahar, Cambridge University Press, 1976}} @book{LakoffG:womfdt, author = {Lakoff, George}, title = {Women, Fire, and Dangerous Things: What Categories Reveal about the Mind}, publisher = {University of Chicago Press}, year = 1986, isbn = 0226468046} @article{LambekJ:matss, author = {Lambek, Joachim}, title = {The Mathematics of Sentence Structure}, journal = {American Mathematical Monthly}, volume = 65, year = 1958, pages = {154--170}} @article{LambekJ:dedsc1, author = {Lambek, Joachim}, title = {Deductive Systems and Categories {I}: Syntactic Calculus and Residuated Categories}, journal = {Mathematical Systems Theory}, volume = 2, year = 1968, pages = {287--318}} @incollection{LambekJ:dedsc2, author = {Lambek, Joachim}, title = {Deductive Systems and Categories {II}: Standard Constructions and Closed Categories}, editor = {Hilton, Peter}, booktitle = {Category Theory, Homology Theory and their Applications}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 86, year = 1969, pages = {76--122}} @incollection{LambekJ:dedsc3, author = {Lambek, Joachim}, title = {Deductive Systems and Categories {III}: Cartesian Closed Categories, Intuitionist Propositional Calculus, and Combinatory Logic}, pages = {57--82}, crossref = {LawvereFW:topagl}} @article{LambekJ:intttf, author = {Lambek, Joachim and Scott, Philip J.}, title = {Intuitionist Type Theory and the Free Topos}, journal = {Journal of Pure and Applied Algebra}, volume = 19, year = 1980, pages = {215--257}} @book{LambekJ:inthoc, author = {Lambek, Joachim and Scott, Philip}, title = {Introduction to Higher Order Categorical Logic}, publisher = {Cambridge University Press}, series = {Cambridge Studies in Advanced Mathematics}, number = 7, year = 1986, isbn = 0521246652} @inproceedings{LambekJ:mulr, author = {Lambek, Joachim}, title = {Multicategories Revisited}, pages = {217--240}, crossref = {GrayJW:catcsl}} @book{LangS:intla, author = {Lang, Serge}, title = {Introduction to linear algebra.}, publisher = {Addison-Wesley}, year = 1970, note = {Third edition, Springer-Verlag, Undergraduate Texts in Mathematics, 1987}, isbn = 3540962050} @article{LawvereFW:funsat, author = {Lawvere, Bill}, title = {Functorial Semantics of Algebraic Theories}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, volume = 50, number = 1, year = 1963, pages = {869--872}} @article{LawvereFW:eletcs, author = {Lawvere, Bill}, title = {An Elementary Theory of the Category of Sets}, journal = {Proceedings of the National Academy of Sciences of the United States of America}, volume = 52, year = 1964, pages = {1506--1511}} @inproceedings{LawvereFW:catcfm, author = {Lawvere, William}, title = {The Category of Categories as a Foundation for Mathematics}, pages = {1--20}, crossref = {EilenbergS:catcfm}} @inproceedings{LawvereFW:diaacc, author = {Lawvere, Bill}, title = {Diagonal Arguments and Cartesian Closed Categories}, editor = {Hilton, Peter}, booktitle = {Category Theory, Homology Theory and their Applications II}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 92, year = 1968, pages = {134--145}} @inproceedings{LawvereFW:somapc, author = {Lawvere, Bill}, title = {Some Algebraic Problems in the Context of Functorial Semantics of Algebraic Structures}, editor = {{Mac Lane}, Saunders}, booktitle = {Reports of the Midwest Category Seminar~{II}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 61, year = 1968, pages = {41--61}} @article{LawvereFW:adjf, author = {Lawvere, Bill}, title = {Adjointness in Foundations}, journal = {Dialectica}, volume = 23, year = 1969, pages = {281--296}} @inproceedings{LawvereFW:equhcs, author = {Lawvere, Bill}, title = {Equality in Hyperdoctrines and the Comprehension Schema as an Adjoint Functor}, editor = {Heller, Alex}, booktitle = {Applications of Categorical Algebra}, publisher = {American Mathematical Society}, series = {Proceedings of Symposia in Pure Mathematics}, number = 17, year = 1970, pages = {1--14}} @inproceedings{LawvereFW:quas, author = {Lawvere, Bill}, title = {Quantifiers and Sheaves}, booktitle = {Actes du {C}ongr\`es International des Math{\'e}maticiens}, publisher = {Gauthier-Villars}, volume = 1, year = 1971, pages = {329--334}} @proceedings{LawvereFW:topagl, title = {Toposes, Algebraic Geometry, and Logic}, editor = {Lawvere, Bill}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 274, year = 1972} @inproceedings{LawvereFW:metsgl, author = {Lawvere, Bill}, title = {Metric Spaces, Generalised Logic, and Closed Categories}, booktitle = {Rendiconti del Seminario Matematico e Fisico di Milano}, publisher = {Tipografia Fusi, Pavia}, volume = 43, year = 1973} @proceedings{LawvereFW:modtt, title = {Model Theory and Topoi}, editor = {Lawvere, Bill and Maurer, Christian and Wraith, Gavin}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 445, year = 1975, isbn = 0387071644} @book{LawvereFW:conmfi, author = {Lawvere, Bill and Schanuel, Stephen}, title = {Conceptual Mathematics: a First Introduction to Categories}, publisher = {Cambridge University Press}, year = 1997, isbn = 0521472490} @article{SmythMB:algsdt, author = {Lehmann, Daniel and Smyth, Michael}, title = {Algebraic Specifications of Data Types: a Synthetic Approach}, journal = {Mathematical Systems Theory}, volume = 14, year = 1981, pages = {97--139}} @incollection{LeivantD:conpp, author = {Leivant, Daniel}, title = {Contracting Proofs to Programs}, pages = {279--327}, crossref = {OdifreddiP:logcs}} @book{LewisCI:sursl, author = {Lewis, Clarence}, title = {A Survey of Symbolic Logic}, publisher = {University of California Press}, year = 1918, note = {Republished by Dover, 1960}} @book{LiderholmC:matmd, author = {Linderholm, Carl}, title = {Mathematics made Difficult}, publisher = {Wolfe}, address = {London}, year = 1971} @incollection{LintonFEJ:outfs, author = {Linton, Fred}, title = {An Outline of Functorial Semantics}, pages = {7--52}, crossref = {EckmannB:semtch}} @book{LukasiewiczJ:arissm, author = {{\L}ukasiewicz, Jan}, title = {Aristotle's Syllogistic from the Standpoint of Modern Formal Logic}, publisher = {Oxford University Press}, year = 1951, note = {Second edition, 1963}} @book{LukasiewiczJ:eleml, author = {{\L}ukasiewicz, Jan}, title = {Elements of Mathematical Logic}, publisher = {Pergamon Press}, year = 1963, note = {Translated from Polish by Olgierd Wojtasiewicz}} @book{LukasiewiczJ:janlsw, author = {{\L}ukasiewicz, Jan}, title = {Selected Works}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1970, note = {Edited by Ludwig Berkowski}, isbn = 0720422523} @inproceedings{LuoZ:unitdt, author = {Luo, Zhaohui}, title = {A Unifying Theory of Dependent Types: the Schematic Approach}, editor = {Nerode, Anil and Taitslin, Mikhail}, booktitle = {Logical Foundations of Computer Science (Logic at Tver '92)}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 620, year = 1992, pages = {293--304}} @book{MacCallumMAH:algcwr, author = {MacCallum, Malcolm and Wright, Francis}, title = {Algebraic Computing with {REDUCE}: lecture notes from the First Brazilian School on Computer Algebra}, publisher = {Oxford University Press}, year = 1991, isbn = 0198536461} @book{BirkhoffG:alg, author = {Mac Lane, Saunders and Birkhoff, Garrett}, title = {Algebra}, publisher = {MacMillan}, address = {New York}, year = 1967, note = {Second edition, 1979}} @book{MacLaneS:catwm, author = {Mac Lane, Saunders}, title = {Categories for the Working Mathematician}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 5, year = 1971, isbn = 0387900357} @article{MacLaneS:matmsp, author = {Mac Lane, Saunders}, issn = {0002-9890}, journal = {American Mathematical Monthly}, mrclass = {00A25}, mrnumber = {83d:00017}, mrreviewer = {F. J. Murray}, pages = {462--472}, title = {Mathematical Models: a Sketch for the Philosophy of Mathematics}, volume = 88, year = 1981} @book{MacLaneS:selp, author = {Mac Lane, Saunders}, title = {Selected Papers}, publisher = {Springer-Verlag}, year = 1979, note = {Edited by Irving Kaplansky}, isbn = 0387903941} @book{MacLaneS:matff, author = {Mac Lane, Saunders}, title = {Mathematics, Form and Function}, publisher = {Springer-Verlag}, year = 1986, isbn = 0387962174} @incollection{MacLaneS:catcp, author = {Mac Lane, Saunders}, title = {Categories and Concepts in Perspective}, editor = {Duren, Peter and Askey, Richard and Merzbach, Uta}, booktitle = {A Century of Mathematics in America}, publisher = {American Mathematical Society}, volume = 1, year = 1988, pages = {323--365}, note = {Addendum in volume 3, pages 439--441}, isbn = 0821801244} @book{MacLaneS:shegl, author = {Mac Lane, Saunders and Moerdijk, Ieke}, title = {Sheaves in Geometry and Logic: a First Introduction to Topos Theory}, publisher = {Springer-Verlag}, series = {Universitext}, year = 1992, isbn = 0387977104} @book{MakkaiM:firocl, author = {Makkai, Michael and Reyes, Gonzalo}, title = {First Order Categorical Logic: Model-Theoretical Methods in the Theory of Topoi and Related Categories}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 611, year = 1977} @article{MakkaiM:somrlf, author = {Makkai, Michael and Pitts, Andrew}, title = {Some Results on Locally Finitely Presentable Categories}, journal = {Transactions of the American Mathematical Society}, volume = 299, year = 1987, pages = {473--496}} @article{MakkaiM:stodfo, author = {Makkai, Michael}, title = {Stone Duality for First Order Logic}, journal = {Advances in Mathematics}, volume = 65, year = 1987, pages = {97--170}} @book{MakkaiM:acccfc, author = {Makkai, Michael and Par{\'e}, Robert}, title = {Accessible Categories: the Foundations of Categorical Model Theory}, publisher = {American Mathematical Society}, series = {Contemporary Mathematics}, number = 104, year = 1990, isbn = {082185111X}} @article{MakkaiM:fibfip, author = {Makkai, Michael}, title = {The Fibrational Formulation of Intuitionistic Predicate Logic}, journal = {Notre Dame Journal of Formal Logic}, volume = 34, year = 1993, pages = {334--7 and 471--498}} @article{MakkaiM:avoacc, author = {Makkai, Michael}, title = {Avoiding the Axiom of Choice in Category Theory}, journal = {Journal of Pure and Applied Algebra}, volume = 108, year = 1996, pages = {109--173}} @unpublished{MakkaiM:firold, author = {Makkai, Michael}, title = {First Order Logic with Dependent Sorts}, year = 1997, note = {\texttt{ftp.math.mcgill.ca}}} @book{MalcevA:metasc, author = {Mal'cev, Anatolii}, title = {The Metamathematics of Algebraic Systems. Collected Papers 1936--67}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 66, year = 1971, note = {Edited by Benjamin Wells}} @book{MancosuP:frobh, author = {Mancosu, Paolo}, title = {From {B}rouwer to {H}ilbert: the Debate on the Foundations of Mathematics in the 1920s}, booktitle = {From {B}rouwer to {H}ilbert: the Debate on the Foundations of Mathematics in the 1920s}, publisher = {Oxford University Press}, year = 1998, isbn = {0-19-509632-0}, lccn = {QA8.6.F757 511'.2--dc20 96-32918}} @book{ManesE:algt, author = {Manes, Ernest}, title = {Algebraic Theories}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 26, year = 1976, isbn = {038790140X}} @article{MarmolejoF:confc, author = {Marmolejo, Francisco}, title = {Continuous Families of Coalgebras}, journal = {Journal of Pure and Applied Algebra}, volume = 130, year = 1998, pages = {197--215}} @inproceedings{MartinLofP:intttp, author = {Martin-L{\"o}f, Per}, title = {An Intuitionistic Theory of Types: Predicative part}, editor = {Rose, Harvey and Sheperdson, John}, booktitle = {Logic Colloquium '73}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 80, year = 1975, pages = {73--118}} @book{MartinLofP:inttt, author = {Martin-L{\"o}f, Per}, title = {Intuitionistic Type Theory}, publisher = {Bibliopolis}, address = {Naples}, year = 1984} @book{MathiasARD:camssm, title = {Cambridge Summer School in Mathematical Logic}, editor = {Mathias, Adrian and Rogers, Hartley}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 337, year = 1973} @book{McCallS:poll, author = {McCall, Storrs}, title = {Polish Logic, 1920-1939}, publisher = {Oxford University Press}, year = 1967} @book{McKenzieRN:comtcm, author = {McKenzie, Ralph and Freese, Ralph}, title = {Commutator Theory for Congruence Modular Varieties}, publisher = {Cambridge University Press}, series = {London Mathematical Society Lecture Notes}, number = 125, year = 1987, isbn = 0521348323} @book{McKenzieRN:alglv, author = {McKenzie, Ralph and McNulty, George and Taylor, Walter}, title = {Algebras, Lattices, Varieties}, publisher = {Wadsworth and Brooks}, year = 1987, isbn = 0534076513} @book{McLartyC:elecet, author = {McLarty, Colin}, title = {Elementary Categories, Elementary Toposes}, publisher = {Oxford University Press}, series = {Logic Guides}, number = 21, year = 1992, isbn = 0198533926} @article{MillerD:unipfl, author = {Miller, Dale and Nadathur, Gopalan and Pfenning, Frank and Scedrov, Andre}, title = {Uniform Proofs as a Foundation for Logic Programming}, journal = {Annals of Pure and Applied Logic}, volume = 51, year = 1991, pages = {125--137}} @book{MitchellB:thec, author = {Mitchell, Barry}, title = {Theory of Categories}, publisher = {Academic Press}, series = {Pure and Applied Mathematics}, number = 17, year = 1965} @inproceedings{MitchellJC:notsr, author = {Mitchell, John and Scedrov, Andre}, title = {Notes on Sconing and Relators}, editor = {B{\"o}rger, Egon and J{\"a}ger, Gerhard and B{\"u}ning, Hans and Richter, Michael}, booktitle = {Computer Science Logic '92}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 702, year = 1993, pages = {352--378}} @book{MitchellJC:foupl, author = {Mitchell, John}, title = {Foundations for Programming Languages}, publisher = {MIT Press}, year = 1996, isbn = 0262133210} @article{MoggiE:notcm, author = {Moggi, Eugenio}, title = {Notions of Computation and Monads}, journal = {Information and Computation}, volume = 93, year = 1991, pages = {55--92}} @inproceedings{MontagueR:fraaaz, author = {Montague, Richard}, title = {Fraenkel's Addition to the Axioms of {Z}ermelo}, pages = {91--114}, note = {}, crossref = {BarHillelY:essfm}} @book{MooreGH:zerac, author = {Moore, Gregory}, title = {Zermelo's Axiom of Choice: its Origins, Development, and Influence}, publisher = {Springer-Verlag}, series = {Studies in the History of Mathematics and Physical Science}, number = 8, year = 1982, isbn = 0387906703} @article{Myhill:effopr, author = {Myhill, John and Shepherson, John}, title = {Effective Operations on Partial Recursive Functions}, journal = {Zeitschrift f{\"u}r Mathematische Logik und Gr{\"u}ndlagen der Mathematik}, year = 1955, pages = {310--317}, volme = 1} @book{NeumannPM:grog, author = {Neumann, Peter and Stoy, Gabrielle and Thompson, Edward}, title = {Groups and Geometry}, publisher = {Oxford University Press}, year = 1993} @article{NiefieldS:jpaa, author = {Niefield, Susan}, title = {Cartesianness: Topological Spaces, Uniform Spaces and Affine Varieties}, journal = {Journal of Pure and Applied Algebra}, volume = 23, year = 1982, pages = {147--167}} @book{NoetherE:gesa, author = {Noether, Emmy}, title = {Gesammelte {A}bhandlungen}, publisher = {Springer-Verlag}, year = 1983, note = {Edited by Nathan Jabobson}} @book{NordstromB:promtt, author = {Nordstr{\"o}m, Bengt and Petersson, Kent and Smith, Jan}, title = {Programming in {M}artin-{L}\"{o}f's Type Theory: an Introduction}, publisher = {Oxford University Press}, series = {International Series of Monographs on Computer Science}, number = 7, year = 1990} @article{ObtulowiczA:cataam, author = {Obtu{\l}owicz, Adam}, title = {Categorical and Algebraic Aspects of {Martin-L\"of} Type Theory}, journal = {Studia Logica}, volume = 48, year = 1989, pages = {299--318}} @book{OdifreddiP:clart, author = {Odifreddi, Piergiorgio}, title = {Classical Recursion Theory: the Theory of Functions and Sets of Natural Numbers}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 125, year = 1989, isbn = 0444872957} @book{OdifreddiP:logcs, title = {Logic and Computer Science}, editor = {Odifreddi, Piergiorgio}, booktitle = {Logic and Computer Science}, publisher = {Academic Press}, series = {APIC Studies in Data Processing}, number = 31, year = 1990} @article{OsiusG:catstc, author = {Osius, Gerhard}, title = {Categorical Set Theory: a Characterisation of the Category of Sets}, journal = {Journal of Pure and Applied Algebra}, volume = 4, year = 1974, pages = {79--119}, review = {MR 51/643}} @techreport{ParkDMR:ycslcm, author = {Park, David}, title = {The {$\mathsf{Y}$}-combinator in {S}cott's Lambda-calculus Models}, institution = {Department of Computer Science, University of Warwick}, type = {Research Report}, number = {CS-RR-013}, month = {June}, year = 1976, note = {Revised, 1978}, url = {http://www.dcs.warwick.ac.uk/pub/reports/rr/013.html}} @article{PasynkovBA:partp, author = {Pasynkov, Boris}, title = {Partial Topological Products}, journal = {Transactions of the Moscow Mathematical Society}, volume = 13, year = 1965, pages = {153--271}} @book{PaulsonLC:logcip, author = {Paulson, Lawrence}, title = {Logic and Computation: Interactive proof with {C}ambridge {LCF}}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, number = 2, year = 1987, isbn = 0521346320} @book{PaulsonLC:mlwp, author = {Paulson, Lawrence}, title = {{ML} for the Working Programmer}, publisher = {Cambridge University Press}, year = 1991, note = {Second edition, 1996}, isbn = 0521390222} @incollection{PaulsonLC:destp, author = {Paulson, Lawrence}, title = {Designing a Theorem Prover}, editor = {Abramsky, Samson and others}, booktitle = {Handbook of Logic in Computer Science}, publisher = {Oxford University Press}, year = 1992, pages = {415--475}} @book{PaulsonLC:isagtp, author = {Paulson, Lawrence}, title = {Isabelle: a Generic Theorem Prover}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 828, year = 1994, isbn = {3-540-58244-4, 0-387-58244-4}} @phdthesis{PavlovicD:phd, author = {Pavlovi{\'c}, Du{\v s}ko}, title = {Predicates and Fibrations}, school = {Rijksuniversiteit Utrecht}, year = 1990} @inproceedings{PavlovicD:conp, author = {Pavlovi{\'c}, Du{\v s}ko}, title = {Constructions and Predicates}, pages = {173--197}, crossref = {PittD:cattcs4}} @book{PeanoG:aripnm, author = {Peano, Giuseppe}, title = {Arithmetices Principia, Nova Methodo Exposita}, publisher = {Fratres Bocca}, address = {Turin}, year = 1889, note = {English translation, ``The Principles of Arithmetic, presented by a new method\tuck,'' in \cite{vanHeijenoortJ:frofgs}, pages 20--55}} @book{PeanoG:selwgp, author = {Peano, Giuseppe}, title = {Selected Works of {G}iuseppe {P}eano}, publisher = {Toronto University Press}, year = 1973, note = {Translated and edited by Hubert Kennedy}} @book{PeirceCS:colp, author = {Peirce, Charles Sanders}, title = {Collected Papers}, publisher = {Harvard University Press}, year = 1933, note = {Edited by Charles Hartshorne and Paul Weiss}} @book{PierceBC:basctc, author = {Pierce, Benjamin}, title = {Basic Category Theory for Computer Scientists}, booktitle = {Basic Category Theory for Computer Scientists}, publisher = {MIT Press}, series = {Foundations of Computing}, year = 1991, isbn = {0-262-66071-7}, lccn = {QA76.9.M35 P54 1991}} @proceedings{PittD:cattcs3, title = {Category Theory in Computer Science {III}}, editor = {Pitt, David and Rydeheard, David and Dybjer, Peter and Pitts, Andrew and Poign{\'e}, Axel}, booktitle = {Category Theory in Computer Science {III}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 389, year = 1989, isbn = {038751662X}} @proceedings{PittD:cattcs4, title = {Category Theory in Computer Science {IV}}, editor = {Pitt, David and Curien, Pierre-Louis and Abramsky, Samson and Pitts, Andrew and Poign{\'e}, Axel and Rydeheard, David}, booktitle = {Category Theory in Computer Science {IV}}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 530, year = 1991, isbn = {354054495X}} @inproceedings{PittsAM:nonptc, author = {Pitts, Andrew}, title = {Non-trivial Power Types can't be Subtypes of Polymorphic Types}, booktitle = {Logic in Computer Science {IV}}, publisher = {IEEE Computer Society Press}, year = 1989, pages = {6--13}} @article{PittsAM:notrpl, author = {Pitts, Andrew and Taylor, Paul}, title = {A Note on {Russell's} {Paradox} in Locally Cartesian Closed Categories}, journal = {Studia Logica}, volume = 48, year = 1989, pages = {377--387}} @techreport{PittsAM:catl, author = {Pitts, Andrew}, title = {Categorical Logic}, institution = {University of Cambridge Computer Laboratory}, type = {Technical Report}, number = 367, month = may, year = 1995} @proceedings{PittsAM:semlc, title = {Semantics and Logics of Computation}, editor = {Pitts, Andrew and Dybjer, Peter}, booktitle = {Semantics and Logics of Computation}, publisher = {Cambridge University Press}, series = {Publications of the {N}ewton {I}nstitute}, year = 1997} @article{PlotkinGD:lcfcpl, author = {Plotkin, Gordon}, title = {{LCF} considered as a Programming Language}, journal = {Theoretical Computer Science}, volume = 5, year = 1977, pages = {223--255}} @unpublished{PlotkinGD:posgln, author = {Plotkin, Gordon}, title = {Domain Theory}, year = 1981, note = {Post-graduate lecture notes, known as the Pisa Notes; \texttt{ftp.lfcs.ed.ac.uk}}} @book{PohlersW:proti, author = {Pohlers, Wolfram}, title = {Proof Theory: an Introduction}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 1407, year = 1989} @book{PolyaG:howsi, author = {Polya, George}, title = {How to Solve It: a New Aspect of Mathematical Method}, publisher = {Princeton University Press}, year = 1945, note = {Re-published by Penguin, 1990}} @book{PrawitzD:natdpt, author = {Prawitz, Dag}, title = {Natural Deduction: a Proof-Theoretical Study}, publisher = {Almquist and Wiskell}, series = {Stockholm Studies in Philosophy}, number = 3, year = 1965} @article{PrawitzD:meap, author = {Prawitz, Dag}, title = {Meanings and Proofs: on the Conflict between Classical and Intutitionistic Logic}, journal = {Theoria}, volume = 43, year = 1977, pages = {2--40}} @book{QuineWVO:woro, author = {Quine, Willard van Orman}, title = {Word and Object}, publisher = {MIT Press}, series = {Studies in Communication}, year = 1960, isbn = 0262170019} @book{RamseyF:foum, author = {Ramsey, Frank}, title = {Foundations of Mathematics}, publisher = {Kegan Paul}, address = {London}, year = 1931} @book{RasiowaH:matm, author = {Rasiowa, Helena and Sikorski, Roman}, title = {The Mathematics of Metamathematics}, publisher = {Polish Scientific Publishers}, series = {Monogrfie Matematyczne}, number = 41, year = 1963, review = {MR 29/1149}} @book{RasiowaH:alganc, author = {Rasiowa, Helena}, title = {An Algebraic Approach to Non-classical Logics}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 78, year = 1974} @inproceedings{ReynoldsJC:typapp, author = {Reynolds, John}, title = {Types, Abstraction and Parametric Polymorphism}, editor = {Mason, Richard}, booktitle = {Information Processing}, publisher = {North-Holland}, year = 1983, pages = {513--524}} @inproceedings{ReynoldsJC:polst, author = {Reynolds, John}, title = {Polymorhism is not Set-Theoretic}, editor = {Kahn, Gilles and MacQueen, David and Plotkin, Gordon}, booktitle = {Semantics of Data Types}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 173, year = 1984, pages = {145--156}} @article{ReynoldsJC:funepl, author = {Reynolds, John and Plotkin, Gordon}, title = {On Functors Expressible in the Polymorphic Lambda Calculus}, journal = {Information and Computation}, volume = 105, year = 1993, pages = {1--29}} @book{ReynoldsJC:thepl, author = {Reynolds, John}, title = {Theories of Programming Languages}, year = 1998, publisher = {Cambridge University Press}, isbn = {0 521 59414 6}, callno = {QA76.7.R495}} @article{RiceHG:recreo, author = {Rice, Gordon}, title = {Recursive and Recursively Enumerable Orders}, journal = {Transactions of the American Mathematical Society}, volume = 83, year = 1956, pages = 277} @book{RobinsonA:nonsa, author = {Robinson, Abraham}, title = {Non-standard Analysis}, publisher = {North-Holland}, address = {Amsterdam}, series = {Studies in Logic and the Foundations of Mathematics}, year = 1966} @book{RobinsonDJ:coutg, author = {Robinson, Derek}, title = {A Course in the Theory of Groups}, publisher = {Springer-Verlag}, series = {Graduate Texts in Mathematics}, number = 80, year = 1982, note = {Second edition, 1996}, isbn = 0387906002} @article{RobinsonE:catpm, author = {Robinson, Edmund and Rosolini, Giuseppe}, title = {Categories of Partial Maps}, journal = {Information and Computation}, volume = 79, year = 1988, pages = {95--130}} @book{RussellBAW:primat, author = {Russell, Bertrand}, title = {The Principles of Mathematics}, publisher = {Cambridge University Press}, year = 1903} @article{RussellBAW:matlbt, author = {Russell, Bertrand}, title = {Mathematical Logic based on the Theory of Types}, journal = {American Journal of Mathematics}, volume = 30, year = 1908, pages = {222--262}, note = {Reprinted in \cite{vanHeijenoortJ:frofgs}, pages 150--182}} @book{RussellBAW:prim, author = {Russell, Bertrand and Whitehead, Alfred North}, title = {Principia Mathematica}, publisher = {Cambridge University Press}, year = {1910--13}} @book{RydeheardDE:comct, author = {Rydeheard, David and Burstall, Rod}, title = {Computational Category Theory}, publisher = {Prentice-Hall}, seriestitle = {International Series in Computer Science}, year = 1988, isbn = {0-13-162736-8}, libcongr = {88-4232}} @article{SamuelP:unimft, author = {Samuel, Pierre}, title = {On Universal Mappings and Free Topological Groups}, journal = {Bulletin of the American Mathematical Society}, volume = 54, year = 1948, pages = {591--598}} @incollection{ScedrovA:notfsf, author = {Scedrov, Andre and Scott, Philip}, title = {A Note on the {F}riedman Slash and {F}reyd Covers}, year = 1982, pages = {443--452}, crossref = {TroelstraAS:lejbcs}} @article{SchalkA:domaap, author = {Schalk, Andrea}, title = {Domains arising as Algebras for Power Space Constructions}, journal = {Journal of Pure and Applied Algebra}, year = 1993} @book{SchoenfieldJR:matl, author = {Schoenfield, Joseph}, title = {Mathematical Logic}, publisher = {Addison-Wesley}, year = 1967} @incollection{ScottDS:morax, author = {Scott, Dana}, title = {More on the Axiom of Extensionality}, pages = {115--139}, note = {}, crossref = {BarHillelY:essfm}} @inproceedings{ScottDS:conv, author = {Scott, Dana}, title = {Constructive Validity}, editor = {Laudet, Michel and Lacombe, D. and Nolin, L. and Sch{\"u}tzenberger, M.}, booktitle = {Automatic Demonstration}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 125, year = 1970, pages = {237--275}} @incollection{ScottDS:outmtc, author = {Scott, Dana}, title = {Outline of a Mathematical Theory of Computation}, booktitle = {Information Sciences and Systems}, publisher = {Princeton University Press}, year = 1970, pages = {169--176}} @article{ScottDS:dattl, author = {Scott, Dana}, title = {Data Types as Lattices}, journal = {SIAM Journal on Computing}, volume = 5, year = 1976, pages = {522--587}} @inproceedings{ScottDS:ideeil, author = {Scott, Dana}, title = {Identity and Existence in Intuitionistic Logic}, pages = {660--696}, crossref = {FourmanMP:apps}} @book{Seebach:cout, author = {Seebach, J. Arthur and Steen, Lynn Arthur}, title = {Counterexamples in Topology}, publisher = {Holt, Rinehart and Winston}, year = 1970, note = {Republished by Springer-Verlag, 1978 and by Dover, 1995}} @article{SeelyRAG:locccc, author = {Seely, Robert}, title = {Locally Cartesian Closed Categories and Type Theory}, journal = {Mathematical Proceedings of the Cambridge Philosophical Society}, volume = 95, year = 1984, pages = {33--48}} @article{SeelyRAG:catsho, author = {Seely, Robert}, title = {Categorical Semantics for Higher Order Polymorphic Lambda Calclus}, journal = {Journal of Symbolic Logic}, volume = 52, year = 1987, pages = {969--989}} @inproceedings{SeelyRAG:linlac, author = {Seely, Robert}, title = {Linear Logic, {$*$}-Autonomous Categories and Cofree Algebras}, pages = {371--382}, crossref = {GrayJW:catcsl}, urlps = {ftp://ftp.math.mcgill.ca/pub/rags/nets/llsac.ps.gz}} @book{SerreJP:replgf, author = {Serre, Jean-Pierre}, title = {Rep\'esentations Lin\'eaires des Groupes Finis}, publisher = {Hermann}, year = 1971, note = {English translation, ``Linear representations of finite groups'' by Leonard Scott, Springer-Verlag, Graduate Texts in Mathematics 42, 1976, reprinted 1986}} @book{ShapiroS:fouwf, author = {Shapiro, Stewart}, title = {Foundations without Foundationalism: a Case for Second-order Logic}, publisher = {Oxford University Press}, series = {Logic Guides}, number = 17, year = 1991} @incollection{SkolemT:bemabm, author = {Skolem, Thoralf}, title = {Einige {B}emerkungen zur axiomatischen {B}egr{\"u}ndung der {M}engenlehre}, booktitle = {Skandinaviska matematikenkongressen}, publisher = {Akademiska Bokhandeln}, year = 1922, pages = {217--232}, note = {English translation, ``Some Remarks on Axiomatized Set Theory'' in \cite{vanHeijenoortJ:frofgs}, pages 290--301}, city = {Helsinki}} @book{SkolemT:selwl, author = {Skolem, Thoralf}, title = {Selected Works in Logic}, publisher = {Universitetsforlaget}, address = {Oslo}, year = 1970, note = {Edited by Jens Erik Fenstad}} @article{SteenrodN:concts, author = {Steenrod, Norman}, title = {A Convenient Category of Topological Spaces}, journal = {Michigan Mathematics Journal}, volume = 14, year = 1967, pages = {133--152}, comment = {Compactly generated or K-spaces form a CCC}} @article{StoneM:apptbr, author = {Stone, Marshall}, title = {Applications of the Theory of {B}oolean Rings to General Topology}, journal = {Transactions of the American Mathematical Society}, volume = 41, year = 1937, pages = {375--481}} @article{StreetRH:comff, author = {Street, Ross and Walters, Robert}, title = {The Comprehensive Factorization of a Functor}, journal = {Bulletin of the American Mathematical Society}, volume = 79, year = 1973, pages = {936--941}, review = {MR49#10753}} @article{StreetRH:cosic, author = {Street, Ross}, title = {Cosmoi of Internal Categories}, journal = {Transactions of the American Mathematical Society}, volume = 258, year = 1980, pages = {271--318}} @book{StreicherT:phd, author = {Streicher, Thomas}, title = {Semantics of Type Theory: Correctness and Completeness of a Categorical Semantics of the Calculus of Constructions}, publisher = {Birkh{\"a}user}, series = {Progress in Theoretical Computer Science}, year = 1991, note = {His 1988 Passau Ph.D. thesis}, isbn = 3764335947} @book{StruikDJ:soubm, author = {Struik, Dirk}, title = {A Source Book in Mathematics, 1200--1800}, publisher = {Harvard University Press}, year = 1969} @book{StyazhkinNI:hismll, author = {Styazhkin, N. I.}, title = {History of Mathematical Logic from {L}eibniz to {P}eano}, publisher = {MIT Press}, year = 1969, note = {Translated from Russian, originally published by Nauka, Moscow, 1964}, isbn = {0 262 19057 5}} @inproceedings{TaitW:reaits, author = {Tait, William}, title = {A Realizability Interpretation of the Theory of Species}, editor = {Parik, R.}, booktitle = {Logic Colloquium}, publisher = {Springer-Verlag}, year = 1975, pages = {240--251}} @book{TakeutiG:prot, author = {Takeuti, Gaisi}, title = {Proof Theory}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 81, year = 1975, note = {Second edition, 1987}, isbn = {0-444-10492-5}, callno = {510.1 T13p}} @book{TarskiA:logsm, author = {Tarski, Alfred}, title = {Logic, Semantics, Metamathematics}, publisher = {Oxford University Press}, year = 1956, note = {Edited by J. H. Woodger}} @inproceedings{TaylorP:intccd, author = {Taylor, Paul}, title = {Internal Completeness of Categories of Domains}, editor = {Pitt, David}, booktitle = {Category Theory and Computer Programming}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, number = 240, year = 1986, pages = {449--465}, isbn = 3540171622} @phdthesis{TaylorP:phd, author = {Taylor, Paul}, title = {Recursive Domains, Indexed Category Theory and Polymorphism}, school = {Cambridge University}, year = 1986} @unpublished{TaylorP:hombsd, author = {Taylor, Paul}, title = {Homomorphisms, Bilimits and Saturated Domains --- some very basic domain theory}, year = 1987, pages = 26, note = {\texttt{ftp.dcs.qmw.ac.uk}}} @unpublished{TaylorP:trafsf, author = {Taylor, Paul}, title = {The Trace Factorisation of Stable Functors}, year = 1988} @inproceedings{TaylorP:quadgl, author = {Taylor, Paul}, title = {Quantitative Domains, Groupoids and Linear Logic}, pages = {155--181}, crossref = {PittD:cattcs3}} @article{TaylorP:algasd, author = {Taylor, Paul}, title = {An Algebraic Approach to Stable Domains}, journal = {Journal of Pure and Applied Algebra}, publisher = {North-Holland}, volume = 64, year = 1990, pages = {171--203}} @inproceedings{TaylorP:fixpps, author = {Taylor, Paul}, title = {The Fixed Point Property in Synthetic Domain Theory}, editor = {Kahn, Gilles}, booktitle = {Logic in Computer Science 6}, publisher = {IEEE Computer Society Press}, year = 1991, pages = {152--160}} @article{TaylorP:intso, author = {Taylor, Paul}, title = {Intuitionistic Sets and Ordinals}, journal = {Journal of Symbolic Logic}, volume = 61, year = 1996, pages = {705--744}} @unpublished{TaylorP:towuti, author = {Taylor, Paul}, title = {On the General Recursion Theorem}, year = 1996} @unpublished{TaylorP:abssd1, author = {Taylor, Paul}, title = {An Abstract Stone Duality,~{I}: Geometric and Higher Order Logic}, note = {In preparation}, year = 1998} @book{TennentRD:pripl, author = {Tennent, Robert}, title = {Principles of Programming Languages}, publisher = {Prentice-Hall}, isbn = {0 13 7098731}, year = 1981} @book{TennentRD:sempl, author = {Tennent, Robert}, title = {Semantics of Programming Languages}, publisher = {Prentice-Hall}, series = {International Series in Computer Science}, isbn = {0 13 805 607 2}, year = 1991, callno = {QA76.7.T473}} @incollection{TierneyM:shetch, author = {Tierney, Miles}, title = {Sheaf Theory and the Continuum Hypothesis}, pages = {13--42}, review = {MR 51/10088}, crossref = {LawvereFW:topagl}} @book{TroelstraAS:prii, author = {Troelstra, Anne Sjerp}, title = {Principles of Intuitionism}, publisher = {Springer-Verlag}, series = {Lecture Notes in Mathematics}, number = 95, year = 1969} @book{TroelstraAS:chosci, author = {Troelstra, Anne Sjerp}, title = {Choice Sequences: a Chapter of Inttuitionistic Mathematics}, publisher = {Oxford University Press}, series = {Logic Guides}, year = 1977} @proceedings{TroelstraAS:lejbcs, title = {L.~E.~J.~Brouwer Centenary Symposium}, editor = {Troelstra, Anne Sjerp and van Dalen, Dirk}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = 110, year = 1982, isbn = 0444864946} @book{TroelstraAS:conmi, author = {Troelstra, Anne Sjerp and van Dalen, Dirk}, title = {Constructivism in Mathematics, an Introduction}, publisher = {North-Holland}, series = {Studies in Logic and the Foundations of Mathematics}, number = {121 and 123}, year = 1988, isbn = {0444702660 0444703586}} @book{TroelstraAS:baspt, author = {Troelstra, Anne Sjerp and Schwichtenberg, Helmut}, title = {Basic Proof Theory}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, number = 43, year = 1996} @article{TuringAM:comnae, author = {Turing, Alan}, title = {On Computable Numbers with an Application to the {E}ntscheidungsproblem}, journal = {Proceedings of the London Mathematical Society (2)}, volume = 42, year = 1935, pages = {230--265}} @book{vanDalenD:logs, author = {van Dalen, Dirk}, title = {Logic and Structure}, publisher = {Springer-Verlag}, series = {Universitext}, year = 1980, note = {Second edition, 1983}, isbn = {3 540 12831 X}, ams_subj = {03-01}} @book{vanderWaerdenBL:moda, author = {van der Waerden, Bartel}, title = {Moderne Algebra}, publisher = {Ungar}, year = 1931, note = {Fifth edition, Springer-Verlag, 1960; English translation by Fred Blum and John Schulenberger, ``Algebra\tuck,'' Springer-Verlag, 1971}, isbn = 0804449481} @book{vanHeijenoortJ:frofgs, title = {From {F}rege to {G}{\"o}del: a Source Book in Mathematical Logic, 1879--1931}, editor = {van Heijenoort, Jan}, publisher = {Harvard University Press}, year = 1967, note = {Reprinted 1971, 1976}} @book{VickersSJ:topvl, author = {Vickers, Steven}, title = {Topology via Logic}, publisher = {Cambridge University Press}, series = {Cambridge Tracts in Theoretical Computer Science}, number = 5, year = 1988, isbn = 0521360625} @book{vonNeumannJ:colw, author = {von Neumann, John}, title = {Collected Works}, publisher = {Pergamon Press}, year = 1961, note = {Edited by A. H. Taub}} @book{WebbJC:mecmm, author = {Webb, Judson Chambers}, title = {Mechanism, Mentalism and Metamathematics: an Essay on Finitism}, publisher = {Reidel}, series = {Synthese Library}, number = 137, year = 1980, isbn = 9027710465} @book{WellsC:hanmd, author = {Wells, Charles}, title = {The Handbook of Mathematical Discourse}, note = {\texttt{http://www-math.cwru.edu/~cfw2/abouthbk.htm}}, year = 1996} @article{WeylH:con, author = {Weyl, Hermann}, title = {Der {C}irculus vitiosus in der heutigen {B}egr{\"u}ndung der {A}nalysis}, journal = {Jahrbericht der deutschen {M}atematiker-{V}ereinigung}, volume = 28, year = 1919, pages = {85--92}, note = {English translation, ``The Continuum: a Critical Examination of the Foundations of Analysis'' by Stephen Pollard and Thomas Bole, published by Thomas Jefferson University Press, 1987, reprinted by Dover, 1993}, isbn = {0-486-67982-9}} @book{WeylH:gesa, author = {Weyl, Hermann}, title = {Gesammelte {A}bhandlungen}, publisher = {Springer-Verlag}, year = 1968, note = {Edited by K. Chandrasekharan}} @book{ZariskiO:coma, author = {Zariski, Oscar and Samuel, Pierre}, title = {Commutative Algebra}, publisher = {Van Nostrand}, year = 1958, note = {Reprinted by Springer-Verlag, Graduate Texts in Mathematics, number 28--9, 1975}, isbn = {0-387-90171-X}} @article{ZermeloE:proesw, author = {Zermelo, Ernst}, title = {Neuer {B}eweis f{\"u}r die {M\"o}glichkeit einer {W}ohlordnung}, journal = {Mathematische Annalen}, volume = 65, year = 1908, pages = {107--128}, note = {English translation, ``New proof that every set can be well ordered'' in \cite{vanHeijenoortJ:frofgs}, pages 183--198}} @article{ZermeloE:untgm, author = {Zermelo, Ernst}, title = {Untersuchungen {\"u}ber die {G}rundlagen der {M}engenlehre~{I}}, journal = {Mathematische Annalen}, volume = 65, year = 1908, pages = {261--281}, note = {English translation, ``Investigations in the foundations of set theory'' in \cite{vanHeijenoortJ:frofgs}, pages 199--215}}