Semantic entailment and formal derivability.
Saved in:
Author / Creator: | Beth, Evert Willem |
---|---|
Imprint: | Amsterdam, Noord-Hollandsche Uitg. Mij., 1955. |
Description: | 34 p. diagrs. 24 cm. |
Language: | English |
Series: | Mededelingen der Koninklijke Nederlandse Akademie van Wetenschappen. Afd. Letterkunde. Nieuwe reeks, deel 18, no. 13 Mededeelingen der Koninklijke Nederlandsche Akademie van Wetenschappen, Afd. Letterkunde ; nieuwe reeks deel 18 no.13 |
Subject: | |
Format: | Print Book |
URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/3997099 |
Notes: | Cover title. Pages also numbered 309-342. Bibliographical footnotes. |
---|
Similar Items
-
Semantic construction of intuitionistic logic /
by: Beth, Evert Willem
Published: (1956) -
Entrañamiento semántico y derivabilidad formal /
by: Beth, Evert Willem
Published: (1978) -
Introduction to semantics, and Formalization of logic.
by: Carnap, Rudolf, 1891-1970
Published: (1961) -
Logic, semantics, metamathematics : papers from 1923 to 1938 /
by: Tarski, Alfred
Published: (1983) -
Logic, semantics, metamathematics; papers from 1923 to 1938.
by: Tarski, Alfred
Published: (1956)