ISBNdb.com Home | Categories | Subjects | Authors | Publishers | Your Account (A)
ISBN or Keywords:
Top > Library Shelves > Dewey Decimal Classification > 500 > 510
511
General principles

Books on the Same Shelf

<< >> 1 2 3 4 5 ... 13 ... 33 ... 48 49 50
Introductory discrete mathematics
V.K. Balakrishnan
Publisher: New York : Dover Publications, 1996.
ISBN: 0486691152   DDC: 511   LCC: QA39.2  
Discrete mathematics with applications
William Barnier and Jean B. Chan
Publisher: St. Paul : West Pub. Co., c1989.
ISBN: 0314459669   DDC: 511   LCC: QA39.2  
Proof theory
Gaisi Takeuti
Publisher: Amsterdam ; North-Holland Publishing Co. [etc.], 1975.
ISBN: 0444104925   DDC: 511   LCC: QA9.54  
An introduction to independence for analysts
H. G. Dales and W. H. Woodin
Publisher: Cambridge [Cambridgeshire] ; Cambridge University Press, 1987.
ISBN: 0521339960   DDC: 511   LCC: QA9.7  
The nature of mathematical knowledge
Philip Kitcher
Publisher: New York ; Oxford University Press, 1983.
ISBN: 0195031490   DDC: 511   LCC: QA8.4  
Logic and structure
Dirk van Dahlen
Publisher: Berlin ; Springer-Verlag, 1980.
ISBN: 0387098933   DDC: 511   LCC: QA9  
Studies in complexity theory
Ronald V. Book (editor... [et al.]
Publisher: London : Pitman ; 1986.
ISBN: 027308755X   DDC: 511   LCC: QA267   Edition: (Pitman)
Studies in complexity theory
Ronald V. Book (editor... [et al.]
Publisher: London : Pitman ; 1986.
ISBN: 0470202939   DDC: 511   LCC: QA267   Edition: (pbk.)
The classification of countable homogeneous directed graphs and countable homogeneous n-tournaments
Gregory L. Cherlin
Publisher: Providence, RI : American Mathematical Society, c1998.
ISBN: 0821808362   DDC: 511   LCC: QA3  
Logical methods
Logical methods: in honor of Anil Nerode's sixtieth birthday
John N. Crossley... [et al.], editors
Publisher: Boston : Birkhäuser, 1993.
ISBN: 0817636900   DDC: 511   LCC: QA76.63  
Applications of number theory to numerical analysis
Hua Loo-keng, Wang Yüan
Publisher: Berlin ; Springer-Verlag ; 1981.
ISBN: 0387103821   DDC: 511   LCC: QA297  
Complexity theory retrospective
Complexity theory retrospective: in honor of Juris Hartmanis on the occasion of his sixtieth birthday, July 5, 1988
Alan L. Selman, editor
Publisher: New York : Springer-Verlag, c1990.
ISBN: 0387973508   DDC: 511   LCC: QA267.7  
Mathematics for computer science
A. Arnold and I. Guessarian
Publisher: London ; Prentice Hall, 1996.
ISBN: 0132347172   DDC: 511   LCC: QA39.2   Edition: (pbk.)
Patterns of problem solving
Moshe F. Rubinstein
Publisher: Englewood Cliffs, N.J. : Prentice-Hall, [1974, c1975]
ISBN: 0136542514   DDC: 511   LCC: QA63  
Automata, languages and programming
Automata, languages and programming: 15th International Colloquium, Tampere, Finland, July 11-15, 1988 proceedings
Timo Lepistö, Arto Salomaa (eds.)
Publisher: Berlin ; Springer-Verlag, c1988.
ISBN: 0387194886   DDC: 511   LCC: QA267   Edition: (U.S. : pbk.)
Elements of discrete mathematics
C. L. Liu
Publisher: New York : McGraw-Hill, c1985.
ISBN: 007038133X   DDC: 511   LCC: QA164   Edition: $32.95
Lewis Carroll's 'Symbolic logic'
edited, with annotations and an introduction, by William Warren Bartley
Publisher: Hassocks Sussex : Harvester Press, 1977.
ISBN: 0855279842   DDC: 511   LCC: BC135  
Computation
Computation: computability, similarity, and duality
Hong Jia-Wei
Publisher: London : Pitman ; 1986.
ISBN: 0273087207   DDC: 511   Edition: (pbk.)
Computation
Computation: computability, similarity, and duality
Hong Jia-Wei
Publisher: London : Pitman ; 1986.
ISBN: 0470203870   DDC: 511   Edition: (Wiley : pbk.)
Combinatorial heuristic algorithms with FORTRAN
H. T. Lau
Publisher: Berlin ; Springer-Verlag c1986
ISBN: 0387171614   DDC: 511   LCC: QA402.5   Edition: (U.S. pbk.)
<< >> 1 2 3 4 5 ... 13 ... 33 ... 48 49 50
Copyright © 2002-2009 ISBNdb.com FAQ | Privacy Policy | Contact ISBNdb.com