Order By
Book Lists

New Releases by Jan Smith

Jan Smith is the author of Paulo Freire (1989), Fourth and Goal (1985), The Polish Flag Problem (1985), Program Derivation in Type Theory (1985), An Interpretation of Martin-Löf's Type Theory in a Type-free Theory of Propositions (1984).

61 - 82 of 82 results
 <<

Paulo Freire

by: Jan Smith
release date: Jan 01, 1989
Paulo Freire

An Interpretation of Martin-Löf's Type Theory in a Type-free Theory of Propositions

by: Jan Smith
An Interpretation of Martin-Löf's Type Theory in a Type-free Theory of Propositions

The New International Sugar Agreement

by: Jan Smith
The New International Sugar Agreement

Speak Easy

by: Jan Smith, Sarah Silverson, Mark Landa
Speak Easy
Contains 14 short mime sketches in which two characters interact in real life situations. Teaches conversational language through a combination of video, mime, functional approach and group work situations.

Betty from Betws and the Great Secret

by: Jan Smith
Betty from Betws and the Great Secret

Course-of-values Recursion on Lists in Intuitionistic Type Theory

by: Jan Smith, Chalmers tekniska högskola, Göteborgs universitet
Course-of-values Recursion on Lists in Intuitionistic Type Theory

The Planning and Organization of Microcomputerized Information Systems for Secondary Schools

by: Jan Smith
The Planning and Organization of Microcomputerized Information Systems for Secondary Schools

The Factor of Formal Speech Training in Selected Southern Baptist Preachers

by: Icie Jan Smith
The Factor of Formal Speech Training in Selected Southern Baptist Preachers

On the relation between a type theoretic and a logical formulation of the theory of constructions

by: Jan Smith
On the relation between a type theoretic and a logical formulation of the theory of constructions
61 - 82 of 82 results
 <<


  • Aboutread.com makes it one-click away to discover great books from local library by linking books/movies to your library catalog search.

  • Copyright © 2025 Aboutread.com