An Introduction to Mathematical Logic and Type Theory
indgår i Applied Logic Series serien
- Indbinding:
- Paperback
- Sideantal:
- 412
- Udgivet:
- 9. december 2010
- Udgave:
- 10002
- Størrelse:
- 155x23x235 mm.
- Vægt:
- 622 g.
- 8-11 hverdage.
- 11. december 2024
På lager
Forlænget returret til d. 31. januar 2025
Normalpris
Abonnementspris
- Rabat på køb af fysiske bøger
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
- 1 valgfrit digitalt ugeblad
- 20 timers lytning og læsning
- Adgang til 70.000+ titler
- Ingen binding
Abonnementet koster 75 kr./md.
Ingen binding og kan opsiges når som helst.
Brugerbedømmelser af An Introduction to Mathematical Logic and Type Theory
Giv din bedømmelse
For at bedømme denne bog, skal du være logget ind.Andre købte også..
Find lignende bøger
Bogen An Introduction to Mathematical Logic and Type Theory findes i følgende kategorier:
- Business og læring > Computer og IT
- Krop og sind
- Sprog og lingvistik > Lingvistik > Datalingvistik
- Matematik og naturvidenskab > Matematik > Matematikkens fundament > Matematisk logik
- Filosofi og religion > Filosofi > Emner i filosofi > Filosofi: logik
- Databehandling og informationsteknologi > Informatik > Kunstig intelligens