Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC
Latest Publications

TOTAL DOCUMENTS

28

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By Elsevier

9780444533982

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Chapter IV The Axiomatization of Arithmetic

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

10.1016/s0049-237x(08)71844-5 ◽

1963 ◽

pp. 68-81

Download Full-text

Chapter II Eighty Years of Foundational Studies

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. 34-56

Download Full-text

Chapter IX Toward Mechanical Mathematics

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. 224-268

Download Full-text

Chapter V Computation

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

10.1016/s0049-237x(08)71845-7 ◽

1963 ◽

pp. 82-123

Download Full-text

Copyright page

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. iii

Download Full-text

Chapter XVI Different Axiom Systems

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. 383-431

Keyword(s):

Axiom Systems

Download Full-text

Chapter XXIV Some Formal Details on Predicative Set Theories

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. 585-623

Download Full-text

Chapter VIII The Logic of Automata

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

10.1016/s0049-237x(08)71848-2 ◽

1963 ◽

pp. 175-223

Download Full-text

Chapter VI A Variant to Turing's Theory of Calculating Machines

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

10.1016/s0049-237x(08)71846-9 ◽

1963 ◽

pp. 127-159

Download Full-text

Chapter VII Universal Turing Machines: An Exercise in Coding

Studies in Logic and the Foundations of Mathematics - A SURVEY OF MATHEMATICAL LOGIC ◽

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

1963 ◽

pp. 160-174

Keyword(s):

Turing Machines

Download Full-text