Book review: Krantz, S. G.: Handbook of Logic and Proof Techniques for Computer Science. Birkhäuser, Springer, Boston-New York 2002, 245. EUR 60.75, ISBN 0-8176-4220-X.

In: Tatra Mountains Mathematical Publications, vol. 25, no. 3

Miloslav Duchoň

Detaily:

Rok, strany: 2002, 139 - 139

Ako citovať:

ISO 690:

Duchoň, M. 2002. Book review: Krantz, S. G.: Handbook of Logic and Proof Techniques for Computer Science. Birkhäuser, Springer, Boston-New York 2002, 245. EUR 60.75, ISBN 0-8176-4220-X.. In Tatra Mountains Mathematical Publications, vol. 25, no.3, pp. 139-139. 1210-3195.

APA:

Duchoň, M. (2002). Book review: Krantz, S. G.: Handbook of Logic and Proof Techniques for Computer Science. Birkhäuser, Springer, Boston-New York 2002, 245. EUR 60.75, ISBN 0-8176-4220-X.. Tatra Mountains Mathematical Publications, 25(3), 139-139. 1210-3195.