A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (OXFORD TEXTS IN LOGIC)
by Shawn Hedman
ISBN 13: 9780198529811
Format: Illustrated (452 pages) Publisher: OUP Oxford Published: 08 Jul 2004
Save for later
Mathematical Logic
by Tourlakis
ISBN 13: 9780470280744
Format: Illustrated (312 pages) Publisher: John Wiley & Sons Published: 13 Aug 2008
Applied Optimization with MATLAB Programming
by P. Venkataraman
ISBN 13: 9780470084885
Format: Hardcover (544 pages) Publisher: Wiley Published: 03 Apr 2009
Combat Modeling: 134 (International Series in Operations Research & Management Science, 134)
by Alan Washburn,Moshe Kress
ISBN 13: 9781441907899
Format: Illustrated (288 pages) Publisher: Springer Published: 27 Aug 2009
Algorithms and Computation: 19th International Symposium, Isaac 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings: 5369 (Lecture Notes in Computer Science)
by Seok-Hee Hong,Hiroshi Nagamochi,Takuro Fukunaga
ISBN 13: 9783540921813
Format: Paperback (968 pages) Publisher: Springer Published: 01 Dec 2008
Quantum Inspired Intelligent Systems: 121 (Studies in Computational Intelligence)
by Leandro dos Santos Coelho
ISBN 13: 9783540785316
Format: Hardcover (172 pages) Publisher: Springer Published: 29 May 2008
Advanced Linear Algebra for Engineers with MATLAB
by Sohail A. Dianat, Eli Saber
ISBN 13: 9781420095234
Format: Hardcover (346 pages) Publisher: CRC Press Published: 23 Feb 2009
Complex Social Networks: 44 (Econometric Society Monographs, Series Number 44)
by Fernando Vega-Redondo
ISBN 13: 9780521674096
Format: Illustrated (312 pages) Publisher: Cambridge University Press Published: 14 Mar 2003
Modeling Aggregate Behavior and Fluctuations in Economics: Stochastic Views of Interacting Agents
by Masanao Aoki
ISBN 13: 9780521606196
Format: Paperback (280 pages) Publisher: Cambridge University Press Published: 09 Sep 2004
Conformal Groups in Geometry and Spin Structures (Progress in Mathematical Physics): 50
by Pierre Anglès
ISBN 13: 9780817635121
Format: Illustrated (312 pages) Publisher: Birkhäuser Published: 21 Dec 2007
Logical Foundations of Proof Complexity (Perspectives in Logic)
by Stephen Cook,Phuong Nguyen
ISBN 13: 9780521517294
Format: Illustrated (496 pages) Publisher: Cambridge University Press Published: 25 Jan 2010
Managing Mathematical Projects - with Success!: Projects and Case Studies in Mathematics (Springer Undergraduate Mathematics)
by P.P.G. Dyke
ISBN 13: 9781852337360
Format: Paperback (266 pages) Publisher: Springer Published: 19 Jan 2004