review-by-thomas-frayne documents

The Elementary Character of Two Notions from General Algebraby Robert Vaught
Documents The Elementary Character of Two Notions from General Algebraby Robert Vaught
Some Definition of the Proper Prime Idealby Juliusz Reichbach
Documents Some Definition of the Proper Prime Idealby Juliusz Reichbach
On Definability and Derivabilityby G. Hasenjaeger
Documents On Definability and Derivabilityby G. Hasenjaeger
On Representable Relation Algebrasby Donald Monk
Documents On Representable Relation Algebrasby Donald Monk
Remarks on Predicate Logic with Infinitely Long Expressionsby A. Tarski
Documents Remarks on Predicate Logic with Infinitely Long Expressionsby A. Tarski
The Sentential Calculus with Infinitely Long Expressionsby Dana Scott; Alfred Tarski
Documents The Sentential Calculus with Infinitely Long Expressionsby Dana Scott; Alfred Tarski
Some Problems and Results relevant to the Foundations of Set Theoryby Alfred Tarski;Incompactness in Languages with Infinitely Long Expressionsby W. Hanf
Documents Some Problems and Results relevant to the Foundations of Set Theoryby Alfred Tarski;Incompactness in Languages with Infinitely Long Expressionsby W. Hanf
Some Remarks on Infinitely Long Formulasby L. Henkin;Independence Proofs in Predicate Logic with Infinitely Long Expressionsby Carol R. Karp
Documents Some Remarks on Infinitely Long Formulasby L. Henkin;Independence Proofs in Predicate Logic with Infinitely Long Expressionsby Carol R. Karp
On Predicates with Constructive Infinitely Long Expressionsby Gaisi Takeuti; Akiko Kino
Documents On Predicates with Constructive Infinitely Long Expressionsby Gaisi Takeuti; Akiko Kino
A Theory Without Recursive Modelsby A. Grzegorczyk
Documents A Theory Without Recursive Modelsby A. Grzegorczyk
Some Metamathematical Problems Concerning Elementary Hyperbolic Geometryby Wanda Szmielew
Documents Some Metamathematical Problems Concerning Elementary Hyperbolic Geometryby Wanda Szmielew
Absolute Calculus of Segments and its Metamathematical Implicationsby W. Szmielew
Documents Absolute Calculus of Segments and its Metamathematical Implicationsby W. Szmielew
Arithmetical Extensions with Prescribed Cardinalityby Michael O. Rabin
Documents Arithmetical Extensions with Prescribed Cardinalityby Michael O. Rabin
New Foundations of Absolute Geometry.by Wanda Szmielew
Documents New Foundations of Absolute Geometry.by Wanda Szmielew