journals/jolli/Stachniak95:::Zbigniew Stachniak:::Nonmonotonic Theories and Their Axiomatic Varieties.
journals/jolli/DorreKG96:::Jochen Dörre::Esther König::Dov M. Gabbay:::Fibred Semantics for Feature-Based Grammar Logic.
journals/jolli/Harnad00:::S. Harnad:::Minds, Machines and Turing.
journals/jolli/Kracht02:::Marcus Kracht:::Referent Systems and Relational Grammar.
journals/jolli/Kracht95:::Marcus Kracht:::Syntactic Codes and Grammar Refinement.
journals/jolli/EngelfrietT98:::Joeri Engelfriet::Jan Treur:::An Interpretation of Default Logic in Minimal Temporal Epistemic Logic.
journals/jolli/FriedmanH99:::Nir Friedman::Joseph Y. Halpern:::Belief Revision: A Critique.
journals/jolli/Hustadt01:::Ullrich Hustadt:::Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger.
journals/jolli/Zielonka01:::Wojciech Zielonka:::Cut-Rule Axiomatization of the Syntactic Calculus L0.
journals/jolli/Rosati99:::Riccardo Rosati:::Reasoning about Minimal Knowledge in Nonmonotonic Modal Logics.
journals/jolli/BicchieriA95:::Cristina Bicchieri::Gian Aldo Antonelli:::Game-Theoretic Axioms for Local Rationality and Bounded Knowledge.
journals/jolli/Pagliani97:::Piero Pagliani:::Information Gaps as Communication Needs: A New Semantic Foundation for Some Non-Classical Logics.
journals/jolli/Ranta98:::Aarne Ranta:::Syntactic Calculus with Dependent Types.
journals/jolli/Sundholm97:::Göran Sundholm:::Implicit Epistemic Aspects of Constructive Logic.
journals/jolli/Vermeulen00a:::C. F. M. Vermeulen:::Text Structure and Proof Structure.
journals/jolli/JamnikBG99:::Mateja Jamnik::Alan Bundy::Ian Green:::On Automating Diagrammatic Proofs of Arithmetic Arguments.
journals/jolli/Nivelle98:::Hans de Nivelle:::The Resolution Calculus, Alexander Leitsch.
journals/jolli/RyanS97:::Mark Ryan::Pierre-Yves Schobbens:::Counterfactuals and Updates as Inverse Modalities.
journals/jolli/Borghuis98:::Tijn Borghuis:::Modal Pure Type Systems.
journals/jolli/Bochman02:::Alexander Bochman:::Entrenchment versus Dependence: Coherence and Foundations inBelief Change.
journals/jolli/MeyerLH00a:::Thomas Andreas Meyer::Willem Adrian Labuschagne::Johannes Heidema:::Infobase Change: A First Approximation.
journals/jolli/Knight03:::Kevin M. Knight:::Two Information Measures for Inconsistent Sets.
journals/jolli/AmatiAP94:::Gianni Amati::Luigia Carlucci Aiello::Fiora Pirri:::Defaults as restrictions on classical Hilbert-style proofs.
journals/jolli/HartmannZ01:::Katharina Hartmann::Thomas Ede Zimmermann:::Introduction to Natural Language Semantics, Henriëtte de Swart.
journals/jolli/Kamide02:::Norihiro Kamide:::Substructural Logics with Mingle.
journals/jolli/PaginW01:::Peter Pagin::Dag Westerståhl:::Editorial: Compositionality: Current Issues.
journals/jolli/Royakkers00:::Lambèr M. M. Royakkers:::Henry Prakken: Logical Tools for Modelling Legal Argument: A Study of Defeasible Reasoning in Law.
journals/jolli/Aiello01:::Marco Aiello:::Roberto Casati and Achille Varzi, Parts and Places, The Structures of Spatial Representation.
journals/jsyml/MontagnaS89:::Franco Montagna::Andrea Sorbi:::Creativeness and Completeness in Recursion Categories of Partial Recursive Operators.
journals/jsyml/Bell83:::John L. Bell:::On the Strength of the Sikorski Extension Theorem for Boolean Algebras.
journals/jsyml/Bell95:::J. L. Bell:::Type Reducing Correspondences and Well-Orderings: Frege's and Zermelo's Constructions Re-examined.
journals/jsyml/Nelson55a:::Raymond J. Nelson:::Weak Simplest Normal Truth Functions.
journals/jsyml/Rathjen99:::Michael Rathjen:::Explicit Mathematics with The Monotone Fixed Point Principle. II: Models.
journals/jsyml/Bing56:::Kurt Bing:::On Simplifying Truth-Functional Formulas.
journals/jsyml/Perkins89:::Peter Perkins:::Finite Axiomatizability for Equational Theories of Computable Groupoids.
journals/jsyml/Biro92:::Balázs Biró:::Non-Finite-Axiomatizability Results in Algebraic Logic.
journals/jsyml/Simonetta98:::Patrick Simonetta:::Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien.
journals/jsyml/PaolaH87:::Robert A. Di Paola::Alex Heller:::Dominical Categories: Recursion Theory without Elements.
journals/jsyml/Williamson90:::Timothy Williamson:::Two Incomplete Anti-Realist Modal Epistemic Logics.
journals/jsyml/Hodges80:::Wilfrid Hodges:::Constructing Pure Injective Hulls.
journals/jsyml/HarnikM92:::Victor Harnik::Michael Makkai:::Lambek's Categorical Proof Theory and Läuchli's Abstract Realizability.
journals/jsyml/Guaspari74:::David Guaspari:::A Note on the Kondo-Addison Theorem.
journals/jsyml/Kreisel51:::G. Kreisel:::On the Interpretation of Non-Finitist Proofs - Part I.
journals/jsyml/Kreisel52:::G. Kreisel:::On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
journals/jsyml/Spreen00:::Dieter Spreen:::Corrigendum.
journals/jsyml/Grilliot71:::Thomas J. Grilliot:::On Effectively Discontinuous Type-2 Objects.
journals/jsyml/Burr00:::Wolfgang Burr:::Fragments of Heyting Arithmetic.
journals/jsyml/Rothmaler83a:::Philipp Rothmaler:::Some Model Theory of Modules. II. On Stability and Categoricity of Flat Modules.
journals/jsyml/Carbone02:::A. Carbone:::The Cost of A Cycle Is A Square.
journals/jsyml/Lachlan64:::Alistair H. Lachlan:::Effective Operations in a General Setting.
journals/jsyml/Fitting84:::Melvin Fitting:::Linear Reasoning in Modal Logic.
journals/jsyml/McCallM66:::Storrs McCall::Robert K. Meyer:::Pure Three-Valued Lukasiewiczian Implication.
journals/jsyml/Nyberg76:::Anders M. Nyberg:::Uniform Inductive Definability and Infinitary Languages.
journals/jsyml/OshersonSW88:::Daniel N. Osherson::Michael Stob::Scott Weinstein:::Mechanical Learners Pay a Price for Bayesianism.
journals/jsyml/McCarty88:::Charles McCarty:::Constructive Validity is Nonarithmetic.
journals/jsyml/Dodd83:::A. J. Dodd:::Core Models.
journals/jsyml/BrownS93:::Douglas K. Brown::Stephen G. Simpson:::The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic.
journals/jsyml/Okada88:::Mitsuhiro Okada:::On a Theory of Weak Implications.
journals/jsyml/Dunn70:::J. Michael Dunn:::Algebraic Completeness Results for R-Mingle and Its Extensions.
journals/jsyml/Alton76:::Donald A. Alton:::Diversity of Speed-Ups and Embeddability in Computational Complexity.
journals/jsyml/Mcleish97:::S. J. Mcleish:::The Forth Part of the Back and Forth Map in Countable Homogeneous Structures.
journals/jsyml/Villaveces99:::Andrés Villaveces:::Heights of Models of ZFC and The Existence of End Elementary Extensions II.
journals/jsyml/Schlindwein94:::Chaz Schlindwein:::Consistency of Suslin's Hypothesis, a Nonspecial Aronszajn Tree, and GCH.
journals/jsyml/Kremer97a:::Philip Kremer:::Defining Relevant Implication in a Propositionally Quantified S4.
journals/jsyml/Muraki99:::Hisato Muraki:::Non-Distributive Upper Semilattice of Kleene Degrees.
journals/jsyml/Johnson78:::Nancy Johnson:::Classifications of Generalized Index Sets of Open Classes.
journals/jsyml/Johnson89:::C. A. Johnson:::On Ideals and Stationary Reflection.
journals/jsyml/Makkai69:::Michael Makkai:::On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers.
journals/jsyml/Turquette53:::Atwell R. Turquette:::Fifteenth Meeting of the Association for Symbolic Logic.
journals/jsyml/BarwiseT88:::K. Jon Barwise::Richmond H. Thomason:::Logic and Linguistics Meeting, Stanford, 1987.
journals/jsyml/KnightN82:::Julia F. Knight::Mark E. Nadel:::Expansions of Models and Turing Degrees.
journals/jsyml/Malhas87:::Othman Qasim Malhas:::Quantum Logic and the Classical Propositional Calculus.
journals/jsyml/Hall49:::Marshall Hall Jr.:::The Word Problem for Semigroups with Two Generators.
journals/jsyml/Malitz83:::Jerome I. Malitz:::Downward Transfer of Satisfiability for Sentences of L <sup>1, 1</sup>.
journals/jsyml/Schmerl89:::James H. Schmerl:::Partially Ordered Sets and the Independence Property.
journals/jsyml/Dreben58:::Burton S. Dreben:::Twenty-Second Annual Meeting of the Association for Symbolic Logic.
journals/jsyml/GrifforN84:::Edward R. Griffor::Dag Normann:::The Definability of E(alpha).
journals/jsyml/Raatikainen03:::Panu Raatikainen:::Some strongly undecidable natural arithmetical problems, with an application to intuitionistic theories.
journals/jsyml/CasanovasW02:::Enrique Casanovas::Frank O. Wagner:::Local Supersimplicity and Related Concepts.
journals/jsyml/LemppN95:::Steffen Lempp::André Nies:::The Undecidability of the Pi<sub>4</sub>-Theory for the R. E. WTT and Turing Degrees.
journals/jsyml/Abe85:::Yoshihiro Abe:::Some Results Concerning Strongly Compact Cardinals.
journals/jsyml/Baizhanov01:::Bektur Sembiuly Baizhanov:::Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates.
journals/jsyml/Ash91:::C. J. Ash:::A Construction for Recursive Linear Orderings.
journals/jsyml/Paola81:::Robert A. Di Paola:::A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions.
journals/jsyml/Wagner00:::Frank O. Wagner:::Minimal Fields.
journals/jsyml/Wagner90:::Frank O. Wagner:::Subgroups of Stable Groups.
journals/jsyml/Tsuboi85:::Akito Tsuboi:::On Theories Having a Finite Number of Nonisomorphic Countable Models.
journals/jsyml/Tsuboi93:::Akito Tsuboi:::Algebraic Types and Automorphism Groups.
journals/jsyml/Gal58:::L. Novak Gal:::A Note on Direct Products.
journals/jsyml/Hay69:::Louise Hay:::Index Sets of Finite Classes of Recursively Enumerable Sets.
journals/jsyml/Hook85:::Julian L. Hook:::A Note on Interpretations of Many-Sorted Theories.
journals/jsyml/Belnap60:::Nuel Belnap:::Entailment and Relevance.
journals/jsyml/Baudisch02:::Andreas Baudisch:::Generic Variations of Models of T.
journals/jsyml/Lih78:::Ko-Wei Lih:::Type Two Partial Degrees.
journals/jsyml/Lob53:::M. H. Lob:::Concatenation as Basis for a Complete System of Arithmetic.
journals/jsyml/Lob62:::M. H. Lob:::Meeting of the Association for Symbolic Logic, Leeds 1962.
journals/jsyml/Low94:::Lee Fong Low:::Lattice of Algebraically Closed Sets in One-Based Theories.
journals/jsyml/CrossleyH81:::John N. Crossley::Lloyd Humberstone:::Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979.
journals/jsyml/Hallden51:::Soren Hallden:::On the Semantic Non-Completeness of Certain Lewis Calculi.
journals/jsyml/Jahn99:::Michael A. Jahn:::Implicit Measurements of Dynamic Complexity Properties and Splittings of Speedable Sets.
journals/jsyml/Jech87:::Thomas Jech:::A Hierarchy of Filters On Regular Uncountable Cardinals.
journals/jsyml/Poston95:::Robert J. Poston:::Defining Multiplication in o-Minimal Expansions of the Additive Reals.
journals/jsyml/Curry41a:::Haskell B. Curry:::Consistency and Completeness of the Theory of Combinators.
journals/jsyml/CooperS96:::S. Barry Cooper::Andrea Sorbi:::Noncappable Enumeration Degrees Below 0'<sub>e</sub>.
journals/jsyml/JockuschS93:::Carl G. Jockusch Jr.::Theodore A. Slaman:::On the Sigma<sub>2</sub>-Theory of the Upper Semilattice of Turing Degrees.
journals/jsyml/LoveysT96:::James Loveys::Predrag Tanovic:::Countable Models of Trivial Theories Which Admit Finite Coding.
journals/jsyml/Hailperin57a:::Theodore Hailperin:::A Theory of Restricted Quantification II.
journals/jsyml/Pillay78:::Anand Pillay:::Number of Countable Models.
journals/jsyml/Pillay97:::Anand Pillay:::Remarks on Galois Cohomology and Definability.
journals/jsyml/Pillay98:::Anand Pillay:::Definability and Definable Groups in Simple Theories.
journals/jsyml/Levy60:::Azriel Levy:::A Generalization of Godel's Notion of Constructibility.
journals/jsyml/Lerman70:::Manuel Lerman:::Turing Degrees and Many-One Degrees of Maximal Sets.
journals/jsyml/Lerman76:::Manuel Lerman:::Congruence Relations, Filters, Ideals, and Definability in Lattices of alpha-Recursively Enumerable Sets.
journals/jsyml/Herrmann83:::Eberhard Herrmann:::Orbits of Hyperhypersimple Sets and the Lattice of Sigma<sup>0</sup> <sub>3</sub> Sets.
journals/jsyml/Petry92:::A. Pétry:::Stratified Languages.
journals/jsyml/Welch03:::Philip D. Welch:::On revision operators.
journals/jsyml/Venema95:::Yde Venema:::Cylindrical Modal Logic.
journals/jsyml/Kanovei95:::Vladimir Kanovei:::Uniqueness, Collection, and External Collapse of Cardinals in IST and Models of Peano Arithmetic.
journals/jsyml/Wesep78:::Robert A. Van Wesep:::Separation Principles and the Axiom of Determinateness.
journals/jsyml/Monk01:::J. Donald Monk:::Continuum Cardinals Generalized to Boolean Algebras.
journals/jsyml/Gerson75:::Martin Gerson:::The Inadequacy of the Neighbourhood Semantics for Modal Logic.
journals/jsyml/Beklemishev96:::Lev D. Beklemishev:::Bimodal Logics for Extensions of Arithmetical Theories.
journals/jsyml/PalmgrenS97:::Erik Palmgren::Viggo Stoltenberg-Hansen:::A Logical Presentation of the Continuous Functionals.
journals/jsyml/Avron00:::Arnon Avron:::Implicational F-Structures and Implicational Relevance Logics.
journals/jsyml/Antonelli98:::Gian Aldo Antonelli:::Extensional Quotients for Type Theory and the Consistency Property for NF.
journals/jsyml/Antonelli99:::Gian Aldo Antonelli:::Free Set Algebras Satisfying Systems of Equations.
journals/jsyml/Pelc84:::Andrzej Pelc:::Idempotent Ideals on Abelian Groups.
journals/jsyml/BlokK83:::W. J. Blok::P. Kohler:::Algebraic Semantics for Quasi-Classical Modal Logics.
journals/jsyml/Orey56:::Steven Orey:::On omega-Consistency and Related Properties.
journals/jsyml/WolterZ01:::Frank Wolter::Michael Zakharyaschev:::Decidable Fragments of First-Order Modal Logics.
journals/jsyml/Mostowski48:::Andrzej Mostowski:::Proofs of Non-Deducibility in Intuitionistic Functional Calculus.
journals/jsyml/Otto00:::Martin Otto:::Epsilon-Logic Is More Expressive Than First-Order Logic Over Finite Structures.
journals/jsyml/ApterH86:::Arthur W. Apter::James M. Henle:::Large Cardinal Structures Below alef<sub>omega</sub>.
journals/jsyml/Post36:::Emil L. Post:::Finite Combinatory Processes-Formulation 1.
journals/jsyml/Post46:::Emil L. Post:::Note on a Conjecture of Skolem.
journals/jsyml/ArtemovM94:::Sergei N. Artëmov::Franco Montagna:::On First-Order Theories with Provability Operator.
journals/jsyml/McNaughton51:::Robert McNaughton:::A Theorem About Infinite-Valued Sentential Logic.
journals/jsyml/Haught86:::Christine Ann Haught:::The Degrees Below A 1-Generic Degree &lt; 0?
journals/jsyml/Lubarsky88a:::Robert S. Lubarsky:::Definability and Initial Segments of c-Degrees.
journals/jsyml/Slaman86:::Theodore A. Slaman:::On the Kleene Degrees of pi<sup>1</sup> <sub>1</sub> Sets.
journals/jsyml/BunderHS89:::Martin W. Bunder::J. Roger Hindley::Jonathan P. Seldin:::On Adding (xi) to Weak Equality in Combinatory Logic.
journals/jsyml/Sagi00:::Gábor Sági:::A Completeness Theorem for Higher Order Logics.
journals/jsyml/Hassett69:::Matthew J. Hassett:::Recursive Equivalence Types and Groups.
journals/jsyml/Hirschfeldt01:::Denis R. Hirschfeldt:::Degree Spectra of Intrinsically C.E. Relations.
journals/jsyml/Rose53:::Alan Rose:::Conditioned Disjunction as a Primitive Connective for the Erweiterter Aussagenkalkul.
journals/jsyml/Rose78:::Bruce I. Rose:::Rings which Admit Elimination of Quantifiers.
journals/jsyml/Rose79:::Bruce I. Rose:::Corrigendum: "Rings which Admit Elimination of Quantifiers".
journals/jsyml/Ellentuck76:::Erik Ellentuck:::Categoricity Regained.
journals/jsyml/Sieg88:::Wilfried Sieg:::Hilbert's Program Sixty Years Later.
journals/jsyml/Yukami86:::Tsuyoshi Yukami:::Taking Out LK Parts from a Proof in Peano Arithmetic.
journals/jsyml/Goodman39:::Nelson Goodman:::Fifth Meeting of the Association for Symbolic Logic.
journals/jsyml/Goodman49:::Nelson Goodman:::The Logical Simplicity of Predicates.
journals/jsyml/Goodman52:::Nelson Goodman:::New Notes on Simplicity.
journals/jsyml/Carroll90:::Jeffrey S. Carroll:::Maximal R.E. Equivalence Relations.
journals/jsyml/JechMMP80:::Thomas Jech::Menachem Magidor::W. Mitchell::Karel Prikry:::Precipitous Ideals.
journals/jsyml/Rosenberg68:::James Rosenberg:::Functional Completeness in One Variable.
journals/jsyml/ArrudaCCC83:::Ayda I. Arruda::Xavier Caicedo::Rolando Chuaqui::Newton C. A. da Costa:::Meeting of the Association for Symbolic Logic: Bogota, Colombia, 1981.
journals/jsyml/Stob82:::Michael Stob:::Index Sets and Degrees of Unsolvability.
journals/jsyml/Church76:::Alonzo Church:::Comparison of Russell's Resolution of the Semantical Antinomies with that of Tarski.
journals/jsyml/AdlemanB91:::Leonard M. Adleman::M. Blum:::Inductive Inference and Unsolvability.
journals/jsyml/SchimmerlingS96:::Ernest Schimmerling::John R. Steel:::Fine Structure for Tame Inner Models.
journals/jsyml/Matsubara88:::Yo Matsubara:::Splitting P <sub>k</sub> lambda into Stationary Subsets.
journals/jsyml/Nelson66:::David Nelson:::Non-Null Implication.
journals/jsyml/Porte58:::Jean Porte:::Schemas Pour Le Calcul Des Propositions Fonde Sur La Conjonction Et La Negation.
journals/jsyml/AltinelC99:::Tuna Altinel::Gregory Cherlin:::On Central Extensions of Algebraic Groups.
journals/jsyml/Bruce80:::Kim B. Bruce:::Model Constructions in Stationary Logic. Part I. Forcing.
journals/jsyml/Wang53:::Hao Wang:::Certain Predicates Defined by Induction Schemata.
journals/jsyml/LascarP79:::Daniel Lascar::Bruno Poizat:::An Introduction to Forking.
journals/jsyml/Komjath99:::Péter Komjáth:::Some Remarks on the Partition Calculus of Ordinals.
journals/jsyml/DelonF96:::Françoise Delon::Rafel Farré:::Some Model Theory for Almost Real Closed Fields.
journals/jsyml/DelonG91:::Françoise Delon::Danielle Gondard:::XVIIème Problème de Hilbert sur les Corps Chaiîne-Clos.
journals/jsyml/Buchi53:::J. Richard Büchi:::Investigation of the Equivalence of the Axiom of Choice and Zorn's Lemma from the Viewpoint of the Hierarchy of Types.
journals/jsyml/Prati94:::N. Prati:::A Partial Model of NP with E.
journals/jsyml/Merrill90:::John W. L. Merrill:::UFA Fails in the Bell-Kunen Model.
journals/jsyml/Rosser37:::J. Barkley Rosser:::Godel Theorems for Non-Constructive Logics.
journals/jsyml/Prest99:::Mike Prest:::Tensor Product and Theories of Modules.
journals/jsyml/Prior58:::A. N. Prior:::Peirce's Axioms for Propositional Calculus.
journals/jsyml/Mycielski95:::Jan Mycielski:::New Set-Theoretic Axioms Derived from a Lean Metamathematics.
journals/jsyml/McKinsey40a:::J. C. C. McKinsey:::Proof That There are Infinitely Many Modalities in Lewis's System S<sub>2</sub>.
journals/jsyml/Wilkie94:::A. J. Wilkie:::On Defining C<sup>infty</sup>.
journals/jsyml/ButzM99:::Carsten Butz::Ieke Moerdijk:::An Elementary Definability Theorem for First Order Logic.
journals/jsyml/Clark73:::Ian D. Clark:::An Axiomatisation of Quantum Logic.
journals/jsyml/Clark89:::David M. Clark:::The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras.
journals/jsyml/ApostoliB95:::Peter Apostoli::Bryson Brown:::A Solution to the Completeness Problem for Weakly Aggregative Modal Logic.
journals/jsyml/BaldwinMST76:::John T. Baldwin::Donald A. Martin::Robert I. Soare::William W. Tait:::Meeting of the Association for Symbolic Logic.
journals/jsyml/Kearns81:::John T. Kearns:::Modal Semantics without Possible Worlds.
journals/jsyml/Dalen84:::Dirk van Dalen:::How to Glue Analysis Models.
journals/jsyml/Dalen97:::Dirk van Dalen:::How Connected Is the Intuitionistic Continuum?
journals/jsyml/Stanley92:::M. C. Stanley:::Forcing Disable.
journals/jsyml/Clote86:::Peter Clote:::A Generalization of the Limit Lemma and Clopen Games.
journals/jsyml/Lachlan66b:::Alistair H. Lachlan:::A Note on Universal Sets.
journals/jsyml/Groszek87:::Marcia J. Groszek:::Combinatorics on Ideals and Forcing with Trees.
journals/jsyml/Dickmann88:::M. A. Dickmann:::The Model Theory of Chain-Closed Fields.
journals/jsyml/Barendregt73:::Henk Barendregt:::A Characterization of Terms of the lambda I-Calculus Having a Normal Form.
journals/jsyml/McLarty92:::Colin McLarty:::Failure of Cartesian Closedness in NF.
journals/jsyml/KrachtW91:::Marcus Kracht::Frank Wolter:::Properties of Independently Axiomatizable Bimodal Logics.
journals/jsyml/Shepherdson56:::John C. Shepherdson:::On the Interpretation of Aristotelian Syllogistic.
journals/jsyml/HaughtS90:::Christine Ann Haught::Richard A. Shore:::Undecidability and Initial Segments of the R.E. tt-Degrees.
journals/jsyml/Elgueta99:::Raimon Elgueta:::Freeness in Classes Without Equality.
journals/jsyml/Cohen58:::L. Jonathan Cohen:::Professor Goodstein's Formalisation of the Policeman.
