Mathematical Logic and Formalized Theories
Latest Publications

TOTAL DOCUMENTS

15

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780720420982

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Front Matter

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50001-2 ◽

1971 ◽

pp. iii

Download Full-text

AXIOMATIC SET THEORY

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50011-5 ◽

1971 ◽

pp. 142-185

Author(s):

ROBERT ROGERS

Keyword(s):

Set Theory ◽

Axiomatic Set Theory

Download Full-text

THE NATURAL NUMBERS

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50009-7 ◽

1971 ◽

pp. 107-126

Author(s):

ROBERT ROGERS

Keyword(s):

Natural Numbers

Download Full-text

THE SECOND-ORDER PREDICATE LOGIC. THEORY OF DEFINITION

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50008-5 ◽

1971 ◽

pp. 83-106

Author(s):

ROBERT ROGERS

Keyword(s):

Predicate Logic ◽

Second Order ◽

Theory Of Definition

Download Full-text

THE FIRST-ORDER PREDICATE LOGIC: I

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50006-1 ◽

1971 ◽

pp. 28-51

Author(s):

ROBERT ROGERS

Keyword(s):

Predicate Logic ◽

First Order ◽

First Order Predicate Logic

Download Full-text

Copyright

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50002-4 ◽

1971 ◽

pp. iv

Download Full-text

AUTHOR INDEX

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50014-0 ◽

1971 ◽

pp. 230-231

Download Full-text

BIBLIOGRAPHY

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50013-9 ◽

1971 ◽

pp. 227-229

Download Full-text

THE FIRST-ORDER PREDICATE LOGIC: II

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50007-3 ◽

1971 ◽

pp. 52-82

Author(s):

ROBERT ROGERS

Keyword(s):

Predicate Logic ◽

First Order ◽

First Order Predicate Logic

Download Full-text

THE SENTENTIAL LOGIC

Mathematical Logic and Formalized Theories ◽

10.1016/b978-0-7204-2098-2.50005-x ◽

1971 ◽

pp. 1-27

Author(s):

ROBERT ROGERS

Keyword(s):

Sentential Logic

Download Full-text