Logic 第10页

Lambda Calculus with Types Author(s): Henk Barendregt (Author), Wil Dekkers (Author), Richard Statman (Author) Publisher...

赞(0)girro2017-03-17

A Logical Introduction to Proof 2013th Edition Author(s): Daniel W. Cunningham (Author) Publisher: Springer Publication ...

赞(0)girro2017-02-08

Mathematical Proofs: A Transition to Advanced Mathematics 4th Edition Author(s): Gary Chartrand (Author), Albert Polimen...

赞(0)girro2017-01-14

Quantum Machine Learning and Optimisation in Finance: Drive financial innovation with quantum-powered algorithms and opt...

赞(0)girro2016-12-02

Counterfactuals Author(s): David Lewis (Author) Publisher: Wiley-Blackwell Publication Date: 10 Nov. 2000 Edition: 1st L...

赞(0)girro2016-04-19

Computability, Enumerability, Unsolvability: Directions in Recursion Theory Author(s): S. B. Cooper (Editor), T. A. Slam...

赞(0)girro2016-04-04

The Logic of Real Arguments 2nd Edition Author(s): Alec Fisher (Author) Publisher: Cambridge University Press Publicatio...

赞(0)girro2015-04-22

Introduction to Logic 2nd Edition Author(s): Harry J Gensler (Author) Publisher: Routledge Publication Date: 21 Jan. 201...

赞(0)girro2015-01-08

Introduction to Logical Theory Author(s): P. F. Strawson (Author) Publisher: Routledge Publication Date: 24 Mar. 2011 Ed...

赞(0)girro2014-12-11

Logic For Dummies 2nd Edition Author(s): Mark Zegarelli (Author) Publisher: For Dummies Publication Date: November 18, 2...

赞(0)girro2014-10-25