×
Banachowski, L.; Kreczmar, A.; Mirkowska, G.; Rasiowa, H.; Salwicki, A.

An introduction to algorithmic logic. Metamathematical investigations in the theory of programs. (English) Zbl 0358.68035

Math. Found. Comput. Sci., Banach Cent. Publ. 2, 7-99 (1977).
Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page
scan of Zbl 0358.68035

Cited in 14 Documents

MSC:

68N01 General topics in the theory of software
68W99 Algorithms in computer science
03B05 Classical propositional logic
03B10 Classical first-order logic
Cite Review PDF
Full Text: EuDML Link