Sommaire

Notices

Text on Project Euclid
PDF
Alt PDF
p. 835-836

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 805-833

Project Euclid
[Index of Reviews by Subjects: M-Z, in Vols. 27-40 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 757-803

Project Euclid
[Index of Reviews by Subjects: A-L, in Vols. 27-40 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 707-757

Project Euclid
Index of Abstracts: Volumes 27-45

Text on Project Euclid
PDF
Alt PDF
p. 669-705

Project Euclid
Index of Contributed Papers: Volumes 27-45

Text on Project Euclid
PDF
Alt PDF
p. 643-668

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 639-640

Project Euclid
Review: Sue Toledo, Tableau Systems for First Order Number Theory and Certain Higher Order Theories

Zucker, J. I.

Text on Project Euclid
PDF
Alt PDF
p. 636-638

Project Euclid
Review: Jean van Heijenoort, El Desarrollo de la Teoria de la Cuantificacion

Mora, Jose Ferrater

Text on Project Euclid
PDF
Alt PDF
p. 635-636

Project Euclid
Review: Gottlob Frege, Logical Investigations

Angelelli, Ignacio

Text on Project Euclid
PDF
Alt PDF
p. 634-635

Project Euclid
Review: Ferdinand Gonseth, Les Mathematiques et la Realite. Essai sur la Methode Axiomatique

Craig, William

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Ilmar Tammelo, Modern Logic in the Service of Law

Vonneuman, Nicholas A.

Text on Project Euclid
PDF
Alt PDF
p. 633-634

Project Euclid
Review: H. G. Bohnert, Logic: Its Use and Basis

Cauman, Leigh S.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Leonidas Hegenberg, Logica. O Calculo de Predicados

Jones, Gregory W.

Text on Project Euclid
PDF
Alt PDF
p. 632-633

Project Euclid
Review: Leonidas Hegenberg, Logica. O Calculo Sentencial

Jones, Gregory W.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: J. Barkley Rosser, Logic for Mathematicians

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF
p. 631-632

Project Euclid
Review: Elliott Mendelson, Introduction to Mathematical Logic

van Dalen, D.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Peter J. Denning, Jack B. Dennis, Joseph E. Qualitz, Machines, Languages, and Computation

Salomaa, Arto

Text on Project Euclid
PDF
Alt PDF
p. 630-631

Project Euclid
Review: Donald W. Loveland, Automated Theorem Proving. A Logical Basis

Robinson, J. A.

Text on Project Euclid
PDF
Alt PDF
p. 629-630

Project Euclid
A Measurable Cardinal with a Nonwellfounded Ultrapower

Spector, Mitchell

Text on Project Euclid
PDF
Alt PDF
p. 623-628

Project Euclid
On a Problem of MacDowell and Specker

Nadel, Mark

Text on Project Euclid
PDF
Alt PDF
p. 612-622

Project Euclid
Decidability and $\aleph_0$-Categoricity of Theories of Partially Ordered Sets

Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 585-611

Project Euclid
Cardinalities of Ultraproducts of Finite Sets

Koppelberg, Sabine

Text on Project Euclid
PDF
Alt PDF
p. 574-584

Project Euclid
Independence Results

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 563-573

Project Euclid
The 1-Section of a Countable Functional

Normann, Dag ; Wainer, Stan S.

Text on Project Euclid
PDF
Alt PDF
p. 549-562

Project Euclid
Constructing Pure Injective Hulls

Hodges, Wilfrid

Text on Project Euclid
PDF
Alt PDF
p. 544-548

Project Euclid
A Consistent Combinatory Logic with an Inverse to Equality

Fitch, Frederic B.

Text on Project Euclid
PDF
Alt PDF
p. 529-543

Project Euclid
Degree Problems for Modular Machines

Cohen, Daniel E.

Text on Project Euclid
PDF
Alt PDF
p. 510-528

Project Euclid
Independence of Strong Partition Relation for Small Cardinals, and the Free-Subset Problem

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 505-509

Project Euclid
Ordinal Analysis of Terms of Finite Type

Howard, W. A.

Text on Project Euclid
PDF
Alt PDF
p. 493-504

Project Euclid
A Result of Relative Consistency About the Predicate $\mathrm{WO}(\delta, \kappa)$

David, Rene

Text on Project Euclid
PDF
Alt PDF
p. 483-492

Project Euclid
Models and Reality

Putnam, Hilary

Text on Project Euclid
PDF
Alt PDF
p. 464-482

Project Euclid
Model Theory of Strictly Upper Triangular Matrix Rings

Wheeler, William H.

Text on Project Euclid
PDF
Alt PDF
p. 455-463

Project Euclid
Model Constructions in Stationary Logic. Part I. Forcing

Bruce, Kim B.

Text on Project Euclid
PDF
Alt PDF
p. 439-454

Project Euclid
Recursively Enumerable Complexity Sequences and Measure Independence

Bennison, Victor L.

Text on Project Euclid
PDF
Alt PDF
p. 417-438

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 415-416

Project Euclid
European Meeting of the Association for Symbolic Logic, Mons, Belgium, 1978

Boffa, M. ; Henrard, P.

Text on Project Euclid
PDF
Alt PDF
p. 386-414

Project Euclid
Review: Karl J. Smith, Introduction to Symbolic Logic

Carlstrom, Ian F.

Text on Project Euclid
PDF
Alt PDF
p. 384-385

Project Euclid
Review: Samuel D. Guttenplan, Martin Tamny, Logic. A Comprehensive Introduction

Eggenberger, Peter

Text on Project Euclid
PDF
Alt PDF
p. 383-384

Project Euclid
Review: Wilfrid Hodges, Logic

Leeds, Stephen

Text on Project Euclid
PDF
Alt PDF
p. 382-383

Project Euclid
Review: Wilhelm K. Essler, Einfuhrung in die Logik

Hasenjaeger, G.

Text on Project Euclid
PDF
Alt PDF
p. 381-382

Project Euclid
Review: E. Cohors-Fresenborg, Dieter Rodding, Mathematik mit Kalkulen und Maschinen

Schwichtenberg, H.

Text on Project Euclid
PDF
Alt PDF
p. 380-381

Project Euclid
Review: A. G. Hamilton, Logic for Mathematicians

Howard, W. A.

Text on Project Euclid
PDF
Alt PDF
p. 379-380

Project Euclid
Review: J. L. Bell, M. Machover, A Course in Mathematical Logic

Smith, Perry

Text on Project Euclid
PDF
Alt PDF
p. 378-379

Project Euclid
Review: Haskell B. Curry, Foundations of Mathematical Logic

Craig, William

Text on Project Euclid
PDF
Alt PDF
p. 377-378

Project Euclid
Review: Bas C. van Fraassen, Formal Semantics and Logic

Butrick, Richard

Text on Project Euclid
PDF
Alt PDF
p. 376-377

Project Euclid
Review: Nicholas J. Moutafakis, Imperatives and their Logics

Chellas, Brian F.

Text on Project Euclid
PDF
Alt PDF
p. 375-376

Project Euclid
Review: Herbert R. Otto, The Linguistic Basis of Logic Translation

Causey, Robert L.

Text on Project Euclid
PDF
Alt PDF
p. 373-374

Project Euclid
Review: Arthur W. Burks, Chance, Cause, Reason. An Inquiry into the Nature of Scientific Evidence

Hacking, Ian

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Susan Haack, Philosophy of Logics

Harman, Gilbert

Text on Project Euclid
PDF
Alt PDF
p. 372-373

Project Euclid
Review: Alex Orenstein, Willard Van Orman Quine

Ullian, Joseph S.

Text on Project Euclid
PDF
Alt PDF
p. 371-372

Project Euclid
Review: Robert Blanche, La Logique et son Histoire: d'Aristote a Russell

Martin, Roger

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Anton Dumitriu, History of Logic

Text on Project Euclid
PDF
Alt PDF
p. 370-371

Project Euclid
Review: Anton Dumitriu, Duiliu Zamfirescu, Dinu Giurcaneanu, Doina Doneaud, History of Logic. Volume III; Anton Dumitriu, Duiliu Zamfirescu, Dinu Giurcaneanu, Doina Doneaud, History of Logic. Volume IV

Grattan-Guinness, I.

Text on Project Euclid
PDF
Alt PDF
p. 369-370

Project Euclid
Innocuous Substitutions

Leivant, Daniel

Text on Project Euclid
PDF
Alt PDF
p. 363-368

Project Euclid
Some Theories Associated with Algebraically Closed Fields

Ash, Chris ; Rosenthal, John

Text on Project Euclid
PDF
Alt PDF
p. 359-362

Project Euclid
On Computational Complexity in Weakly Admissible Structures

Stoltenberg-Hansen, Viggo

Text on Project Euclid
PDF
Alt PDF
p. 353-358

Project Euclid
Sequential Method in Quantum Logic

Nishimura, Hirokazu

Text on Project Euclid
PDF
Alt PDF
p. 339-352

Project Euclid
On the Bounded Monadic Theory of Well-Ordered Structures

Thomas, Wolfgang

Text on Project Euclid
PDF
Alt PDF
p. 334-338

Project Euclid
Recursion Theory on Orderings. II

Remmel, J. B.

Text on Project Euclid
PDF
Alt PDF
p. 317-333

Project Euclid
The Equational Theory of $CA_3$ is Undecidable

Maddux, Roger

Text on Project Euclid
PDF
Alt PDF
p. 311-316

Project Euclid
Theories with Exactly Three Countable Models and Theories with Algebraic Prime Models

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 302-310

Project Euclid
On $\aleph_0$-Categorical Nilrings. II

Cherlin, Gregory

Text on Project Euclid
PDF
Alt PDF
p. 291-301

Project Euclid
Beth's Property Fails in $L^{<\omega 1}$

Badger, Lee

Text on Project Euclid
PDF
Alt PDF
p. 284-290

Project Euclid
On the Elementary Equivalence of Automorphism Groups of Boolean Algebras; Downward Skolem Lowenheim Theorems and Compactness of Related Quantifiers

Rubin, Matatyahu ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 265-283

Project Euclid
A Strengthening of Jensen's $\square$ Principles

Beller, Aaron ; Litman, Ami

Text on Project Euclid
PDF
Alt PDF
p. 251-264

Project Euclid
Constructible Models of Subsystems of ZF

Gostanian, Richard

Text on Project Euclid
PDF
Alt PDF
p. 237-250

Project Euclid
The Lattice of Modal Logics: An Algebraic Investigation

Blok, W. J.

Text on Project Euclid
PDF
Alt PDF
p. 221-236

Project Euclid
Jumping Through the Transfinite: The Master Code Hierarchy of Turing Degrees

Hodes, Harold T.

Text on Project Euclid
PDF
Alt PDF
p. 204-220

Project Euclid
Substance and First-Order Quantification Over Individual-Concepts

Bacon, John

Text on Project Euclid
PDF
Alt PDF
p. 193-203

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 191-192

Project Euclid
Review: Joram Hirschfeld, William H. Wheeler, Forcing, Arithmetic, Division Rings

Simmons, H.

Text on Project Euclid
PDF
Alt PDF
p. 188-190

Project Euclid
Review: Hans Hermes, Diana Schmidt, Introduction to Mathematical Logic

Pigozzi, Don

Text on Project Euclid
PDF
Alt PDF
p. 187-188

Project Euclid
Review: P. T. Geach, Reason and Argument

Stalker, Douglas F.

Text on Project Euclid
PDF
Alt PDF
p. 185-187

Project Euclid
Review: Robert P. McArthur, Tense Logic

Kamp, Hans

Text on Project Euclid
PDF
Alt PDF
p. 184-185

Project Euclid
Review: Max Black, The Logical Paradoxes; Max Black, The Elusiveness of Sets

Rundle, Bede

Text on Project Euclid
PDF
Alt PDF
p. 183-184

Project Euclid
Review: A. N. Prior, Papers in Logics and Ehtics

Smiley, Timothy

Text on Project Euclid
PDF
Alt PDF
p. 180-183

Project Euclid
Review: Hubert C. Kennedy, Giuseppe Peano, Selected Works of Giuseppe Peano

Goldfarb, Warren D.

Text on Project Euclid
PDF
Alt PDF
p. 177-180

Project Euclid
Martin's Axiom in the Model Theory of $L_A$

Stark, W. Richard

Text on Project Euclid
PDF
Alt PDF
p. 172-176

Project Euclid
Minimal Forms in $\lambda$-Calculus Computations

Bohm, Corrado ; Micali, Silvio

Text on Project Euclid
PDF
Alt PDF
p. 165-171

Project Euclid
Decomposition of Totally Transcendental Modules

Garavaglia, Steven

Text on Project Euclid
PDF
Alt PDF
p. 155-164

Project Euclid
$\triangle^0_2$ Operators and Alternating Sentences in Arithmetic

Manevitz, Larry ; Stavi, Jonathan

Text on Project Euclid
PDF
Alt PDF
p. 144-154

Project Euclid
Two-Dimensional Partial Orderings: Undecidability

Manaster, Alfred B. ; Rosenstein, Joseph G.

Text on Project Euclid
PDF
Alt PDF
p. 133-143

Project Euclid
Two-Dimensional Partial Orderings: Recursive Model Theory

Manaster, Alfred B. ; Rosenstein, Joseph G.

Text on Project Euclid
PDF
Alt PDF
p. 121-132

Project Euclid
Computability and the Algebra of Fields: Some Affine Constructions

Tucker, J. V.

Text on Project Euclid
PDF
Alt PDF
p. 103-120

Project Euclid
Finite Forcing, Existential Types and Complete Types

Hirschfeld, Joram

Text on Project Euclid
PDF
Alt PDF
p. 93-102

Project Euclid
Chains and Antichains in $\mathscr{P}(\omega)$

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 85-92

Project Euclid
A Cut-Free Gentzen-Type System for the Modal Logic S5

Sato, Masahiko

Text on Project Euclid
PDF
Alt PDF
p. 67-84

Project Euclid
A Note on Cardinal Exponentiation

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 56-66

Project Euclid
Model Companions and $k$-Model Completeness for the Complete Theories of Boolean Algebras

Mead, J. ; Nelson, G. C.

Text on Project Euclid
PDF
Alt PDF
p. 47-55

Project Euclid
Game Sentences, Recursive Saturation and Definability

Harnik, Victor

Text on Project Euclid
PDF
Alt PDF
p. 35-46

Project Euclid
On R.E. and CO-R.E. Vector Spaces with Nonextendible Bases

Remmel, J.

Text on Project Euclid
PDF
Alt PDF
p. 20-34

Project Euclid
Definability in Models of Set Theory

Guaspari, David

Text on Project Euclid
PDF
Alt PDF
p. 9-19

Project Euclid
Precipitous Ideals

Jech, T. ; Magidor, M. ; Mitchell, W. ; Prikry, K.

Text on Project Euclid
PDF
Alt PDF
p. 1-8

Project Euclid