Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444104779

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter 11 Some Cases of Incompleteness

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71747-6 ◽

1974 ◽

pp. 173-181

Download Full-text

Chapter 8 Augmented Cylindric Theory for Sets of ω-Sequences

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71744-0 ◽

1974 ◽

pp. 112-118

Download Full-text

Introduction

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71733-6 ◽

1974 ◽

pp. 1-4

Download Full-text

Acknowledgments

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71751-8 ◽

1974 ◽

pp. vii

Download Full-text

Chapter 3 First Algebraization Continued

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71737-3 ◽

1974 ◽

pp. 31-45

Download Full-text

Bibliography

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71748-8 ◽

1974 ◽

pp. 182-183

Download Full-text

Chapter 6 Algebras of Sets and Algebras of Theories

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71740-3 ◽

1974 ◽

pp. 79-100

Keyword(s):

Algebras Of Sets

Download Full-text

Chapter 2 First Algebraization

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71736-1 ◽

1974 ◽

pp. 21-30

Download Full-text

Chapter 10 Theory of Transformational Relations

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71746-4 ◽

1974 ◽

pp. 149-172

Download Full-text

Dedication

Logic in Algebraic Form - Three Languages and Theories - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71735-x ◽

1974 ◽

pp. v

Download Full-text