“From Standard Logic to Logic Programming: Introducing a Logic-based Approach to Artificial Intelligence” has been added to your cart. View cart
“Proof Theory: A selection of papers from the Leeds Proof Theory Programme 1990” has been added to your cart. View cart
“Foundations of Infinitesimal Stochastic Analysis (Studies in Logic and the Foundations of Mathematics)” has been added to your cart. View cart
“Queen Mary College Mathematics Notes: Morita Equivalence and Duality” has been added to your cart. View cart
“First European Congress of Mathematics: Paris, July 6-10, 1992 : Round Tables” has been added to your cart. View cart
Showing 481–504 of 1458 results
- L. D. Landau and E. M. Lifshitz
- Masaki Kashiwara; Takahiro Kawai; Tatsuo Kimura
- K.D. Stroyan; Jose Manuel Bayod
- Michel L. Lapidus; Machiel van Frankenhuijsen