Treatise on Intuitionistic Type Theory
Saved in:
| Hovedforfatter: | |
|---|---|
| Institution som forfatter: | |
| Format: | Electronisk eBog |
| Sprog: | engelsk |
| Udgivet: |
Dordrecht :
Springer Netherlands,
2011.
|
| Serier: | Logic, Epistemology, and the Unity of Science ;
22 |
| Fag: | |
| Online adgang: | http://dx.doi.org/10.1007/978-94-007-1736-7 |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|
Lignende værker: Treatise on Intuitionistic Type Theory
- Treatise on Intuitionistic Type Theory
- Logic and Philosophy of Mathematics in the Early Husserl
- Logic and Philosophy of Mathematics in the Early Husserl
- Induction, Algorithmic Learning Theory, and Philosophy
- Induction, Algorithmic Learning Theory, and Philosophy
- Arguing on the Toulmin Model New Essays in Argument Analysis and Evaluation /