STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 136 ADMISSIBILITY OF LOGICAL INFERENCE
VLADIMIR V.RYBAKOV1997 年出版617 页ISBN:0444895051
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 137 HANDBOOK OF PROOF THEORY
SAMUEL R.BUSS1998 年出版811 页ISBN:0444898409
SIMPLIFIED BASIC PROGRAMMING FOR MICROCOMPUTERS
GERALD A.SILVER1984 年出版314 页ISBN:0060461624
MARK LUTZ2011 年出版1585 页ISBN:7564126876
你将通过一种清晰和简洁的方式——讲解了大量正确用法和常见惯例的例子——学会语言的语法和编程技巧。《Python编程》针对3.x版本做了完全的更新,它探讨了Python如何成为软件开发工具,并且特别为此设计了很...
PROGRAMMING BUSINESS SYSTEMS WITH BASIC
DAVID R.ADAMS1984 年出版598 页ISBN:0538109807
STUDIES IN LOGIC AND THE FOUNDATIONS OF MATHEMATICS VOLUME 143 CLASSICAL RECURSION VOLUME II
P.G.ODIFREDDI1999 年出版949 页ISBN:044450205X