Category:Journal The Bulletin of Symbolic Logic

From BibNetWiki

Papers published in the Journal "The Bulletin of Symbolic Logic"

Articles in category "Journal The Bulletin of Symbolic Logic"

There are 45 articles in this category.

A Algebraic Logic: Where Does it Stand Today? Alonzo Church's Contributions to Philosophy and Intensional Logic C Classification from a Computable Viewpoint Construction of Truth Predicates: Approximation Versus Revision E Explicit Provability and Constructive Semantics L Logicality and Invariance R Review of 'Explicit Provability and Constructive Semantics', by Sergei N. Artemov Review of 'Incompleteness Theorems and S^i 2 Versus S^i 1 2' and 'Godel Sentences of Unbounded Arithmetic', by Gaisi Takeuti Review of em A Proof-Theoretic Framework for Logic Programming, by Gerhard Jager and Robert F. Stark Review of em An Introduction to Proof Theory, by Samuel R. Buss Review of em First-Order Proof Theory of Arithmetic, by Samuel R. Buss Review of em Godel's Functional ('Dialectica') Interpretation, by Jeremy Avigad and Solomon Feferman Review of em Handbook of Proof Theory, by Samuel R. Buss Review of em Hierarchies of Provably Recursive Functions, by Matt Fairtlough and Stanley S. Wainer Review of em Realizability, by A.S. Troelstra

R cont. Review of em Subsystems of Set Theory and Second-Order Number Theory, by Wolfram Pohlers Review of em The Length of Proofs, by Pavel Pudl'ak Review of em The Logic of Provability, by Giorgi Japaridze and Dick de Jongh Review of em Types in Logic, Mathematics, and Programming, by R.L. Constable Review of emphA Modern Perspective on Type Theory-From its Origins until Today, by Farouz Kamareddine and Twan Laan and Rob Nederfelt Review of emphA Proof-Theoretic Framework for Logic Programming, by Gerhard Jager and Robert F. Stark Review of emphAn Introduction to Proof Theory, by Samuel R. Buss Review of emphComputable Calculus, by Oliver Aberth Review of emphFirst-Order Proof Theory of Arithmetic, by Samuel R. Buss Review of emphGodel's Functional ('Dialectica') Interpretation, by Jeremy Avigad and Solomon Feferman Review of emphGodel's Theorem: An Incomplete Guide to its Use and Abuse, by Torkel Franz'en Review of emphHandbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, edited by Dov Gabbay, Christopher Hogger, and J.A. Robinson Review of emphHandbook of Proof Theory, by Samuel R. Buss Review of emphHierarchies of Provably Recursive Functions, by Matt Fairtlough and Stanley S. Wainer Review of emphLogicism Renewed, by Paul C. Gilmore Review of emphRealizability, by A.S. Troelstra

R cont. Review of emphSubsystems of Set Theory and Second-Order Number Theory, by Wolfram Pohlers Review of emphSynthetic Differential Geometry, by Anders Kock Review of emphThe Length of Proofs, by Pavel Pudl'ak Review of emphThe Logic of Provability, by Giorgi Japaridze and Dick de Jongh Review of emphThinking about Mathematics, by Stewart Shapiro Review of emphTools and Techniques in Modal Logic, by Marcus Kracht Review of emphTypes in Logic, Mathematics, and Programming, by R.L. Constable Review of it Computable Calculus, by Oliver Aberth Review of it Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 3: Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning, edited by Dov Gabbay, Christopher Hogger, and J.A. Robinson Review of it In the Light of Logic, by Solomon Feferman Review of it Thinking about Mathematics, by Stewart Shapiro Review of it Tools and Techniques in Modal Logic, by Marcus Kracht T The Impact of the Lambda Calculus in Logic and Computer Science The Prospects for Mathematical Logic in the Twenty-First Century