Filter
Sökt på: Sökresultat
Filter
totalt 3 träffar
Introduction to Logic and to the Methodology of Deductive Sciences
pocket,
2013,
Engelska,
ISBN 9781614275404
A Formalization of Set Theory Without Variables
pocket,
1987,
Engelska,
ISBN 9780821810415
Logic, Semantics, Metamathematics
pocket,
1981,
Engelska,
ISBN 9780915144761
The emphasis throughout is on natural deduction derivations, and the text's deductive systems are its greatest strength.