Cover Image

Logical reasoning about programming of mathematical machines

Bibliographic Details
Main Author:	Novitzká, Valerie (Author)
Format:	Article
Language:	Slovak English
Subjects:	matematické stroje počítače programovanie matematická logika

Similar Items

Church's types in logical reasoning on programming
by: Novitzká, Valerie

Linear logical reasoning on programming
by: Novitzká, Valerie, et al.

FEANI 1979 sborník referátů
Published: (1979)

Matematika a logika Retrospektiva a perspektivy
by: Kac, Mark, 1914-1984, et al.
Published: (1977)

Notional Attitudes (on Wishing, seeking and Finding)
by: Duží, Marie