Functional Interpretation of Logical Deduction

Materias

• Logic, symbolic and mathematical
• Logic
• Modality (Logic)
• Proof theory

Ediciones (2)

• Functional Interpretation of Logical Deduction (2011)

  World Scientific Publishing Co Pte Ltd · inglés · ISBN 9789814360951

• Functional Interpretation of Logical Deduction (2011)

  World Scientific Publishing Co Pte Ltd · inglés · ISBN 9789814360968

Más obras de Ruy J. G. B. de Queiroz