Miscellaneous front pages, J. Symbolic Logic, Volume 47, Issue 3 (1982)

• View Abstract

Axiomatization of Polynomial Substitution Algebras

Norman Feldman; 481-492

• View Abstract

Recursively Saturated Nonstandard Models of Arithmetic; Addendum

C. Smorynski; 493-494

• View Abstract

Probabilities Over Rich Languages, Testing and Randomness

Haim Gaifman and Marc Snir; 495-548

• View Abstract

Universal Diophantine Equation

James P. Jones; 549-571

• View Abstract

Some Contributions to Definability Theory for Languages with Generalized Quantifiers

John T. Baldwin and Douglas E. Miller; 572-586

• View Abstract

Expansions of Models and Turing Degrees

Julia Knight and Mark Nadel; 587-604

• View Abstract

A Normal Form Theorem for $L_{\omega 1p}$, with Applications

Douglas N. Hoover; 605-624

• View Abstract

Saturated Models of Peano Arithmetic

J. F. Pabion; 625-637

• View Abstract

On the Nonexistence of Certain Normal Forms in the Logic of Provability

George Boolos; 638-640

• View Abstract

Deux Ou Trois Choses Que je Sais de $L_n$

Bruno Poizat; 641-658

• View Abstract

On Sets of Relations Definable by Addition

James F. Lynch; 659-668

• View Abstract

On the Elementary Theory of Pairs of Real Closed Fields. II

Walter Baur; 669-679

• View Abstract

Model Companions of Distributive $p$-Algebras

Jurg Schmid; 680-688

• View Abstract

[Omnibus Review]

Richard E. Grandy; 689-694

• View Abstract

Review: S. Shelah, Classification Theory and the Number of Nonisomorphic Models

Victor Harnik; 694-696

• View Abstract

Review: Jens E. Fenstad, General Recursion Theory. An Axiomatic Approach

Douglas Cenzer; 696-698

• View Abstract

Review: Eugene M. Kleinberg, Infinitary Combinatorics and the Axiom of Determinateness

Howard Becker; 698-701

• View Abstract

Review: Paul C. Eklof, Set Theoretic Methods in Homological Algebra and Abelian Groups

Martin Huber; 701-702

• View Abstract

Review: B. A. Trajtenbrot, Bernardo Del Rio Salceda, Los Algoritmos y la Resolucion Automatica de Problemas

Gregory W. Jones; 702

• View Abstract

Review: Didier Dubois, Henri Prade, Fuzzy Sets and Systems. Theory and Applications

I. Grattan-Guinness; 702-703

• View Abstract

Review: D. S. Bridges, Constructive Functional Analysis; Peter Zahn, Ein Konstruktiver Weg zur Masstheorie und Funktionalanalysis

Fred Richman; 703-705

• View Abstract

Review: Charles S. Pierce, Carolyn Eisele, The New Elements of Mathematics. Vol III Parts 1 and 2. Mathematical Miscellanea; Charles S. Pierce, Carolyn Eisele, The New Elements of Mathematics. Volume IV. Mathematical Philosophy

Jay Zeman; 705-708

• View Abstract

Review: David Bostock, Logic and Arithmetic. Volume 1. Natural Numbers; David Bostock, Logic and Arithmetic. Volume 2. Rational and Irrational Numbers

Michael D. Resnik; 708-713

• View Abstract

Review: Donald Nute, Topics in Conditional Logic

Gary M. Hardegree; 713-714

• View Abstract

Review: Richard E. Grandy, Advanced Logic for Applications

Neil Tennant; 714-716

• View Abstract

Australasian Annual Conference: New South Wales, Australia, 1980

717-718

• View Abstract

Notices

719-720

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 47, Issue 3 (1982)

• View Abstract