---

＜電子ブック＞
Trends in Logic : 50 Years of Studia Logica / edited by Vincent F. Hendricks, Jacek Malinowski
(Trends in Logic, Studia Logica Library. ISSN:22127313 ; 21)

版	1st ed. 2003.
出版者	(Dordrecht : Springer Netherlands : Imprint: Springer)
出版年	2003
本文言語	英語
大きさ	VII, 384 p : online resource
著者標目	Hendricks, Vincent F editor Malinowski, Jacek editor SpringerLink (Online service)
件　名	LCSH:Logic LCSH:Coding theory LCSH:Information theory LCSH:Mathematical logic FREE:Logic FREE:Coding and Information Theory FREE:Mathematical Logic and Foundations
一般注記	50 Years of Studia Logica: Editorial Introduction -- Polish Logic in Postwar Period -- Fifty Years: Changes and Constants in Logic -- Generalized Matrices in Abstract Algebraic Logic -- Intensional Logic — Beyond First Order -- Questions of Canonicity -- ?ukasiewicz Logic and Chang’s MV Algebras in Action -- Substructural Logics and Residuated Lattices — an Introduction -- Quantum Computational Logics: A Survey -- Inconsistent Arithmetics: Issues Technical and Philosophical -- Inconsistency-tolerant Description Logic: Motivation and Basic Systems -- Type Logics in Grammar HTTP:URL=https://doi.org/10.1007/978-94-017-3598-8

 類似資料