A new proof of a theorem of Littlewood.

Jason Bandlow Michele D'Adderio

Published in: Eur. J. Comb. (2009)

Keyphrases

interactive theorem proving
linear logic
von neumann
theorem proving
intuitionistic logic
relational databases
theorem prover
database
data sets
logic programs
natural deduction