Miscellaneous front pages, J. Symbolic Logic, Volume 48, Issue 1 (1983)

• View Abstract

A Gentzen- or Beth-Type System, a Practical Decision Procedure and a Constructive Completeness Proof for the Counterfactual Logics $VC$ and $VC$S

H. C. M. de Swart; 1-20

• View Abstract

Indiscernibles and Decidable Models

H. A. Kierstead and J. B. Remmel; 21-32

• View Abstract

On the Standard Part of Nonstandard Models of Set Theory

Menachem Magidor, Saharon Shelah and Jonathan Stavi; 33-38

• View Abstract

On Generic Extensions Without the Axiom of Choice

G. P. Monro; 39-52

• View Abstract

Logic of Reduced Power Structures

G. C. Nelson; 53-59

• View Abstract

Post-Scriptum $\grave{A}$"Th$\acute{e}$ories Instables"

Bruno Poizat; 60-62

• View Abstract

Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis

S. Feferman and G. Jager; 63-70

• View Abstract

Sone of George and $V = L$

William G. Fleissner; 71-77

• View Abstract

Core Models

A. J. Dodd; 78-90

• View Abstract

Real Functions on the Family of All Well-Ordered Subsets of a Partially Ordered Set

Stevo Todorcevic; 91-96

• View Abstract

Antitheses in Systems of Relevant Implication

Jean Porte; 97-99

• View Abstract

Maximality in Effective Topology

Iraj Kalantari and Anne Leggett; 100-112

• View Abstract

Proper Classes

Penelope Maddy; 113-139

• View Abstract

$QE$ Rings in Characteristic $p^n$

Chantal Berline and Gregory Cherlin; 140-162

• View Abstract

A Note on Finitely Generated Models

Anand Pillay; 163-166

• View Abstract

The Existence of Countable Totally Nonconstructive Extensions of the Countable Atomless Boolean Algebra

E. W. Madison; 167-170

• View Abstract

Omitting Types, Type Spectrums, and Decidability

Terrence Millar; 171-181

• View Abstract

The Optimality of Induction as an Axiomatization of Arithmetic

Daniel Leivant; 182-184

• View Abstract

Hyperhypersimple Supersets in Admissible Recursion Theory

C. T. Chong; 185-192

• View Abstract

Decision Problem for Separated Distributive Lattices

Yuri Gurevich; 193-196

• View Abstract

Countable Models of Nonmultidimensional $\aleph_0$-Stable Theories

Elisabeth Bouscaren and Daniel Lascar; 197-205

• View Abstract

[Omnibus Review]

Alasdair Urquhart; 206-208

• View Abstract

Review: Mark Platts, Reference, Truth and Reality: Essays on the Philosophy of Language

Adam Morton; 208-211

• View Abstract

Review: Dag Normann, Degrees of Functionals

E.R. Griffor; 212-213

• View Abstract

Review: Zohar Manna, Lectures on the Logic of Computer Programming

Everett L. Bull; 213-214

• View Abstract

Review: L. E. J. Brouwer, D. van Dalen, Brouwer's Cambridge Lectures on Intuitionism

R. J. Grayson; 214-215

• View Abstract

Review: Neil Tennant, Natural Logic

Wilfried Sieg; 215-217

• View Abstract

Review: Detlef Laugwitz, Infinitesimalkalkul. Kontinuum und Zahlen--eine elementare Einfuhrung in die Nichtstandard-Analysis

H. J. M. Bos; 217-219

• View Abstract

Review: Klaus Potthoff, Einfuhrung in die Modelltheorie und ihre Anwendungen

Gebhard Fuhrken; 219-220

• View Abstract

Review: Andrzej Grzegorczyk, Olgierd Wojtasiewicz, Waclaw Zawadowski, An Outline of Mathematical Logic. Fundamental Results and Notions Explained with All Details

E. G. K. Lopez-Escobar; 220-222

• View Abstract

Further Citations

222

• View Abstract

Notices

223-224

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 48, Issue 1 (1983)

• View Abstract