A Modern Perspective on Type Theory: From Its Origins Until ...
F. D. Kamareddine & T. Laan & Rob Nederpelt
Conceptual Structures: Knowledge Representations as Interlingua: ...
Peter W. Eklund & Gerard Ellis & Graham Mann
Nicola Tesla Said
John T. Ratzlaff
Function Programming in Python
David Mertz
Python Cookbook
David Beazley & Brian K. Jones
The problem of the obelisks, from a study of the unfinished ...
Reginald Engelbach