An algebraic introduction to mathematical logic

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awduron:	Barnes, Donald W (Awdur), Mack, John M (Awdur)
Fformat:	Llyfr
Iaith:	Saesneg
Cyhoeddwyd:	Nueva York Springer-Verlag 1975
Cyfres:	Graduate Texts in Mathematics, 22
Pynciau:	Lógica matemática Lógica simbólica LOGICA ALGEBRAICA MAQUINAS DE TURING Matemática
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

Biblioteca de Matemática -