journals/jsyml/Motohashi86:::Nobuyoshi Motohashi:::Preservation Theorem and Relativization Theorem For Cofinal Extensions.
journals/jsyml/Jockusch72:::Carl G. Jockusch Jr.:::Ramsey's Theorem and Recursion Theory.
journals/jsyml/BonnetR02:::Robert Bonnet::Matatyahu Rubin:::On Essentially Low, Canonically Well-Generated Boolean Algebras.
journals/jsyml/BonnetR91:::Robert Bonnet::Matatyahu Rubin:::Elementary Embeddings Between Countable Boolean Algebras.
journals/jsyml/Lotfallah00:::Wafik Boulos Lotfallah:::Strong 0-1 Laws in Finite Model Theory.
journals/jsyml/Johns01:::Joseph Johns:::An Open Mapping Theorem for O-Minimal Structures.
journals/jsyml/Kleene63:::Stephen Cole Kleene:::An Addendum: Disjunction and Existence Under Implication in Elementary Intuitionistic Formalisms.
journals/jsyml/Jones69:::J. P. Jones:::Effectively Retractable Theories and Degrees of Undecidability.
journals/jsyml/Craig57:::William Craig:::Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem.
journals/jsyml/Simmons88:::Harold Simmons:::Large Discrete Parts of the E-Tree.
journals/jsyml/Lejeune00:::Hélène Lejeune:::Paires Élémentaires de Corps Pseudo-Finis: Dénombrement des Complétions.
journals/jsyml/Lafont97:::Yves Lafont:::The Finite Model Property for Various Fragments of Linear Logic.
journals/jsyml/Reach38:::K. Reach:::The Name Relation and the Logical Antinomies.
journals/jsyml/Thomas57:::Ivo Thomas:::Eulerian Syllogistic.
journals/jsyml/Thomas58:::Ivo Thomas:::A 12th Century Paradox of the Infinite.
journals/jsyml/Thomas91:::Simon Thomas:::Reducts of the Random Graph.
journals/jsyml/Ketonen72:::Jussi Ketonen:::On Nonregular Ultrafilters.
journals/jsyml/Benoist02:::Franck Benoist:::Rangs et Types de Rang Maximum Dans Les Corps Différentiellement Clos.
journals/jsyml/Crabbe84:::Marcel Crabbé:::Typical Ambiguity and the Axiom of Choice.
journals/jsyml/Remmel81a:::Jeffrey B. Remmel:::Recursive Boolean Algebras with Recursive Atoms.
journals/jsyml/Pour-El68:::Marian Boykan Pour-El:::Effectively Extensible Theories.
journals/jsyml/Smullyan64:::Raymond M. Smullyan:::Meeting of the Association for Symbolic Logic.
journals/jsyml/Smullyan68:::Raymond M. Smullyan:::Uniform Gentzen Systems.
journals/jsyml/Platek69:::Richard A. Platek:::Eliminating the Continuum Hypothesis.
journals/jsyml/CalaisDS74:::J. P. Calais::John Derrick::G. Sabbagh:::Meeting of the Association for Symbolic Logic: Orleans, France, 1972.
journals/jsyml/Craig89a:::William Craig:::Near-Equational and Equational Systems of Logic for Partial Functions II.
journals/jsyml/CraigQ52:::William Craig::W. V. Quine:::On Reduction to a Symmetric Relation.
journals/jsyml/Kontostathis97:::Kyriakos Kontostathis:::The Combinatorics of the Splitting Theorem.
journals/jsyml/Bunder83:::Martin W. Bunder:::A Weak Absolute Consistency Proof for Some Systems of Illative Combinatory Logic.
journals/jsyml/Bunder87:::Martin W. Bunder:::Some Consistency Proofs and a Characterization of Inconsistency Proofs in Illative Combinatory Logic.
journals/jsyml/Feiner70:::Lawrence Feiner:::Hiearchies of Boolean Algebras.
journals/jsyml/Simpson78:::Stephen G. Simpson:::Sets Which Do Not Have Subsets of Every Higher Degree.
journals/jsyml/JockuschUB72:::Carl G. Jockusch Jr.::Joseph S. Ullian::Robert B. Barrett Jr.:::Meeting of the Association for Symbolic Logic: St. Louis 1972.
journals/jsyml/Tarski39:::Alfred Tarski:::On Undecidable Statements in Enlarged Systems of Logic and the Concept of Truth.
journals/jsyml/Rothmaler84:::Philipp Rothmaler:::Some Model Theory of Modules. III. On Infiniteness of Sets Definable in Modules.
journals/jsyml/Leivant81:::Daniel Leivant:::Implicational Complexity in Intuitionistic Arithmetic.
journals/jsyml/Curry42:::Haskell B. Curry:::The Combinatory Foundations of Mathematical Logic.
journals/jsyml/Robinson54:::Abraham Robinson:::On Predicates in Algebraically Closed Fields.
journals/jsyml/Robinson65:::T. Thacher Robinson:::Interpretations of Kleene's Metamathematical Predicate T I A in Intuitionistic Arithmetic.
journals/jsyml/Robinson67:::Robert W. Robinson:::Simplicity of Recursively Enumerable Sets.
journals/jsyml/Todorcevic83:::Stevo Todorcevic:::Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set.
journals/jsyml/Coquand97:::Thierry Coquand:::Minimal Invariant Spaces in Formal Topology.
journals/jsyml/Slomson70:::A. B. Slomson:::An Algebraic Characterization of Indistinguishable Cardinals.
journals/jsyml/Quine53:::W. V. Quine:::On omega;-Inconsistency and a So-Called Axiom of Infinity.
journals/jsyml/AsperoW02:::David Asperó::Philip D. Welch:::Bounded Martin's Maximum, Weak Erdös Cardinals and psi <sub>AC</sub>.
journals/jsyml/Lake73a:::John Lake:::On an Ackermann-Type Set Theory.
journals/jsyml/Willard02:::Dan E. Willard:::How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q.
journals/jsyml/ManasterR80a:::Alfred B. Manaster::Joseph G. Rosenstein:::Two-Dimensional Partial Orderings: Undecidability.
journals/jsyml/Kalantari78:::Iraj Kalantari:::Major Subspaces of Recursively Enumerable Vector Spaces.
journals/jsyml/Baumgartner74:::James E. Baumgartner:::The Hanf Number for Complete L <sub>omega1, omega</sub> -Sentences (Without GCH).
journals/jsyml/Baumgartner80:::James E. Baumgartner:::Chains and Antichains in P(omega).
journals/jsyml/Richardson74:::Daniel Richardson:::Sets of Theorems with Short Proofs.
journals/jsyml/Cherlin76:::Gregory L. Cherlin:::Model Theoretic Algebra.
journals/jsyml/PillayS85:::Anand Pillay::Charles Steinhorn:::A Note on Nonmultidimensional Superstable Theories.
journals/jsyml/PillayS87:::Anand Pillay::Charles Steinhorn:::On Dedekind Complete O-Minimal Structures.
journals/jsyml/MetakidesP75:::George Metakides::J. M. Plotkin:::An Algebraic Characterization of Power Set in Countable Standard Models of ZF.
journals/jsyml/Zeman68b:::J. Jay Zeman:::The Semisubstitutivity of Strict Implication.
journals/jsyml/CalhounS96:::William C. Calhoun::Theodore A. Slaman:::The Pi<sub>2</sub> <sup>0</sup> Enumeration Degrees Are Not Dense.
journals/jsyml/LongoM84:::Giuseppe Longo::Eugenio Moggi:::The Hereditary Partial Effective Functionals and Recursion Theory in Higher Types.
journals/jsyml/Roche81:::Peter la Roche:::Effective Galois Theory.
journals/jsyml/Lempp88:::Steffen Lempp:::A High Strongly Noncappable Degree.
journals/jsyml/ChatzidakisP01:::Zoe Chatzidakis::Peter Pappas:::A Note on The Isomorphism Problem for SK[G].
journals/jsyml/Dries97:::Lou van den Dries:::T-Convexity and Tame Extensions II.
journals/jsyml/Keisler65a:::H. Jerome Keisler:::Some Applications of Infinitely Long Formulas.
journals/jsyml/Keisler67a:::H. Jerome Keisler:::Ultraproducts of Finite Sets.
journals/jsyml/KeislerL91:::H. Jerome Keisler::Steven C. Leth:::Meager Sets on the Hyperfinite Time Line.
journals/jsyml/Lewis98:::Andy Lewis:::Large Cardinals and Large Dilators.
journals/jsyml/Rose78b:::Bruce I. Rose:::The N<sub>1</sub>-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields.
journals/jsyml/Lascar82:::Daniel Lascar:::On the Category of Models of a Complete Theory.
journals/jsyml/Feferman68:::Solomon Feferman:::Systems of Predicative Analysis, II: Representations of Ordinals.
journals/jsyml/Scroggs51:::Schiller Joe Scroggs:::Extensions of the Lewis System S5.
journals/jsyml/Cantwell00:::John Cantwell:::Logics of Belief Change without Linearity.
journals/jsyml/Beckmann01:::Arnold Beckmann:::Exact Bounds for Lengths of Reductions in Typed lambda-Calculus.
journals/jsyml/Laflamme90:::Claude Laflamme:::Upward Directedness of the Rudin-Keisler Ordering of P-Points.
journals/jsyml/Boughattas91:::Sedki Boughattas:::L'Arithemétique Ouverte et ses Modèles Non-Standards.
journals/jsyml/Barcan46:::Ruth C. Barcan:::A Functional Calculus of First Order Based on Strict Implication.
journals/jsyml/Landver92:::Avner Landver:::Baire Numbers, Uncountable Cohen Sets and Perfect-Set Forcing.
journals/jsyml/Boolos77:::George Boolos:::On Deciding the Provability of Certain Fixed Point Statements.
journals/jsyml/Epstein89:::George Epstein:::Fifth Southeastern Logic Symposium.
journals/jsyml/LabedzkiR95:::Grzegorz Labedzki::Miroslav Repický:::Hechler Reals.
journals/jsyml/Parigot97:::Michel Parigot:::Proofs of Strong Normalisation for Second Order Classical Natural Deduction.
journals/jsyml/CummingsS95:::James Cummings::Saharon Shelah:::A Model in Which Every Boolean Algebra Has Many Subalgebras.
journals/jsyml/Mitchell74:::William J. Mitchell:::Sets Constructible from Sequences of Ultrafilters.
journals/jsyml/Mitchell79:::William Mitchell:::Ramsey Cardinals and Constructibility.
journals/jsyml/Shelah00b:::Saharon Shelah:::Applications of PCF Theory.
journals/jsyml/Shelah70a:::Saharon Shelah:::On the Cardinality of Ultraproduct of Finite Sets.
journals/jsyml/ShelahT97:::Saharon Shelah::Simon Thomas:::The Cofinality Spectrum of the Infinite Symmetric Group.
journals/jsyml/ShelahV00:::Saharon Shelah::Pauli Väisänen:::On Inverse gamma-Systems and The Number of L<sub>infinite lambda</sub>-Equivalent, Non-Isomorphic Models for lambda Singular.
journals/jsyml/Kunen78:::Kenneth Kunen:::Saturated Ideals.
journals/jsyml/Fagin94:::Ronald Fagin:::A Quantitative Analysis of Modal Logic.
journals/jsyml/Rubel92:::Lee A. Rubel:::On the Ring of Differentially-Algebraic Entire Functions.
journals/jsyml/Maass88:::Wolfgang Maass:::On the Use of Inaccessible Numbers and Order Indiscernibles in Lower Bound Arguments for Random Access Machines.
journals/jsyml/Collins54:::George E. Collins:::Distributivity and An Axiom of Choice.
journals/jsyml/Perlis72:::Donald Perlis:::An Extension of Ackermann's Set Theory.
journals/jsyml/DzamonjaS99:::Mirna Dzamonja::Saharon Shelah:::Similar But Not The Same: Various Versions of Clubs Do Not Coincide.
journals/jsyml/JaakkoH56:::K. Jaakko::Jaakko Hintikka:::Identity, Variables, and Impredicative Definitions.
journals/jsyml/Casanovas95:::Enrique Casanovas:::Compactly Expandable Models and Stability.
journals/jsyml/AndrekaDN95:::Hajnal Andréka::Ivo Düntsch::István Németi:::Expressibility of Properties of Relations.
journals/jsyml/Florence69:::J. B. Florence:::Partially Ordered Sets Representable by Recursively Enumerable Classes.
journals/jsyml/AndrekaNT90:::Hajnal Andréka::István Németi::R. J. Thompson:::Weak Cylindric Set Algebra and Weak Subdirect Indecomposability.
journals/jsyml/Velleman84a:::Dan Velleman:::Simplified Morasses with Linear Limits.
journals/jsyml/KalantariR83:::Iraj Kalantari::Jeffrey B. Remmel:::Degrees of Recursively Enumerable Topological Spaces.
journals/jsyml/LermanR84:::Manuel Lerman::Jeffrey B. Remmel:::The Universal Splitting Property. II.
journals/jsyml/Friedman73:::Harvey Friedman:::The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic.
journals/jsyml/Friedman89:::Sy D. Friedman:::Coding Over a Measurable Cardinal.
journals/jsyml/Soare69b:::Robert I. Soare:::Constructive Order Types on Cuts.
journals/jsyml/Mansfield73:::Richard Mansfield:::On the Possibility of a Sigma<sup>1</sup> <sub>2</sub> Well-Ordering of the Baire Space.
journals/jsyml/Bigelow98:::Stephen Bigelow:::Supplements of Bounded Permutation Groups.
journals/jsyml/Thomson67:::James Thomson:::Proof of the Law of Infinite Conjunction using the Perfect Disjunctive Normal Form.
journals/jsyml/Vaught62:::Robert L. Vaught:::Twenty-Eighth Annual Meeting of the Association for Symbolic Logic.
journals/jsyml/Vaught67:::Robert L. Vaught:::Axiomatizability by a Schema.
journals/jsyml/Schonfeld79:::Wolfgang Schönfeld:::An Undecidability Result for Relation Algebras.
journals/jsyml/Smith87:::Stuart T. Smith:::Nonstandard Characterizations of Recursive Saturation and Resplendency.
journals/jsyml/Smith92:::Stuart T. Smith:::Prime Numbers and Factorization in IE<sub>1</sub> and Weaker Systems.
journals/jsyml/Baylis47:::Charles A. Baylis:::Ninth Meeting of the Association for Symbolic Logic.
journals/jsyml/PodewskiR79:::K.-P. Podewski::Joachim Reineke:::Algebraically Closed Commutative Local Rings.
journals/jsyml/Langford39:::C. H. Langford:::A Theorem on Deducibility for Second-Order Functions.
journals/jsyml/Kurilic01:::Milos S. Kurilic:::Cohen-Stable Families of Subsets of Integers.
journals/jsyml/Pazdyka93:::Pawel Pazdyka:::Definability of Models by Means of Existential Formulas without Identity.
journals/jsyml/Macpherson91:::Dugald Macpherson:::Interpreting Groups in omega-Categorical Structures.
journals/jsyml/Goldberg63:::Richard Goldberg:::On the Solvability of a Subclass of the Suranyi Reduction Class.
journals/jsyml/Ben-Yaacov02:::Itay Ben-Yaacov:::Group Configurations and Germs in Simple Theories.
journals/jsyml/Millar86b:::Terry Millar:::Bad Models in Nice Neighborhoods.
journals/jsyml/Montagna92:::Franco Montagna:::Polynomially and Superexponentially Shorter Proofs in Fragments of Logic.
journals/jsyml/Knight73:::Julia F. Knight:::Complete Types and the Natural Numbers.
journals/jsyml/Knight75:::Julia F. Knight:::Types Omitted in Uncountable Models of Arithmetic.
journals/jsyml/Knight77:::Julia F. Knight:::A Complete L <sub> omega 1omega</sub> -Sentence Characterizing N<sub>1</sub>.
journals/jsyml/Fitch54:::Frederic Brenton Fitch:::A Definition of Negation in Extended Basic Logic.
journals/jsyml/Buechler87:::Steven Buechler:::Isolated Types in a Weakly Minimal Set.
journals/jsyml/CherlinT02:::Gregory Cherlin::Simon Thomas:::Two Cardinal Properties of Homogeneous Graphs.
journals/jsyml/Shioya93:::Masahiro Shioya:::Weakly Normal Closures of Filters on P<sub>kappa</sub>lambda.
journals/jsyml/Mints91:::Grigori Mints:::Proof Theory in the USSR 1925-1969.
journals/jsyml/Steel81:::John R. Steel:::Determinateness and the Separation Property.
journals/jsyml/Remmel76:::Jeffrey B. Remmel:::Co-Hypersimple Structures.
journals/jsyml/Goldfarb84:::Warren D. Goldfarb:::The Unsolvability of the Godel Class with Identity.
journals/jsyml/Madison70:::Eugene W. Madison:::A Note on Computable Real Fields.
journals/jsyml/Stern83:::J. Stern:::The Herbrand Symposium: (Marseilles July 16-July 24 1981).
journals/jsyml/Myhill52a:::John R. Myhill:::A Derivation of Number Theory from Ancestral Theory.
journals/jsyml/Myhill53b:::John R. Myhill:::Arithmetic with Creative Definitions by Induction.
journals/jsyml/BeckerJ01:::Howard Becker::Steve Jackson:::Supercompactness within The Projective Hierarchy.
journals/jsyml/EndertonP70:::Herbert B. Enderton::Hilary Putnam:::A Note on the Hyperarithmetical Hierarchy.
journals/jsyml/MinariTO90:::Pierluigi Minari::Mitio Takano::Hiroakira Ono:::Intermediate Predicate Logics Determined by Ordinals.
journals/jsyml/Pudlak85:::Pavel Pudlák:::Cuts, Consistency Statements and Interpretations.
journals/jsyml/Givant99:::Steven Givant:::Universal Classes of Simple Relation Algebras.
journals/jsyml/HenleKW84:::James M. Henle::E. M. Kleinberg::R. J. Watro:::On the Ultrafilters and Ultrapowers of Strong Partition Cardinals.
journals/jsyml/LeggettS76:::Anne Leggett::Richard A. Shore:::Types of Simple alpha-Recursively Enumerable Sets.
journals/jsyml/Kumabe90:::Masahiro Kumabe:::A 1-Generic Degree which Bounds a Minimal Degree.
journals/jsyml/Kumabe93:::Masahiro Kumabe:::Every n-Generic Degree Is a Minimal Cover of an n-Generic Degree.
journals/jsyml/Wheeler78:::William H. Wheeler:::A Characterization of Companionable, Universal Theories.
journals/jsyml/Wheeler83:::William H. Wheeler:::Model-Complete Theories of Formally Real Fields and Formally p-Adic Fields.
journals/jsyml/BurrisMV91:::Stanley Burris::Ralph McKenzie::Matthew Valeriote:::Decidable Discriminator Varieties from Unary Varieties.
journals/jsyml/YuefeiZ99:::Sui Yuefei::Zaiyue Zhang:::The Cupping Theorem in R/M.
journals/jsyml/Kleinberg69:::E. M. Kleinberg:::The Independence of Ramsey's Theorem.
journals/jsyml/Kleinberg73:::E. M. Kleinberg:::Rowbottom Cardinals and Jonsson Cardinals are Almost the Same.
journals/jsyml/CruzHHRS02:::Omar de la Cruz::Eric Hall::Paul E. Howard::Jean E. Rubin::Adrienne Stanley:::Definitions of Compactness and The Axiom of Choice.
journals/jsyml/Wesley71:::Eugene Wesley:::An Application of Nonstandard Analysis to Game Theory.
journals/jsyml/DowneyH94:::Rodney G. Downey::Christine Ann Haught:::Embedding Lattices into the wtt-Degrees below 0'.
journals/jsyml/DowneyL97:::Rodney G. Downey::Steffen Lempp:::Contiguity and Distributivity in the Enumerable Turing Degrees.
journals/jsyml/MeyerM84:::Robert K. Meyer::Chris Mortensen:::Inconsistent Models for Relevant Arithmetics.
journals/jsyml/Moses88:::Michael Moses:::Decidable Discrete Linear Orders.
journals/jsyml/Koepke98:::Peter Koepke:::Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem.
journals/jsyml/Schimmerling99:::Ernest Schimmerling:::A Finite Family Weak Square Principle.
journals/jsyml/Oliver52:::James Willard Oliver:::Fourteenth Meeting of the Association for Symbolic Logic.
journals/jsyml/DawesF75:::A. M. Dawes::J. B. Florence:::Independent Godel Sentences and Independent Sets.
journals/jsyml/Solomon78:::Martin K. Solomon:::Some Results on Measure Independent Godel Speed-Ups.
journals/jsyml/Henrion87:::Claudia Henrion:::Properties of Subtle Cardinals.
journals/jsyml/Pheidas94:::Thanases Pheidas:::Extensions of Hilbert's Tenth Problem.
journals/jsyml/HindleyM90:::J. Roger Hindley::David Meredith:::Principal Type-Schemes and Condensed Detachment.
journals/jsyml/Mayberry85:::John Mayberry:::Global Quantification in Zermelo-Fraenkel Set Theory.
journals/jsyml/Ignjatovic94:::Aleksandar Ignjatovic:::Hilbert's Program and the Omega-Rule.
journals/jsyml/Kakuda81:::Yuzuru Kakuda:::On a Condition for Cohen Extensions which Preserve Precipitous Ideals.
journals/jsyml/Takeuti94a:::Gaisi Takeuti:::Grzegorcyk's Hierarchy and Iep Sigma<sub>1</sub>.
journals/jsyml/McNulty76:::George F. McNulty:::Undecidable Properties of Finite Sets of Equations.
journals/jsyml/Lopez-Escobar82:::E. G. K. López-Escobar:::Implicational Logics in Natural Deduction Systems.
journals/jsyml/Lopez-Escobar83:::E. G. K. López-Escobar:::A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".
journals/jsyml/Lopez-Escobar88:::E. G. K. López-Escobar:::Circumscription within Monotonic Inferences.
journals/jsyml/Barbanel86:::Julius B. Barbanel:::Supercompact Cardinals, Trees of Normal Ultrafilters, and the Partition Property.
journals/jsyml/Barbanel92:::Julius B. Barbanel:::A Note on a Result of Kunen and Pelletier.
journals/jsyml/Hajek77:::Petr Hájek:::Experimental Logics and pi<sup>0</sup> <sub>3</sub> Theories.
journals/jsyml/Fernando94:::Tim Fernando:::Bisimulations and Predicate Logic.
journals/jsyml/Umezawa59:::Toshio Umezawa:::On Intermediate Propositional Logics.
journals/jsyml/Lindstrom89:::Ingrid Lindstrom:::A Construction of Non-Well-Founded Sets within Martin-Lof's Type Theory.
journals/jsyml/Zambella98:::Domenico Zambella:::Foundation Versus Induction in Kripke-Platek Set Theory.
journals/jsyml/StebletsovaV01:::Vera Stebletsova::Yde Venema:::Undecidable Theories of Lyndon Algebras.
journals/jsyml/BunderD01:::Martin W. Bunder::Wil Dekkers:::Pure Type Systems with More Liberal Rules.
journals/jsyml/MourguesR93:::M. H. Mourgues::J.-P. Ressayre:::Every Real Closed Field Has an Integer Part.
journals/jsyml/Lemmon66a:::E. J. Lemmon:::Algebraic Semantics for Modal Logics II.
journals/jsyml/Simons53:::Leo Simons:::New Axiomatizations of S3 and S4.
journals/jsyml/RubinS83:::Matatyahu Rubin::Saharon Shelah:::On the Expressibility Hierarchy of Magidor-Malitz Quantifiers.
journals/jsyml/Garavaglia79:::Steven Garavaglia:::Direct Product Decomposition of Theories of Modules.
journals/jsyml/Ackermann50:::Wilhelm Ackermann:::Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur.
journals/jsyml/GabbayQ92:::Dov M. Gabbay::Ruy J. G. B. de Queiroz:::Extending the Curry-Howard Interpretation to Linear, Relevant and Other Resource Logics.
journals/jsyml/Brendle93:::Jörg Brendle:::Amoeba-Absoluteness and Projective Measurability.
journals/jsyml/Carnielli87:::Walter Alexandre Carnielli:::Systematization of Finite Many-Valued Logics Through the Method of Tableaux.
journals/jsyml/Kohlenbach92:::Ulrich Kohlenbach:::Effective Bounds from Ineffective Proofs in Analysis: An Application of Functional Interpretation and Majorization.
journals/jsyml/BlancP75:::Georges Blanc::Anne Preller:::Lawvere's Basic Theory of the Category of Categories.
journals/jsyml/Maddux94:::Roger D. Maddux:::Undecidable Semiassociative Relation Algebras.
journals/jsyml/Lorenzen58:::Paul Lorenzen:::Logical Reflection and Formalism.
journals/jsyml/Berline81:::Chantal Berline:::Rings Which Admit Elimination of Quantifiers.
journals/jsyml/Becker81:::Howard Becker:::Ad and the Supercompactness of <sub>1</sub>.
