Home | Help | New Search | 中文模式

AS Library Service 


Start Over Export MARC Display Return To Browse Another Search
   
Record:   Prev Next
Author Granstrom, Johan Georg
Title Treatise on intuitionistic type theory [electronic resource] / by Johan Georg Granstrom
Imprint Dordrecht : Springer Science+Business Media B.V., 2011
 book jacket
Click on the following to:
eBook(Springer)
Descript xiii, 196 p. : ill., digital ; 24 cm
Series Logic, epistemology, and the unity of science ; v. 22
Note Springer
Host Item Springer eBooks
Subject Type theory
Philosophy
Epistemology
Mathematical Logic and Foundations
Logics and Meanings of Programs
Logic
History of Philosophy
Algorithms
Alt Author SpringerLink (Online service)
Record:   Prev Next
Start Over Export MARC Display Return To Browse Another Search


Home | Help | 中文模式