Sommaire du Fascicule no. 1

Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory note to 1932c

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Cumulative Index: Volumes 27-55

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Logic and Linguistics Meeting, Tucson, 1989

McGee, Van ; Oehrle, Richard T.

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Wilfried Sieg, Georg Dorn, P. Weingartner, Reductions of Theories for Analysis

Clote, Peter

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, Uber die Lange yon Beweisen (1936a); Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On the length of Proofs (1936a); Rohit Parikh, Introductory note to 1936a

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, On Undecidable Propositions of Formal Mathematical Systems (1934); Kurt Godel, Postscriptum; Stephen C. Kleene, Introductory Note to 1934

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: John W. Dawson, A Godel Chronology

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, Stefan Bauer-Mengelberg, Jean van Heijenoort, On Intuitionistic Arithmetic and Number Theory (1933e); A. S. Troelstra, Introductory Note to 1933e

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
[Omnibus Review]

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, John Dawson, Review of Hilbert's Die Grundlegung der Elementaren Zahlentheorie (10818); Solomon Feferman, Introductory Note to 1931c

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
Review: Kurt Godel, John Dawson, On the Intuitionistic Propositional Calculus (1932); A. S. Troelstra, Introductory Note to 1932

Davis, Martin

Text on Project Euclid
PDF
Alt PDF


Project Euclid
On Models of the Elementary Theory of $(Z + 1)$

Nadel, Mark ; Stavi, Jonathan

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

Project Euclid
Strong Negative Partition Above the Continuum

Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 21-31

Project Euclid
Some Uses of Dilators in Combinatorial Problems. II

Abrusci, V. Michele ; Girard, Jean-Yves ; Wiele, Jacques Van De

Text on Project Euclid
PDF
Alt PDF
p. 32-40

Project Euclid
Quantales and (Noncommutative) Linear Logic

Yetter, David N.

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

Project Euclid
On Ehrenfeucht-Fraisse Equivalence of Linear Orderings

Oikkonen, Juha

Text on Project Euclid
PDF
Alt PDF
p. 65-73

Project Euclid
A Formal Theory of Objects, Space and Time

Blizard, Wayne D.

Text on Project Euclid
PDF
Alt PDF
p. 74-89

Project Euclid
Principal Type-Schemes and Condensed Detachment

Hindley, J. Roger ; Meredith, David

Text on Project Euclid
PDF
Alt PDF
p. 90-105

Project Euclid
Remarks on the Church-Rosser Property

Lopez-Escobar, E. G. K.

Text on Project Euclid
PDF
Alt PDF
p. 106-112

Project Euclid
Reachability is Harder for Directed Than for Undirected Finite Graphs

Ajtai, Miklos ; Fagin, Ronald

Text on Project Euclid
PDF
Alt PDF
p. 113-150

Project Euclid
Subgroups of Stable Groups

Wagner, Frank

Text on Project Euclid
PDF
Alt PDF
p. 151-156

Project Euclid
Generalizations of the Kruskal-Friedman Theorems

Gordeev, L.

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

Project Euclid
Mathematics as Natural Science

Goodman, Nicolas D.

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

Project Euclid
An Introduction to $\gamma$-Recursion Theory (or What to do in KP - Foundation)

Lubarsky, Robert S.

Text on Project Euclid
PDF
Alt PDF
p. 194-206

Project Euclid
Pointless Metric Spaces

Gerla, Giangiacomo

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

Project Euclid
On the Formalization of Semantic Conventions

Williams, James G.

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

Project Euclid
A Theory of Formal Truth Arithmetically Equivalent to $ID_1$

Cantini, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 244-259

Project Euclid
Every Recursive Linear Ordering has a Copy in Dtime-Space $(n, \log (n))$

Grigorieff, Serge

Text on Project Euclid
PDF
Alt PDF
p. 260-276

Project Euclid
L'Axiome De Normalite Pour les Espaces Totalement Ordonnes

Haddad, Labib ; Morillon, Marianne

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

Project Euclid
UFA Fails in the Bell-Kunen Model

Merrill, John W. L.

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

Project Euclid
Two Incomplete Anti-Realist Modal Epistemic Logics

Williamson, Timothy

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

Project Euclid
On Analytic Filters and Prefilters

Zafrany, Samy

Text on Project Euclid
PDF
Alt PDF
p. 315-322

Project Euclid
Theories Completes De Paires De Corps Values Henseliens

Leloup, Gerard

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

Project Euclid
Review: Solomon Feferman, Godel's Life and Work

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 340-341

Project Euclid
[Omnibus Review]

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 341-342

Project Euclid
[Omnibus Review]

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 342-343

Project Euclid
[Omnibus Review]

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 344-345

Project Euclid
Review: Kurt Godel, On Independence Proofs in the Propositional Calculus (1933a); W. V. Quine, Introductory Note to 1933a

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 345-346

Project Euclid
Review: Kurt Godel, John Dawson, Review of Hahn's Reele Funktionen

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 346-347

Project Euclid
Review: Kurt Godel, John Dawson, Review of Skolem's Uber die Unmoglichkeit Einer Vollstandigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716); Kurt Godel, John Dawson, Review of Skolem's Uber die Nicht-Charakterisierbarkeit der Zahlenreihe Mittels endlich oder Abzahlbar Unendlich Vieler Aussagen mit Ausschlieblich Zahlenvariablen; Robert Vaught, Introductory Note to 1934c and 1935

Davis, Martin

Text on Project Euclid
PDF
Alt PDF
p. 347-348

Project Euclid
Review: Stephen C. Kleene, Origins of Recursive Function Theory; Martin Davis, Why Godel Didn't have Church's Thesis; Stephen C. Kleene, Reflections on Church's Thesis

Shapiro, Stewart

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

Project Euclid
Review: Alfred Tarski, Steven Givant, A Formalization of Set Theory Without Variables

Nemeti, Istvan

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

Project Euclid
Review: Robert K. Meyer, Georg Dorn, P. Weingartner, A Farewell to Entailment

Cohen, Daniel H.

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

Project Euclid
Review: Peter Gibbins, Particles and Paradoxes. The Limits of Quantum Logic

Chiara, Maria Luisa Dalla

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

Project Euclid
Review: Robert I. Soare, Recursively Enumerable Sets and Degrees. A Study of Computable Functions and Computably Generated Sets

Herrmann, Eberhard ; Downey, Rodney

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

Project Euclid
[Omnibus Review]

Jockusch, Carl

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

Project Euclid
Review: Marcia J. Groszek, Applications of Iterated Perfect Set Forcing

Blass, Andreas

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

Project Euclid
Review: H. G. Dales, W. H. Woodin, An Introduction to Independence for Analysts

Jech, Thomas

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

Project Euclid
Review: Sergio Albeverio, Jens Erik Fenstad, Raphael Hoegh-Krohn, Tom Lindstrom, Nonstandard Methods in Stochastic Analysis and Mathemetical Physics

Hoover, D. N.

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

Project Euclid
Review: Antony Galton, Temporal Logics and Their Applications; Antony Galton, Temporal Logic and Computer Science: An Overview

Cerro, Luis Farinas Del

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

Project Euclid
Review: Matthew Hennessy, Algebraic Theory of Processes

Gunter, Carl A.

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

Project Euclid
Review: Rob R. Brady, The Logicworks. Student Manual; Rob R. Brady, The Logicworks. Guide for Instructors

Martin, John N.

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

Project Euclid
Review: Jon Barwise, John Etchemendy, Turing's World; Jon Barwise, John Etchemendy, Tarski's World

Boolos, George

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

Project Euclid
Annual Meeting of the Association for Symbolic Logic, Los Angeles, 1989

Shore, Richard A.

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

Project Euclid
European Summer Meeting of the Association of Symbolic Logic, Padova, 1988

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

Project Euclid
Meeting of the Association for Symbolic Logic, Chicago, 1989

Text on Project Euclid
PDF
Alt PDF
p. 436-445

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 447-448

Project Euclid
Upward Directedness of the Rudin-Keisler Ordering of $P$-Points

Laflamme, Claude

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

Project Euclid
On the Existence of Large $p$-Ideals

Just, Winfried ; Mathias, A. R. D. ; Prikry, Karel ; Simon, Petr

Text on Project Euclid
PDF
Alt PDF
p. 457-465

Project Euclid
Universal Structures in Power $\aleph_1$

Mekler, Alan H.

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

Project Euclid
Tores et $p$-Groupes

Borovik, Aleksandr Vasilievich ; Poizat, Bruno Petrovich

Text on Project Euclid
PDF
Alt PDF
p. 478-491

Project Euclid
Successors of Singular Cardinals and Measurability Revisited

Apter, Arthur W.

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

Project Euclid
The Equivalence of Determinacy and Iterated Sharps

Dubose, Derrick Albert

Text on Project Euclid
PDF
Alt PDF
p. 502-525

Project Euclid
Some Results on Higher Suslin Trees

David, R.

Text on Project Euclid
PDF
Alt PDF
p. 526-536

Project Euclid
On the Quasi-Ordering of Borel Linear Orders Under Embeddability

Louveau, Alain ; Saint-Raymond, Jean

Text on Project Euclid
PDF
Alt PDF
p. 537-560

Project Euclid
Operative vs. Combinatory Spaces

Ivanov, Lyubomir

Text on Project Euclid
PDF
Alt PDF
p. 561-572

Project Euclid
The Ordertype of $\beta$-R.E. Sets

Sutner, Klaus

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

Project Euclid
Weak Cylindric Set Algebras and Weak Subdirect Indecomposability

Andreka, H. ; Nemeti, I. ; Thompson, R. J.

Text on Project Euclid
PDF
Alt PDF
p. 577-588

Project Euclid
Taxonomies of Model-Theoretically Defined Topological Properties

Bankston, Paul

Text on Project Euclid
PDF
Alt PDF
p. 589-603

Project Euclid
Some Results About Borel Sets in Descriptive Set Theory of Hyperfinite Sets

Zivaljevic, Bosko

Text on Project Euclid
PDF
Alt PDF
p. 604-614

Project Euclid
The Deduction Theorem for Quantum Logic--Some Negative Results

Malinowski, Jacek

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

Project Euclid
The Spectrum of Resplendency

Baldwin, John T.

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

Project Euclid
Weakly Semirecursive Sets

Jockusch, Carl G. ; Owings, James C.

Text on Project Euclid
PDF
Alt PDF
p. 637-644

Project Euclid
Definitions of Compact

Howard, Paul E.

Text on Project Euclid
PDF
Alt PDF
p. 645-655

Project Euclid
Some Improvements to Turner's Algorithm for Bracket Abstraction

Bunder, M. W.

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

Project Euclid
The Last Word on Elimination of Quantifiers in Modules

Gute, Hans B. ; Reuter, K. K.

Text on Project Euclid
PDF
Alt PDF
p. 670-673

Project Euclid
Finite Support Iteration and Strong Measure Zero Sets

Pawlikowski, Janusz

Text on Project Euclid
PDF
Alt PDF
p. 674-677

Project Euclid
Colimit Completions and the Effective Topos

Robinson, Edmund ; Rosolini, Giuseppe

Text on Project Euclid
PDF
Alt PDF
p. 678-699

Project Euclid
Hereditarily Finite Finsler Sets

Booth, David

Text on Project Euclid
PDF
Alt PDF
p. 700-706

Project Euclid
Relevance and Paraconsistency--A New Approach

Avron, Arnon

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

Project Euclid
A 1-Generic Degree which Bounds a Minimal Degree

Kumabe, Masahiro

Text on Project Euclid
PDF
Alt PDF
p. 733-743

Project Euclid
Boolean Algebras and Orbits of the Lattice of R.E. Sets Modulo the Finite Sets

Cholak, Peter

Text on Project Euclid
PDF
Alt PDF
p. 744-760

Project Euclid
Infinitary Combinatorics and Modal Logic

Blass, Andreas

Text on Project Euclid
PDF
Alt PDF
p. 761-778

Project Euclid
On Diophantine Equations Solvable in Models of Open Induction

Otero, Margarita

Text on Project Euclid
PDF
Alt PDF
p. 779-786

Project Euclid
A Metatheorem for Constructions by Finitely Many Workers

Knight, J. F.

Text on Project Euclid
PDF
Alt PDF
p. 787-804

Project Euclid
Lifschitz' Realizability

Oosten, Jaap Van

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

Project Euclid
Full Reflection of Stationary Sets Below $\aleph_\omega$

Jech, Thomas ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 822-830

Project Euclid
Some Remarks on the Algebraic Structure of the Medvedev Lattice

Sorbi, Andrea

Text on Project Euclid
PDF
Alt PDF
p. 831-853

Project Euclid
Cylindric Algebras with Terms

Feldman, Norman

Text on Project Euclid
PDF
Alt PDF
p. 854-866

Project Euclid
Review: L. A. Harrington, M. D. Morley, A. Scedrov, S. G. Simpson, Introduction

Enderton, H. B.

Text on Project Euclid
PDF
Alt PDF
p. 867-868

Project Euclid
Review: Stephen G. Simpson, Nonprovability of Certain Combinatorial Properties of Finite Trees

Buchholz, W.

Text on Project Euclid
PDF
Alt PDF
p. 868-869

Project Euclid
Review: Rick L. Smith, The Consistency Strengths of Some Finite Forms of the Higman and Kruskal Theorems

Sieg, Wilfried

Text on Project Euclid
PDF
Alt PDF
p. 869-870

Project Euclid
Review: Stephen G. Simpson, Friedman's Research on Subsystems of Second Order Arithmetic

Sieg, Wilfried

Text on Project Euclid
PDF
Alt PDF
p. 870-874

Project Euclid
Review: Charles Steinhorn, Borel Structures for First-Order and Extended Logics

Marker, David

Text on Project Euclid
PDF
Alt PDF
p. 874-875

Project Euclid
Review: C. Smorynski, Nonstandard Models and Related Developments

Dimitracopoulos, C.

Text on Project Euclid
PDF
Alt PDF
p. 875-876

Project Euclid
[Omnibus Review]

Tucker, J. V.

Text on Project Euclid
PDF
Alt PDF
p. 876-878

Project Euclid
Review: John T. Baldwin, Classification Theory: 1985

Goode, John B.

Text on Project Euclid
PDF
Alt PDF
p. 878-881

Project Euclid
Review: Daniel Lascar, J. E. Wallington, Stability in Model Theory

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 881-883

Project Euclid
Review: Daniel Lascar, Stabilite en Theorie des Modeles; Ray Mines, Fred Richman, Wim Ruitenburg, A Course in Constructive Algebra

Scowcroft, Philip

Text on Project Euclid
PDF
Alt PDF
p. 883-886

Project Euclid
Review: J. L. Bell, Toposes and Local Set Theories. An Introduction

Wraith, G. C.

Text on Project Euclid
PDF
Alt PDF
p. 886-887

Project Euclid
Review: Saharon Shelah, Primitive Recursive Bounds for Van der Waerden Numbers

Spencer, Joel

Text on Project Euclid
PDF
Alt PDF
p. 887-888

Project Euclid
Review: Saharon Shelah, Lee Stanley, A Theorem and Some Consistency Results in Partition Calculus

Baumgartner, James E.

Text on Project Euclid
PDF
Alt PDF
p. 888-889

Project Euclid
Review: V. A. Uspensky, Neal Koblitz, Godel's Incompleteness Theorem

Boolos, George

Text on Project Euclid
PDF
Alt PDF
p. 889-891

Project Euclid
Review: V. A. Uspenskij, Teorema Gedela o Nepolnote; Frank Jackson, Conditionals

Nute, Donald

Text on Project Euclid
PDF
Alt PDF
p. 891-892

Project Euclid
Review: C. Anthony Anderson, D. Gabbay, F. Guenthner, General Intensional Logic

Parsons, Charles

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

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 895-896

Project Euclid
On Scott and Karp Trees of Uncountable Models

Hyttinen, Tapani ; Vaananen, Jouko

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

Project Euclid
The Kunen-Miller Chart (Lebesgue Measure, The Baire Property, Laver Reals and Preservation Theorems for Forcing)

Judah, Haim ; Shelah, Saharon

Text on Project Euclid
PDF
Alt PDF
p. 909-927

Project Euclid
Weakly Minimal Groups of Unbounded Exponent

Loveys, James

Text on Project Euclid
PDF
Alt PDF
p. 928-937

Project Euclid
Partition Properties and Prikry Forcing on Simple Spaces

Henle, J. M.

Text on Project Euclid
PDF
Alt PDF
p. 938-947

Project Euclid
Notions of Relative Ubiquity for Invariant Sets of Relational Structures

Bankston, Paul ; Ruitenburg, Wim

Text on Project Euclid
PDF
Alt PDF
p. 948-986

Project Euclid
Undecidability and Initial Segments of the (R.E.) TT-Degrees

Haught, Christine Ann ; Shore, Richard A.

Text on Project Euclid
PDF
Alt PDF
p. 987-1006

Project Euclid
Decidable Fragments of Field Theories

Tung, Shih-Ping

Text on Project Euclid
PDF
Alt PDF
p. 1007-1018

Project Euclid
Partitioning Pairs of Countable Sets of Ordinals

Velleman, Dan

Text on Project Euclid
PDF
Alt PDF
p. 1019-1021

Project Euclid
Set Theoretic Properties of Loeb Measure

Miller, Arnold W.

Text on Project Euclid
PDF
Alt PDF
p. 1022-1036

Project Euclid
Omitting Types for Stable CCC Theories

Newelski, Ludomir

Text on Project Euclid
PDF
Alt PDF
p. 1037-1047

Project Euclid
Maximal R.E. Equivalence Relations

Carroll, Jeffrey S.

Text on Project Euclid
PDF
Alt PDF
p. 1048-1058

Project Euclid
The Interpretability Logic of Peano Arithmetic

Berarducci, Alessandro

Text on Project Euclid
PDF
Alt PDF
p. 1059-1089

Project Euclid
Finite Kripke Models and Predicate Logics of Provability

Artemov, Sergei ; Dzhaparidze, Giorgie

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

Project Euclid
Intermediate Predicate Logics Determined by Ordinals

Minari, Pierluigi ; Takano, Mitio ; Ono, Hiroakira

Text on Project Euclid
PDF
Alt PDF
p. 1099-1124

Project Euclid
On the Angular Component Map Modulo $P$

Pas, Johan

Text on Project Euclid
PDF
Alt PDF
p. 1125-1129

Project Euclid
Coinductive $\aleph_0$-Categorical Theories

Schmerl, James H.

Text on Project Euclid
PDF
Alt PDF
p. 1130-1137

Project Euclid
Differentially Algebraic Group Chunks

Pillay, Anand

Text on Project Euclid
PDF
Alt PDF
p. 1138-1142

Project Euclid
The Axiomatization of Randomness

van Lambalgen, Michiel

Text on Project Euclid
PDF
Alt PDF
p. 1143-1167

Project Euclid
Effective Model Theory vs. Recursive Model Theory

Chisholm, John

Text on Project Euclid
PDF
Alt PDF
p. 1168-1191

Project Euclid
Theories D'Algebres de Boole Munies D'Ideaux Distingues. II

Touraille, Alain

Text on Project Euclid
PDF
Alt PDF
p. 1192-1212

Project Euclid
The Complexity of Intrinsically R.E. Subsets of Existentially Decidable Models

Chisholm, John

Text on Project Euclid
PDF
Alt PDF
p. 1213-1232

Project Euclid
The Special Model Axiom in Nonstandard Analysis

Ross, David

Text on Project Euclid
PDF
Alt PDF
p. 1233-1242

Project Euclid
Reducts of $(C, +, \cdot)$ which Contain +

Marker, D. ; Pillay, A.

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

Project Euclid
An Existence Theorem for Recursion Categories

Heller, Alex

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

Project Euclid
A Partial Functions Version of Church's Simple Theory of Types

Farmer, William M.

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

Project Euclid
Rich Models

Albert, Michael H. ; Grossberg, Rami P.

Text on Project Euclid
PDF
Alt PDF
p. 1292-1298

Project Euclid
Review: R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, S. F. Smith, Implementing Mathematics with the Nuprl Proof Development System

Beeson, Michael J.

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

Project Euclid
Review: Robert S. Boyer, J. Strother Moore, A Computational Logic; Robert S. Boyer, J. Strother Moore, A Computational Logic Handbook

Miller, Dale

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

Project Euclid
Review: Michael R. Genesereth, Nils J. Nilsson, Logical Foundations of Artificial Intelligence

Martins, Joao P.

Text on Project Euclid
PDF
Alt PDF
p. 1304-1307

Project Euclid
Review: Piergiorgio Odifreddi, Classical Recursion Theory. The Theory of Functions and Sets of Natural Numbers

Hinman, Peter G.

Text on Project Euclid
PDF
Alt PDF
p. 1307-1308

Project Euclid
Review: A. G. Dragalin, E. Mendelson, Mathematical Intuitionism. Introduction to Proof Theory

Troelstra, A. S.

Text on Project Euclid
PDF
Alt PDF
p. 1308-1309

Project Euclid
Review: A. G. Dragalin, Matematiceskij Intuicionizm. Vvedenie v Teoriu Dokazatel'stv; D. Deutsch, Quantum Theory, the Church-Turing Principle and the Universal Quantum Computer

Urquhart, Alasdair

Text on Project Euclid
PDF
Alt PDF
p. 1309-1310

Project Euclid
Review: S. B. Grantham, Galvin's "Racing Pawns" Game and a Well-Ordering of Trees

Larson, Jean A.

Text on Project Euclid
PDF
Alt PDF
p. 1310-1311

Project Euclid
Review: Sy D. Friedman, Strong Coding; Sy D. Friedman, A Guide to "Strong Coding."

Welch, Philip

Text on Project Euclid
PDF
Alt PDF
p. 1311-1313

Project Euclid
Review: Hans-Dieter Donder, Regularity of Ultrafilters and the Core Model; Hans-Dieter Donder, Peter Koepke, Jean-Pierre Levinski, Some Stationary Subsets of $\mathscr{P}(\lambda)$; D. J. Walker, On the Transversal Hypothesis and the Weak Kurepa Hypothesis

Baldwin, Stewart

Text on Project Euclid
PDF
Alt PDF
p. 1313-1315

Project Euclid
Review: Warren Goldfarb, William Aspray, Philip Kitcher, History and Philosophy of Modern Mathematics

Hallett, Michael

Text on Project Euclid
PDF
Alt PDF
p. 1315-1319

Project Euclid
Review: Gordon Baker, Wittgenstein, Frege and the Vienna Circle

Hylton, Peter

Text on Project Euclid
PDF
Alt PDF
p. 1319-1320

Project Euclid
Review: Alexander Broadie, Introduction to Medieval Logic

Kretzmann, Norman

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

Project Euclid
Review: Tadeusz Kotarbinski, Wyktady z dziejbw 1ogiki; Tadeusz Kotarbinski, Lectures from the History of Logic

Bednarz, John

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

Project Euclid
Review: Ryszard Wojcicki, Theory of Logical Calculi. Basis Theory of Consequence Operations

Bloom, Stephen L.

Text on Project Euclid
PDF
Alt PDF
p. 1324-1326

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1327-1328

Project Euclid
[Index of Contributed Papers: Aanderaa-Levy, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1330-1362

Project Euclid
[Index of Contributed Papers: Lewis-Zwicker, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1362-1390

Project Euclid
[Index of Abstracts: Aanderaa-Kugel, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1391-1431

Project Euclid
[Index of Abstracts: Kuhlmann-Zwicker, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1431-1478

Project Euclid
[Index of Reviews by Author of Work Reviewed: Aanderaa-Cherry, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1479-1520

Project Euclid
[Index of Reviews by Author of Work Reviewed: Chevalley-Goodrich, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1520-1560

Project Euclid
[Index of Reviews by Author of Work Reviewed: Goodstein-Korenjak, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1560-1600

Project Euclid
[Index of Reviews by Author of Work Reviewed: Korezlioglu-Moler, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1600-1640

Project Euclid
[Index of Reviews by Author of Work Reviewed: Moll-Scarpelli, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1640-1690

Project Euclid
[Index of Reviews by Author of Work Reviewed: Scarpellini-Zykin, in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1690-1740

Project Euclid
[Index of Reviews by Author of Review in Vols. 27-55 of J. Symbolic Logic]

Text on Project Euclid
PDF
Alt PDF
p. 1741-1751

Project Euclid
Association for Symbolic Logic

Text on Project Euclid
PDF
Alt PDF
p. 1752-1789

Project Euclid
Notices

Text on Project Euclid
PDF
Alt PDF
p. 1790-1792

Project Euclid