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
C
E
L
R
|
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
|