中文参考译名:逻辑，逻辑，逻辑
Authors:George Boolos,  John P. Burgess, Richard Jeffr
Publisher: Harvard University Pre
Keywords: logic
Number of Pages: 460
Published: 1999-10-15
List price: $37.00
ISBN-10: 067453767X
ISBN-13: 9780674537675

George Boolos was one of the most prominent and influential logician-philosophers of recent times. This collection, nearly all chosen by Boolos himself shortly before his death, includes thirty papers on set theory, second-order logic, and plural quantifiers; on Frege, Dedekind, Cantor, and Russell; and on miscellaneous topics in logic and proof theory, including three papers on various aspects of the Gdel theorems. Boolos is universally recognized as the leader in the renewed interest in studies of Frege’s work on logic and the philosophy of mathematics. John Burgess has provided introd

中文参考译名:手册逻辑人工智能与逻辑程序设计：第5卷：逻辑程序设计
Authors:Dov M. Gabbay, C. J. Hogger, J. A. Robinso,
Publisher: Oxford University Press, USA
Keywords: logic, programming, volume, artificial, handbook, intelligence
Number of Pages: 816
Published: 1998-03-05
List price: $325.00
ISBN-10: 0198537921
ISBN-13: 9780198537922

Logic is now widely recognized as one of the foundational disciplines of computing and has applications in virtually all aspects of the subject, from software engineering and hardware to programming languages and artificial intelligence. The Handbook of Logic in Artificial Intelligence and its companion The Handbook of Logic in Computer Science were created in response to the growing need for an in-depth survey of these applications. This handbook comprises five volumes, each an in-depth overview of one of the major topics in this area. The result of years of cooperative effort by internationa

中文参考译名:逻辑编程：1998年联合国际会议和研讨会逻辑程序设计（逻辑编程）诉讼
Author: Joxan Jaffar
Publisher: The MIT Pre
Keywords: logic, programming, conference, symposium, joint, proceedings, international
Number of Pages: 360
Published: 1998-05-29
List price: $95.00
ISBN-10: 0262600315
ISBN-13: 9780262600316

The Joint International Conference and Symposium on Logic Programming, sponsored by the Association for Logic Programming, includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.

中文参考译名:逻辑的发现与话语逻辑
Authors:Jaakko Hintikka, Fernand Vandamme,
Publisher: Springer
Keywords: logic, discourse, discovery
Number of Pages: 288
Published: 1986-03-31
List price: $199.00
ISBN-10: 0306421577
ISBN-13: 9780306421570

中文参考译名:苹果专业培训系列：Logic Pro 8中与Logic Express 8
Author: David Nahmani
Publisher: Peachpit Pre
Keywords: logic, pro, express, series, training
Number of Pages: 528
Published: 2007-12-14
List price: $59.99
ISBN-10: 0321502922
ISBN-13: 9780321502926

This brand-new Apple-certified guide, reconceived for Logic’s new interface, uses all-new projects and media files to show you how to record, produce, and polish your musical creations with Apple’s professional audio software. Veteran audio producer David Nahmani uses step-by-step, project-based instruction and straightforward explanations to teach everything from basic music creation to advanced production techniques.Using the book’s DVD files and either Logic Pro 8 or Logic Express 8, you’ll begin making music in the first lesson. From there, you’ll learn to rec

中文参考译名:苹果专业培训系列：Logic Pro的9与Logic Express 9
Author: David Nahmani
Publisher: Peachpit Pre
Keywords: logic, pro, express, series, training
Number of Pages: 504
Published: 2009-11-16
List price: $54.99
ISBN-10: 0321636805
ISBN-13: 9780321636805

Completely revised and updated for Logic Pro 9 and Logic Express 9, this Apple-certified guide shows you how to record, produce, and polish music files with Apple’s professional audio software. Veteran music producer David Nahmani’s step-by-step, instructions teach you everything from basic music creation to advanced production techniques using Logic’s software synthesizers, samplers, and digital signal processors. Using the book’s DVD files and either Logic Pro 9 or Logic Express 9, you’ll begin making music in the first lesson. Whether you’re looking to us

中文参考译名:在逻辑光（逻辑与哲学计算）
Author: Solomon Feferma
Publisher: Oxford University Press, USA
Keywords: logic, philosophy, computation, light
Number of Pages: 352
Published: 1998-11-19
List price: $125.00
ISBN-10: 0195080300
ISBN-13: 9780195080308

Solomon Feferman is one of the leading figures in logic and the foundations of mathematics. This volume brings together a selection of his most important essays dealing with the light which results in modern logic cast on significant problems in the foundations of mathematics. It is essential reading for anyone interested in these subjects. Feferman presents key issues in the work of Cantor, Hilbert, Weyl, and Godel among others, and explains how they are dealt with by proof theory and other parts of logic. A number of the papers appeared originally in obscure places and are not well-known, an