“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
Showing 1081–1104 of 1458 results
- Galindo, Alberto; Pascual, Pedro
- Eisberg, Robert; Resnick, Robert
- P. P. Petrushev; Vasil Atanasov Popov
- Silverman, Joseph H.; Tate, John
- Hewitt, Edwin ; Stromberg, Karl R.: