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. Introduction to Mathematical Logic and Type Theory

Introduction to Mathematical Logic and Type Theory

- To Truth Through Proof

af Peter B. Andrews

indgår i Applied Logic Series serien

Introduction to Mathematical Logic and Type Theory af Peter B. Andrews
Bag om Introduction to Mathematical Logic and Type Theory

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781402007637
  • Indbinding:
  • Hardback
  • Sideantal:
  • 390
  • Udgivet:
  • 1. juli 2002
  • Udgave:
  • 22002
  • Størrelse:
  • 242x160x28 mm.
  • Vægt:
  • 824 g.
  • 8-11 hverdage.
  • 10. december 2024
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 Peter B. Andrews

Vis alle bøger af Peter B. Andrews

Beskrivelse af Introduction to Mathematical Logic and Type Theory

An introduction to mathematical logic that starts with propositional calculus and first-order logic. It is of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.

Brugerbedømmelser af Introduction to Mathematical Logic and Type Theory



Andre købte også..
Find lignende bøger
Bogen Introduction to Mathematical Logic and Type Theory findes i følgende kategorier: