On the definition of ‘formal deduction’

Richard Montague, Leon Henkin

DOI: 10.2307/2268751

Journal of Symbolic Logic

Data up to Jan 2025

Published1956

Citations31

References3

Fields

Mathematics Computer science Medicine Discrete mathematics Artificial intelligence Mathematical analysis

Total Citations Per Year

Abstract

References (3)

Introduction to Mathematical Logic.

1957 • 937 citations

Recherches sur la théorie de la démonstration

1930 • 220 citations

Introduction to Mathematical Logic

2015 • 12 citations

Cited By (0)

Loading...