De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Videnskab
  5. An Introduction to Proof Theory

An Introduction to Proof Theory

- Normalization, Cut-Elimination, and Consistency Proofs

af Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu
An Introduction to Proof Theory af Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu
Bag om An Introduction to Proof Theory

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9780192895943
  • Indbinding:
  • Paperback
  • Sideantal:
  • 432
  • Udgivet:
  • 17. august 2021
  • Størrelse:
  • 233x157x26 mm.
  • Vægt:
  • 666 g.
  • 4-7 hverdage.
  • 6. 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.

Bag om Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu

Vis alle bøger af Paolo (Willis S. and Marion Slusser Professor of Philosophy Mancosu

Beskrivelse af An Introduction to Proof Theory

An Introduction to Proof Theory provides an accessible introduction to the theory of proofs, with details of proofs worked out and examples and exercises to aid the reader's understanding.

Brugerbedømmelser af An Introduction to Proof Theory



Andre købte også..
Find lignende bøger
Bogen An Introduction to Proof Theory findes i følgende kategorier: