Formalization of logic

Materias

• Logic
• Semantics
• Logic, Symbolic and mathematical
• Symbolic and mathematical Logic

Ediciones (3)

• Formalization of logic. (1947)

  Harvard University Press · inglés

• Formalization of logic (1943)

  Harvard university press · inglés

• Formalization of logic. (1943)

  Harvard University Press · inglés

Más obras de Rudolf Carnap

TThe aim of inductive logic

The aim of inductive logic

An introduction to the philosophy of science

AAn outline of a theory of semantic information

An outline of a theory of semantic information