book CS Basics (Logics, Discrete Mathematics) Back

AHO, SETHI, ULLMAN
Compilers. Principles, Techniques and Tools, © 1986, Addison-Wesley.

ARNOLD, GUESSARIAN
Mathematics for Computer Science, © 1996, Prentice Hall.

BEN-ARI
Mathematical Logic for Computer Science, © 1993, Prentice Hall.

BEST
Semantics of Sequential and Parallel Programs, © 1996, Prentice Hall.

BROOKSHEAR
Computer Science: An overview, 5th ed, © 1997, Addison-Wesley.

van DALEN
Logic and Structure, © 1994, Springer.

EBBINGHAUS, FLUM
Finite Model Theory, © 1995, Springer.

EBBINGHAUS, FLUM,THOMAS
Mathematical Logic, © 1994, Springer.

FITTING
First-Order Logic and Automated Theorem Proving (2nd ed.), © 1996, Springer.

FLENER
Logic Program Synthesis from Incomplete Information, © 1995, Kluwer Ac. Publ.

FULTON
Algebraic Topology, © 1995, Springer.

GABBAY, HODKINSON, REYNOLDS
Temporal Logic: Mathematical Foundations and Computational Aspects, Vol. 1, © 1994, Oxford University Press.

GRAHAM, KNUTH, PATASHNIK
Concrete Mathematics: A Foundation for Computer Science, 2nd ed, © 1994, Addison-Wesley.

GRAHAM, GRÖTSCHEL, LOVÁSZ
Handbook of Combinatorics, Vol.1-2, © 1995, Elsevier.

GRIES, SCHNEIDER
A Logical Approach to Discrete Math, © 1994, Springer.

HEHNER
A Practical Theory of Programming, © 1993, Springer.

LALEMENT
Reduction And Resolution: Computation And Logic, © 1993, Prentice Hall.

LEEUWEN
Handbook of Theoretical Computer Science. vol.A: Algorithms and Complexity (+ vol B), © 1990, Elsevier.

MACLANE,MOERDIJK
Sheaves in Geometry and Logic, © 1992, Springer.

MANNA, WALDINGER
The Deductive Foundations of Computer Programming, © 1993, Addison-Wesley.

MEINKE
Many Sorted Logic and its Applications, © 1993, Wiley.

NERODE, SHORE
Logic for Applications, © 1993, Springer.

REEVES, CLARKE
Logic for Computer Science, © 1990, Addison-Wesley.

SALOMAA
Public-Key Cryptography, © 1990, Springer.

SCHMIDT, STRÖHLEIN
Relations and Graphs, © 1993, Springer.

SHOENFIELD
Recursion Theory, © 1993, Springer.

SLONNEGER
Formal Syntax and Semantics of Programming Languages, © 1995, Addison-Wesley.

SMORYNSKI
Logical Number Theory I, © 1991, Springer.

STINSON
Cryptography: Theory and Practice, © 1995, CRC Press.

TUCKER, BERNAT, BRADLEY, CUPPER, SCRAGG
Fundamentals of Computing I: Logic, Problem Solving, Programs and Computers: C++ edition, © 1995, McGraw-Hill
accompanied by Instructor's Manual and Laboratory Manual.

WINSKEL
The Formal Semantics of Programming Languages, © 1993, MIT Press.


Back Top Changed 16/01/1997. Comments: monika@cs.ioc.ee