Titel

Merkliste
1 Ergebnisse

ON DEFINITIONS IN FORMAL SYSTEMS:

Curry, Haskell B.
Logique et Analyse. 1 (1958) 3/4 - p. 105-114 , 1958

Link: https://www.jstor.org/stable/44083536

RT Journal
T1 <Title>ON DEFINITIONS IN FORMAL SYSTEMS</Title>

UL https://suche.suub.uni-bremen.de/peid=jstor-44083536&Exemplar=1&LAN=DE
				
A1 Curry, Haskell B.
PB Centre National Belge de recherches de Logique
YR 1958
SN 0024-5836
SN 2295-5836
K1 Philosophy
K1 Applied philosophy
K1 Philosophy of mathematics
K1 Mathematical formalism
K1 Formal systems
K1 Physical sciences
K1 Earth sciences
K1 Geology
K1 Tectonics
K1 Social sciences
K1 Communications
K1 Semiotics
K1 Syntactics
K1 Logic
K1 Logical theorems
K1 Mathematics
K1 Mathematical expressions
K1 Axioms
K1 Physics
K1 Microphysics
K1 Atomic physics
K1 Atoms
K1 Mathematical theorems
K1 Linguistics
K1 Theoretical linguistics
K1 Linguistic morphology
K1 Morphemes
K1 Bound morphemes
K1 Affixes
K1 Mathematical functions
K1 Language
K1 Orthographies
K1 Graphemes
K1 Numerals
JF Logique et Analyse
VO 1
IS 3/4
SP 105
OP 114
LK http://dx.doi.org/https://www.jstor.org/stable/44083536
DO https://www.jstor.org/stable/44083536
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)