scientific article; zbMATH DE number 3273873

zbMath0172.00801MaRDI QIDQ5559529

Haskell B. Curry

Publication date: 1969

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

general logic

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Related Items

Probabilistic Inductive Classes of Graphs ⋮ Nearlattices with an overriding operation ⋮ Functional systems: Theoretical and practical aspects ⋮ From constructivism to computer science ⋮ Inductive definition of two restricted classes of triangulations