Foundations of Mathematics

      Research / Miscellaneous

• New Foundations home page
  Pagina curata da M. Randall Jones. Ecco un estratto dall'Introduction: "The subject of the home page which is developing here is the set theory "New Foundations", first introduced by W. V. O. Quine in 1937. This is a refinement of Russell's theory of types based on the observation that the types in Russell's theory look the same, as far as one can apparently prove."

      Reviews / On-Line Publications

• Bulletin of Symbolic Logic
  Dalla presentazione: "This is a hypertext bibliography containing all papers published in the Bulletin of Symbolic Logic, a publication of the Association for Symbolic Logic. This bibliography is part of the Hypertext Bibliography Project and should in no way be construed as an official source of information about BSYML."

• Journal of Symbolic Logic
  Dalla presentazione: "This is a hypertext bibliography containing all papers published since 1990 in the Journal of Symbolic Logic, a publication of the Association for Symbolic Logic." Non contiene i testi degli articoli.

• Modern Logic
  Rivista internazionale di storia della logica matematica, della teoria degli insiemi e dei fondamenti della matematica. Dalla presentazione: "Modern Logic seeks to provide a unique service to research logicians and historians of logic by providing an organ for rapid, low cost, communication between historians of logic and research logicians, and between the various specialities of modern mathematical logic".

• Notre Dame Journal of Formal Logic
  Contiene gli abstracts degli articoli pubblicati dalla rivista.

• Logic Journal of the IGPL
  Pubblica papers in tutte le aree della logica pura e applicata: sistemi di logica pura, proof-theory, teoria dei modelli, ricorsività, teoria dei tipi, logiche non classiche e non monotone, ragionamento numerico e probabilistico, logica e AI, fondamenti di programmazione logica, logica e computazione, logica e linguaggio e applicazioni logiche all'ingegneria. Esce sia in forma elettronica che cartacea. Per contatti: Comments and Feedbacks oppure Dov Gabbay (curatore)

      Related Fields

	Set Theory
	Model Theory
	Recursion Theory
	Proof Theory
	Category Theory
	Constructive Mathematics

	Logic and Philosophy
	Logic and Mathematics
	Logic and Computer Science / AI
	General Resources