Catalog

Record Details

Catalog Search


Back To Results
Showing Item 88 of 209

Information and Knowledge A Constructive Type-theoretical Approach  Cover Image E-book E-book

Information and Knowledge A Constructive Type-theoretical Approach

Record details

  • ISBN: 9781402061707
  • Physical Description: electronic
    electronic resource
    access
    remote
    online resource.
  • Publisher: Dordrecht : Springer Netherlands, 2008.
Subject: Philosophy (General)
Genetic epistemology
Logic
Computer science
Logic, Symbolic and mathematical
Philosophy
Logic
Philosophy
Epistemology
Mathematical Logic and Formal Languages
Mathematical Logic and Foundations

Electronic resources


LDR 01660nam a22004575i 4500
00113188
003CONS
00520131219202600.0
007cr nn 008mamaa
008100301s2008 ne | s |||| 0|eng d
020 . ‡a9781402061707 ‡9978-1-4020-6170-7
0247 . ‡a10.1007/978-1-4020-6170-7 ‡2doi
035 . ‡a(DE-He213)978-1-4020-6170-7
050 4. ‡aBC1-199
072 7. ‡aHPL ‡2bicssc
072 7. ‡aPHI011000 ‡2bisacsh
1001 . ‡aPrimiero, Giuseppe. ‡eauthor.
24510. ‡aInformation and Knowledge ‡h[electronic resource] : ‡bA Constructive Type-theoretical Approach / ‡cby Giuseppe Primiero.
264 1. ‡aDordrecht : ‡bSpringer Netherlands, ‡c2008.
300 . ‡bonline resource.
336 . ‡atext ‡btxt ‡2rdacontent
337 . ‡acomputer ‡bc ‡2rdamedia
338 . ‡aonline resource ‡bcr ‡2rdacarrier
347 . ‡atext file ‡bPDF ‡2rda
4901 . ‡aLogic, Epistemology, and the Unity of Science ; ‡v10
650 0. ‡aPhilosophy (General).
650 0. ‡aGenetic epistemology.
650 0. ‡aLogic.
650 0. ‡aComputer science.
650 0. ‡aLogic, Symbolic and mathematical.
65014. ‡aPhilosophy.
65024. ‡aLogic.
65024. ‡aPhilosophy.
65024. ‡aEpistemology.
65024. ‡aMathematical Logic and Formal Languages.
65024. ‡aMathematical Logic and Foundations.
7102 . ‡aSpringerLink (Online service)
7730 . ‡tSpringer eBooks
77608. ‡iPrinted edition: ‡z9781402061691
830 0. ‡aLogic, Epistemology, and the Unity of Science ; ‡v10
85640. ‡uhttp://biblioteca.ipicyt.edu.mx:2048/login?url=http://dx.doi.org/10.1007/978-1-4020-6170-7 ‡yTexto completo ‡9CONS
950 . ‡aHumanities, Social Sciences and Law (Springer-11648)
901 . ‡a13188 ‡b ‡c13188 ‡tbiblio ‡sSystem Local
Back To Results
Showing Item 88 of 209

Additional Resources