Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Some properties of equality and implication in combinatory logic

From MaRDI portal
Publication:1840146
Jump to:navigation, search

DOI10.2307/1968498zbMath0010.14604OpenAlexW2323724534MaRDI QIDQ1840146

Haskell B. Curry

Publication date: 1934

Published in: Annals of Mathematics. Second Series (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/1968498


zbMATH Keywords

foundations, philosophy, logic



Related Items

Systems of illative combinatory logic complete for first-order propositional and predicate calculus



Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1840146&oldid=14218002"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 11:38.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki