|
|
New Releases by Jan SmithJan Smith is the author of Communicate (1992), Christina Rossetti's Religious Vision in "Goblin Market" (1992), Paulo Freire (1989), The Polish Flag Problem (1985), An Interpretation of Martin-Löf's Type Theory in a Type-free Theory of Propositions (1984).
release date: Jan 01, 1992
Christina Rossetti's Religious Vision in "Goblin Market"
release date: Jan 01, 1992
release date: Jan 01, 1989
An Interpretation of Martin-Löf's Type Theory in a Type-free Theory of Propositions
Microcomputers for School Management
Betty from Betws and the Great Secret
Course-of-values Recursion on Lists in Intuitionistic Type Theory
The Factor of Formal Speech Training in Selected Southern Baptist Preachers
Aerodynamic of the Parawing, Pt. 1
On the relation between a type theoretic and a logical formulation of the theory of constructions
|
|