The mathematics of logic a guide to completeness theorems and their applications /

Сохранить в:

Библиографические подробности
Главный автор:	Kaye, Richard (Richard W.)
Соавтор:	ProQuest (Firm)
Формат:	Электронный ресурс eКнига
Язык:	английский
Опубликовано:	Cambridge : Cambridge University Press, 2007.
Предметы:	Logic, Symbolic and mathematical. Logic. Electronic books.
Online-ссылка:	Click to View
Метки:	Добавить метку Нет меток, Требуется 1-ая метка записи!

MARC


LEADER	00000nam a2200000Ia 4500
001	EBC325984
003	MiAaPQ
005	20241107122935.0
006	m o d \|
007	cr cnu\|\|\|\|\|\|\|\|
008	070702s2007 enka o 001 0 eng d
015			\|a GBA752063 \|2 bnb
020			\|a 9780511341106 \|q (electronic bk.)
020			\|z 9780521882194 \|q (print)
035			\|a (MiAaPQ)EBC325984
035			\|a (Au-PeEL)EBL325984
035			\|a (CaPaEBR)ebr10202810
035			\|a (CaONFJC)MIL108531
035			\|a (OCoLC)181380147
040			\|a MiAaPQ \|b eng \|e rda \|e pn \|c MiAaPQ \|d MiAaPQ
050		4	\|a QA9 \|b .K32 2007
082	0		\|a 511.3 \|2 22
100	1		\|a Kaye, Richard \|q (Richard W.)
245	1	4	\|a The mathematics of logic \|h [electronic resource] : \|b a guide to completeness theorems and their applications / \|c Richard W. Kaye.
260			\|a Cambridge : \|b Cambridge University Press, \|c 2007.
300			\|a xi, 204 p. : \|b ill.
500			\|a Includes index.
590			\|a Electronic reproduction. Ann Arbor, MI : ProQuest, 2018. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
650		0	\|a Logic, Symbolic and mathematical.
650		0	\|a Logic.
655		4	\|a Electronic books.
710	2		\|a ProQuest (Firm)
797	2		\|a ProQuest (Firm)
856	4	0	\|u https://ebookcentral.proquest.com/lib/kaiptc/detail.action?docID=325984 \|z Click to View
942			\|c PQEBOOK
999			\|c 23488 \|d 23488