//]]>
Unhighlight Highlight
Typed Lambda Calculi and Applications by Hasegawa, Masahito. Publication: . XII, 251 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Martí-Oliet, Narciso. Publication: . X, 283 p. 71 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Foundations of Computer Science by Artemov, Sergei. Publication: . X, 415 p. 49 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Logic of Categorial Grammars by Moot, Richard. Publication: . X, 300 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
How the World Computes by Cooper, S. Barry. Publication: . XVIII, 756p. 42 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Recent Trends in Algebraic Development Techniques by Mossakowski, Till. Publication: . X, 303 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic, Rationality, and Interaction by Ditmarsch, Hans. Publication: . XI, 403 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Mathematics of Language by Kanazawa, Makoto. Publication: . IV, 227p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Models of Computation in Context by Löwe, Benedikt. Publication: . XIII, 319p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Typed Lambda Calculi and Applications by Ong, Luke. Publication: . XII, 245 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Argument of Mathematics by Aberdein, Andrew. Publication: . X, 393 p. 74 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Practical mathematics in a commercial metropolis by Meskens, Ad. Publication: . XV, 258 p. 135 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements by Geldsetzer, Lutz. Publication: . XLIV, 137 p. 10 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Epistemology versus Ontology by Dybjer, P. Publication: . XXVII, 385 p. 18 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Is Water H2O? by Chang, Hasok. Publication: . XXI, 316 p. 45 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Structural Realism by Landry, Elaine. Publication: . XVI, 212 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
“The main Business of natural Philosophy” by Ducheyne, Steffen. Publication: . XXVI, 354 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
<< Previous 1 2 3 4 5 6 7 8 9 10 Next >>
Languages: 
English |
العربية