Set Theory with a Universal Set : Exploring an Untyped Universe
T. E. (Department of Pure Mathematics and Mathematical Statis Forster
Out of stock
Format: Book (Hardback)
Reductive Logic and Proof-search : Proof Theory, Semantics, and Control
David J. (, Professor of Logic & Computation, University of Bath Pym
Out of stock
Format: Book (Hardback)
Analysis and Synthesis of Singular Systems
Zhiguang (Professor, College of Automation, Harbin Engineering U Feng
Out of stock
Format: Book (Paperback / softback)