所有图书
Proofs and Algorithms: An Introduction to Logic and Computability - Gilles Dowek
View more
Proofs and Algorithms: An Introduction to Logic and Computability - Gilles Dowek
Verilog Coding for Logic Synthesis
View more
Verilog Coding for Logic Synthesis
Myths and traditions of the Crow Indians (Anthropological papers of the American Museum of Natural History; vol. 25, part 1)
View more
Myths and traditions of the Crow Indians (Anthropological papers of the American Museum of Natural History; vol. 25, part 1)
Personas, cosas, relaciones: reflexiones arqueológicas sobre las materialidades pasadas y presentes.
View more
Personas, cosas, relaciones: reflexiones arqueológicas sobre las materialidades pasadas y presentes.
Turing’s Legacy: Developments from Turing’s Ideas in Logic - Rod Downey
View more
Turing’s Legacy: Developments from Turing’s Ideas in Logic - Rod Downey
Review of the Pleistocene Hominoid Fauna of the Socialist Republic of Vietnam (Excluding Hylobatidae). (Anthropological Papers of the American Museum of Natural History, Vol 76)
View more
Review of the Pleistocene Hominoid Fauna of the Socialist Republic of Vietnam (Excluding Hylobatidae). (Anthropological Papers of the American Museum of Natural History, Vol 76)
简明逻辑学 (Logic: A Very Short Introduction)
View more
简明逻辑学 (Logic: A Very Short Introduction)
导读维特根斯坦《逻辑哲学论》 - Wittgenstein’s ‘Tractatus Logico-Philosophicus’: A Reader’s Guide
View more
导读维特根斯坦《逻辑哲学论》 - Wittgenstein’s ‘Tractatus Logico-Philosophicus’: A Reader’s Guide
Temporal Logic and State Systems - Fred Kr ̈ oger and Stephan Merz
View more
Temporal Logic and State Systems - Fred Kr ̈ oger and Stephan Merz
Estudio epidemiológico de salud mental en Cajamarca 2003
View more
Estudio epidemiológico de salud mental en Cajamarca 2003
蛤蟆先生去看心理医生 (Counselling For Toads - A Psychological Adventure)
View more
蛤蟆先生去看心理医生 (Counselling For Toads - A Psychological Adventure)
Handbook Of Practical Logic and Automated Reasoning - John Harrison
View more
Handbook Of Practical Logic and Automated Reasoning - John Harrison
Logics of Specification Languages - Dines Bjørner and Martin C. Henson
View more
Logics of Specification Languages - Dines Bjørner and Martin C. Henson
Introducing Biological Rhythms
View more
Introducing Biological Rhythms
The Early Medieval Archaeology of Croatia (British Archaeological Reports (BAR))
View more
The Early Medieval Archaeology of Croatia (British Archaeological Reports (BAR))
Neurologic Rehabilitation: Neuroscience and Neuroplasticity in Physical Therapy Practice
View more
Neurologic Rehabilitation: Neuroscience and Neuroplasticity in Physical Therapy Practice
Beyond Decoding: The Behavioral and Biological Foundations of Reading Comprehension
View more
Beyond Decoding: The Behavioral and Biological Foundations of Reading Comprehension
Logic and Theism: Arguments For and Against Beliefs in God
View more
Logic and Theism: Arguments For and Against Beliefs in God