Sommaire du Fascicule no. 1

Logic at Tver '92

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The First Iranian Summer School in Logic

Enayat, Ali

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Andreas Blass, Near Coherence of Filters, I: Cofinal Equivalence of Models of Arithmetic

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Judea Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference

Neufeld, Eric

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Tony Dodd, Prolog. A Logical Approach

Wuthrich, B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Melvin Fitting, First-Order Logic and Automated Theorem Proving

Ferro, Alfredo

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Zachary Gleit, Warren Goldfarb, Characters and Fixed Points in Provability Logic

Montagna, Franco

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Mike Townsend, Complexity for Type-2 Relations

Kapron, Bruce

Text on Project Euclid
PDF
Alt PDF


Project Euclid
The International Conference on Theoretical Aspects of Computer Science

Meyer, Albert R. ; Ito, Takayasu

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Fourth European Summer School in Logic, Language, and Information

van der Linden, H. J. B. M.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Constructivity in Computer Science: A Summer Symposium

Myers, J. Paul

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Zero-One Laws with Variable Probability

Spencer, Joel

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

Project Euclid
Does V. Equal L?

Maddy, Penelope

Text on Project Euclid
PDF
Alt PDF
p. 15-41

Project Euclid
Combinatorial Properties of the Ideal $\mathfrak{B}_2$

Cichon, J. ; Roslanowski, A. ; Steprans, J. ; Weglorz, B.

Text on Project Euclid
PDF
Alt PDF
p. 42-54

Project Euclid
Weakly Normal Closures of Filters on $P_\kappa \lambda$

Shioya, Masahiro

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

Project Euclid
A Note on Exponentiation

Cornaros, Ch. ; Dimitracopoulos, C.

Text on Project Euclid
PDF
Alt PDF
p. 64-71

Project Euclid
$\triangle^1_3$-Sets of Reals

Judah, Haim ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 72-80

Project Euclid
Generalized Reduction Theorems for Model-Theoretic Analogs of the Class of Coanalytic Sets

Lavine, Shaughan

Text on Project Euclid
PDF
Alt PDF
p. 81-98

Project Euclid
Constructive Set Theoretic Models of Typed Combinatory Logic

Knobel, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 99-118

Project Euclid
On the Relationship between the Partition Property and the Weak Partition Property for Normal Ultrafilters on $P_\kappa\lambda^1$

Barbanel, Julius B.

Text on Project Euclid
PDF
Alt PDF
p. 119-127

Project Euclid
On Coherent Families of Finite-to-One Functions

Koszmider, Piotr

Text on Project Euclid
PDF
Alt PDF
p. 128-138

Project Euclid
Splittings and the Finite Model Property

Kracht, Marcus

Text on Project Euclid
PDF
Alt PDF
p. 139-157

Project Euclid
Diophantine Relations between Rings of $S$-Integers of Fields of Algebraic Functions in One Variable Over Constant Fields of Positive Characteristic

Shlapentokh, Alexandra

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

Project Euclid
On the $\Sigma_2$-Theory of the Upper Semilattice of Turing Degrees

Jockusch, Carl G. ; Slaman, Theodore A.

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

Project Euclid
Quasiunitriangular Groups

Belegradek, O. V.

Text on Project Euclid
PDF
Alt PDF
p. 205-218

Project Euclid
Every $n$-Generic Degree is a Minimal Cover of an $n$-Generic Degree

Kumabe, Masahiro

Text on Project Euclid
PDF
Alt PDF
p. 219-231

Project Euclid
Algebraic Types and Automorphism Groups

Tsuboi, Akito

Text on Project Euclid
PDF
Alt PDF
p. 232-239

Project Euclid
Strong Ultrapowers and Long Core Models

Cummings, James

Text on Project Euclid
PDF
Alt PDF
p. 240-248

Project Euclid
On Strong Provability Predicates and the Associated Modal Logics

Ignatiev, Konstantin N.

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

Project Euclid
$\mu$-Definable Sets of Integers

Lubarsky, Robert S.

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

Project Euclid
Natural Language, Sortal Reducibility and Generalized Quantifiers

Keenan, Edward L.

Text on Project Euclid
PDF
Alt PDF
p. 314-325

Project Euclid
Resultats Optimaux Sur L'existence D'une Partie Entiere Dans Les Corps Ordonnes

Boughattas, Sedki

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

Project Euclid
Quantifying Over Propositions in Relevance Logic: Nonaxiomatisability of Primary Interpretations of $\forall p$ and $\exists p$

Kremer, Philip

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

Project Euclid
Review: A. H. Lachlan, On Countable Stable Structures which are Homogeneous for a Finite Relational Language; G. Cherlin, A. H. Lachlan, Stable Finitely Homogeneous Structures

Macpherson, Dugald

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

Project Euclid
Review: Peter J. Freyd, Andre Scedrov, Categories, Allegories

Bunge, Marta C.

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

Project Euclid
Review: Ieke Moerdijk, Gonzalo E. Reyes, Models for Smooth Infinitesimal Analysis

Kock, Anders

Text on Project Euclid
PDF
Alt PDF
p. 354-355

Project Euclid
Review: Michael Makkai, Robert Pare, Accessible Categories: The Foundations of Categorical Model Theory

Blass, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 355-357

Project Euclid
Review: Richard Kaye, Models of Peano Arithmetic

Dimitracopoulos, C.

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

Project Euclid
Review: Wolfram Pohlers, Proof Theory. An Introduction

Cantini, Andrea

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

Project Euclid
Review: Richard Beigel, William I. Gasarch, Louise Hay, Bounded Query Classes and the Difference Hierarchy

Krom, Melven

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

Project Euclid
Review: Domenico Cantone, Alfredo Ferro, Eugenio Omodeo, Computable Set Theory

Wallen, Lincoln A.

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

Project Euclid
Review: Jon Barwise, John Etchemendy, The Language of First-Order Logic, including the Program Tarski's World; Jon Barwise, John Etchemendy, The Language of First-order Logic, including the Macintosh Program Tarski's World

Compton, Kevin J.

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

Project Euclid
Review: Stewart Shapiro, Foundations without Foundationalism. A Case for Second-Order Logic

Burgess, John

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

Project Euclid
Review: S. G. Shanker, Godel's Theorem in Focus

Auerbach, David A.

Text on Project Euclid
PDF
Alt PDF
p. 365-366

Project Euclid
Review: Franz von Kutschera, Gottlob Frege. Eine Einfuhrung in Sein Werk

Schirn, Matthias

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic

Friedman, Sy D.

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

Project Euclid
Notices

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

Project Euclid
Sous-Groupes Periodiques D'Un Groupe Stable

Poizat, Bruno ; Wagner, Frank

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

Project Euclid
The Cichon Diagram

Bartoszynski, Tomek ; Judah, Haim ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 401-423

Project Euclid
Definability of Models by Means of Existential Formulas without Identity

Pazdyka, Pawel

Text on Project Euclid
PDF
Alt PDF
p. 424-434

Project Euclid
Pointwise Compact and Stable Sets of Measurable Functions

Shelah, S. ; Fremlin, D. H.

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

Project Euclid
Quadratic Forms in Normal Open Induction

Otero, Margarita

Text on Project Euclid
PDF
Alt PDF
p. 456-476

Project Euclid
Extending the First-Order Theory of Combinators with Self-Referential Truth

Cantini, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 477-513

Project Euclid
Kripke Models for Linear Logic

Allwein, Gerard ; Dunn, J. Michael

Text on Project Euclid
PDF
Alt PDF
p. 514-545

Project Euclid
On Solvable Centerless Groups of Morley Rank 3

Davis, Mark Kelly ; Nesin, Ali

Text on Project Euclid
PDF
Alt PDF
p. 546-556

Project Euclid
The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic

Brown, Douglas K. ; Simpson, Stephen G.

Text on Project Euclid
PDF
Alt PDF
p. 557-578

Project Euclid
The Development of Arithmetic in Frege's Grundgesetze der Arithmetik

Heck, Richard G.

Text on Project Euclid
PDF
Alt PDF
p. 579-601

Project Euclid
Theory Contraction and Base Contraction Unified

Hansson, Sven Ove

Text on Project Euclid
PDF
Alt PDF
p. 602-625

Project Euclid
The Number of Proofs for a BCK-Formula

Komori, Yuichi ; Hirokawa, Sachio

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

Project Euclid
On the Cantor-Bendixon Rank of Recursively Enumerable Sets

Cholak, Peter ; Downey, Rod

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

Project Euclid
Every Real Closed Field has an Integer Part

Mourgues, M. H. ; Ressayre, J. P.

Text on Project Euclid
PDF
Alt PDF
p. 641-647

Project Euclid
Scott Analysis of Pseudotypes

Newelski, Ludomir

Text on Project Euclid
PDF
Alt PDF
p. 648-663

Project Euclid
Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions

Weiermann, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 664-671

Project Euclid
Decidability and Undecidability of Theories with a Predicate for the Primes

Bateman, P. T. ; Jockusch, C. G. ; Woods, A. R.

Text on Project Euclid
PDF
Alt PDF
p. 672-687

Project Euclid
The Deduction Rule and Linear and Near-Linear Proof Simulations

Bonet, Maria Luisa ; Buss, Samuel R.

Text on Project Euclid
PDF
Alt PDF
p. 688-709

Project Euclid
[Omnibus Review]

Hrushovski, Ehud

Text on Project Euclid
PDF
Alt PDF
p. 710-713

Project Euclid
Review: Gisela Ahlbrandt, Martin Ziegler, Quasi Finitely Axiomatizable Totally Categorical Theories; Ehud Hrushovski, Totally Categorical Structures

Zil'ber, B.

Text on Project Euclid
PDF
Alt PDF
p. 713-714

Project Euclid
Review: Lisa Reidhaar-Olson, A New Proof of the Fixed-Point Theorem of Provability Logic

Montagna, Franco

Text on Project Euclid
PDF
Alt PDF
p. 714-715

Project Euclid
[Omnibus Review]

Beklemishev, Lev D.

Text on Project Euclid
PDF
Alt PDF
p. 715-717

Project Euclid
Review: Frans Voorbraak, A Simplification of the Completeness Proofs for Guaspari and Solovay's R

Montagna, Franco

Text on Project Euclid
PDF
Alt PDF
p. 717-719

Project Euclid
Review: Lincoln A. Wallen, Automated Proof Search in Non-Classical Logics. Efficient Matrix Proof Methods for Modal and Intuitionistic Logics

del Cerro, Luis Farinas

Text on Project Euclid
PDF
Alt PDF
p. 719-720

Project Euclid
Review: Frank Plumpton Ramsey, On Truth. Original Manuscript Materials (1927-1929) from the Ramsey Collection at the University of Pittsburgh

Horwich, Paul

Text on Project Euclid
PDF
Alt PDF
p. 721-723

Project Euclid
Review: M. J. Cresswell, Entities and Indices

Higginbotham, James

Text on Project Euclid
PDF
Alt PDF
p. 723-725

Project Euclid
Review: T. E. Forster, Set Theory with a Universal Set. Exploring an Untyped Universe

Holmes, Randall

Text on Project Euclid
PDF
Alt PDF
p. 725-728

Project Euclid
European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '91

Text on Project Euclid
PDF
Alt PDF
p. 729-766

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 767-768

Project Euclid
Systems of Illative Combinatory Logic Complete for First-Order Propositional and Predicate Calculus

Barendregt, Henk ; Bunder, Martin ; Dekkers, Wil

Text on Project Euclid
PDF
Alt PDF
p. 769-788

Project Euclid
Uniqueness of Normal Proofs of Minimal Formulas

Tatsuta, Makoto

Text on Project Euclid
PDF
Alt PDF
p. 789-799

Project Euclid
Undecidability of Modal and Intermediate First-Order Logics with Two Individual Variables

Gabbay, D. M. ; Shehtman, V. B.

Text on Project Euclid
PDF
Alt PDF
p. 800-823

Project Euclid
Working Below a High Recursively Enumerable Degree

Shore, Richard A. ; Slaman, Theodore A.

Text on Project Euclid
PDF
Alt PDF
p. 824-859

Project Euclid
Partitions of Products

Prisco, Carlos A. Di ; Henle, James M.

Text on Project Euclid
PDF
Alt PDF
p. 860-871

Project Euclid
Logic, Sheaves, and Factorization Systems

Monro, G. P.

Text on Project Euclid
PDF
Alt PDF
p. 872-893

Project Euclid
Amenable Versus Hyperfinite Borel Equivalence Relations

Kechris, Alexander S.

Text on Project Euclid
PDF
Alt PDF
p. 894-907

Project Euclid
Random Models and Solvable Skolem Classes

Goldfarb, Warren

Text on Project Euclid
PDF
Alt PDF
p. 908-914

Project Euclid
A Transfer Theorem for Henselian Valued and Ordered Fields

Farre, Rafel

Text on Project Euclid
PDF
Alt PDF
p. 915-930

Project Euclid
The Well-Foundedness of the Mitchell Order

Steel, J. R.

Text on Project Euclid
PDF
Alt PDF
p. 931-940

Project Euclid
$\triangle^1_3$-Stability

Ben-Arie, Dror ; Judah, Haim

Text on Project Euclid
PDF
Alt PDF
p. 941-954

Project Euclid
Reducts of Some Structures Over the Reals

Peterzil, Ya'acov

Text on Project Euclid
PDF
Alt PDF
p. 955-966

Project Euclid
The Undecidability of the Disjunction Property of Propositional Logics and Other Related Problems

Chagrov, Alexander ; Zakharyaschev, Michael

Text on Project Euclid
PDF
Alt PDF
p. 967-1002

Project Euclid
Derivation Rules as Anti-Axioms in Modal Logic

Venema, Yde

Text on Project Euclid
PDF
Alt PDF
p. 1003-1034

Project Euclid
Variations on a Game of Gale (I): Coding Strategies

Scheepers, Marion

Text on Project Euclid
PDF
Alt PDF
p. 1035-1043

Project Euclid
Quasi-Endomorphisms in Small Stable Groups

Wagner, Frank O.

Text on Project Euclid
PDF
Alt PDF
p. 1044-1051

Project Euclid
Trees and $\Pi^1_1$-Subsets of $^{\omega_1}\omega_1$

Mekler, Alan ; Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 1052-1070

Project Euclid
Review: S. Shelah, Classification Theory and the Number of Non-Isomorphic Models

Hart, Bradd

Text on Project Euclid
PDF
Alt PDF
p. 1071-1074

Project Euclid
Review: Bruno Poizat, Cours de Theorie des Modeles. Une Introduction a la Logique Mathematique Contemporaine

Palyutin, E. A.

Text on Project Euclid
PDF
Alt PDF
p. 1074-1075

Project Euclid
Review: Colin McLarty, Elementary Categories, Elementary Toposes

Bell, J. L.

Text on Project Euclid
PDF
Alt PDF
p. 1075-1076

Project Euclid
Review: James Van Aken, Axioms for the Set-Theoretic Hierarchy; Stephen Pollard, More Axioms for the Set-Theoretic Hierarchy; Michael D. Potter, Sets. An Introduction

McGee, Vann

Text on Project Euclid
PDF
Alt PDF
p. 1077-1078

Project Euclid
Review: Chris Ash, Julia Knight, Mark Manasse, Theodore Slaman, Generic Copies of Countable Structures

Soskov, Ivan N.

Text on Project Euclid
PDF
Alt PDF
p. 1078-1079

Project Euclid
Review: Gerhard Brewka, Nonmonotonic Reasoning: Logical Foundations of Commonsense

Herre, Heinrich

Text on Project Euclid
PDF
Alt PDF
p. 1079-1080

Project Euclid
Review: R. R. Rockingham Gill, Deducibility and Decidability

Visser, Albert

Text on Project Euclid
PDF
Alt PDF
p. 1080-1082

Project Euclid
Review: Keith Devlin, Logic and Information

Humberstone, I. L.

Text on Project Euclid
PDF
Alt PDF
p. 1082-1084

Project Euclid
Review: Solomon Feferman, Atti del Congresso, Temi e Prospettive della Logica e della Filosofia della Scienza Contemporanee, Organizzato dall Societa Italiana di Logica e Filosofia delle Scienze (SILFS), Cesena, 7-10 gennaio 1987

Longo, Giuseppe

Text on Project Euclid
PDF
Alt PDF
p. 1085-1086

Project Euclid
Review: Michael Dummett, The Logical Basis of Metaphysics

Shieh, Sanford

Text on Project Euclid
PDF
Alt PDF
p. 1086-1090

Project Euclid
Logical Methods in Mathematics and Computer Science: A Symposium in Honor of Anil Nerode's Sixtieth Birthday

Text on Project Euclid
PDF
Alt PDF
p. 1091-1092

Project Euclid
Spring Meeting of the Association for Symbolic Logic

Simpson, Stephen G.

Text on Project Euclid
PDF
Alt PDF
p. 1093-1095

Project Euclid
European Summer Meeting of the Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1098-1149

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1151-1152

Project Euclid
Thin Equivalence Relations and Effective Decompositions

Hjorth, Greg

Text on Project Euclid
PDF
Alt PDF
p. 1153-1164

Project Euclid
A Remark on Locally Pure Measures

Ng, Siu-Ah

Text on Project Euclid
PDF
Alt PDF
p. 1165-1170

Project Euclid
On Closed P-Sets with $\operatorname{ccc}$ in the $\omega^\ast$

Frankiewicz, Rvszard ; Shelah, Saharon ; Zbierski, Pawel

Text on Project Euclid
PDF
Alt PDF
p. 1171-1176

Project Euclid
Nonisomorphism of Lattices of Recursively Enumerable Sets

Hammond, John Todd

Text on Project Euclid
PDF
Alt PDF
p. 1177-1188

Project Euclid
On the Existence of Atomic Models

Laskowski, M. C. ; Shelah, S.

Text on Project Euclid
PDF
Alt PDF
p. 1189-1194

Project Euclid
A Note on Mathematics of Infinity

Palmgren, Erik

Text on Project Euclid
PDF
Alt PDF
p. 1195-1200

Project Euclid
Stationary Subsets of $\lbrack \aleph_\omega \rbrack^{<\omega_n}$

Liu, Kecheng

Text on Project Euclid
PDF
Alt PDF
p. 1201-1218

Project Euclid
Boolean Universes above Boolean Models

Wehrung, Friedrich

Text on Project Euclid
PDF
Alt PDF
p. 1219-1250

Project Euclid
A Relativization Mechanism in Recursion Categories

Stefani, Stefano

Text on Project Euclid
PDF
Alt PDF
p. 1251-1267

Project Euclid
A Very Discontinuous Borel Function

Steprans, Juris

Text on Project Euclid
PDF
Alt PDF
p. 1268-1283

Project Euclid
Amoeba-Absoluteness and Projective Measurability

Brendle, Jorg

Text on Project Euclid
PDF
Alt PDF
p. 1284-1290

Project Euclid
Forcing Isomorphism

Baldwin, J. T. ; Laskowski, M. C. ; Shelah, S.

Text on Project Euclid
PDF
Alt PDF
p. 1291-1301

Project Euclid
S-Homogeneity and Automorphism Groups

Bouscaren, Elisabeth ; Laskowski, Michael C.

Text on Project Euclid
PDF
Alt PDF
p. 1302-1322

Project Euclid
Strong Measure Zero Sets without Cohen Reals

Goldstern, Martin ; Judah, Haim ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 1323-1341

Project Euclid
Hyper-Regular Lattice-Ordered Groups

Gluschankof, Daniel ; Lucas, Francois

Text on Project Euclid
PDF
Alt PDF
p. 1342-1358

Project Euclid
An Existence Theorem for a Special Ultrafilter when $\mathfrak{d} = \mathfrak{c}$

Moloney, James J.

Text on Project Euclid
PDF
Alt PDF
p. 1359-1364

Project Euclid
Counting the Maximal Intermediate Constructive Logics

Ferrari, Mauro ; Miglioli, Pierangelo

Text on Project Euclid
PDF
Alt PDF
p. 1365-1401

Project Euclid
On the Number of Automorphisms of Uncountable Models

Shelah, Saharon ; Tuuri, Heikki ; Vaananen, Jouko

Text on Project Euclid
PDF
Alt PDF
p. 1402-1418

Project Euclid
Addendum to "A Structure Theorem for Strongly Abelian Varieties"

Hart, Bradd ; Starchenko, Sergei

Text on Project Euclid
PDF
Alt PDF
p. 1419-1425

Project Euclid
Belief Contraction in the Context of the General Theory of Rational Choice

Rott, Hans

Text on Project Euclid
PDF
Alt PDF
p. 1426-1450

Project Euclid
The Bass-Milnor-Serre Theorem for Nonstandard Models in Peano Arithmetic

Khelif, Anatole

Text on Project Euclid
PDF
Alt PDF
p. 1451-1458

Project Euclid
Review: Michael Detlefsen, Proof, Logic and Formalization

Steiner, Mark

Text on Project Euclid
PDF
Alt PDF
p. 1459-1462

Project Euclid
Review: Haim Gaifman, Pointers to Truth

Chapuis, Andre

Text on Project Euclid
PDF
Alt PDF
p. 1462-1463

Project Euclid
Review: D. C. Ince, Mechanical Intelligence, Collected Works of A. M. Turing

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 1463-1465

Project Euclid
Review: Anita Burdman Feferman, Politics, Logic, and Love. The Life of Jean van Heijenoort; Solomon Feferman, Jean van Heijenoort's Scholarly Work, 1948-1986

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF
p. 1465-1466

Project Euclid
Review: Jean Norman, Richard Sylvan, Directions in Relevant Logic

da Costa, N. C. A.

Text on Project Euclid
PDF
Alt PDF
p. 1466-1468

Project Euclid
Review: Luis E. Sanchis, Recursive Functionals

Hinman, Peter G.

Text on Project Euclid
PDF
Alt PDF
p. 1468-1469

Project Euclid
Review: Gerard Huet, G. Plotkin, Logical Frameworks

Pavlovic, Dusko

Text on Project Euclid
PDF
Alt PDF
p. 1469-1472

Project Euclid
Review: Johan van Benthem, Language in Action. Categories, Lambdas and Dynamic Logic

Oehrle, Richard T.

Text on Project Euclid
PDF
Alt PDF
p. 1472-1475

Project Euclid
1992 Annual Meeting of the Australasian Association for Logic

Text on Project Euclid
PDF
Alt PDF
p. 1477-1484

Project Euclid
Colloque Franco-Exsovietique de Theorie des Modeles

Text on Project Euclid
PDF
Alt PDF
p. 1485-1486

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1487-1527

Project Euclid
Index of Reviews: Volumes 56-58

Text on Project Euclid
PDF
Alt PDF
p. 1528-1540

Project Euclid
Authors of Reviews

Text on Project Euclid
PDF
Alt PDF
p. 1541-1542

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1543-1544

Project Euclid