FRED (Den Haag): Open tot 21:00 uur
CENTRUM (Den Haag): Open tot 18:00 uur
DELFT: Open tot 18:00 uur
MALL: Open tot 20:00 uur
  1. Home
  2. > Boeken
  3. > Studieboeken
  4. > Exacte wetenschappen

Computational Logic and Set Theory

Jacob T. Schwartz Gratis
Bezorgd
€ 84,95
Lees meer over het Paagman Privilege Programma  prijs v.a. € 72,21
Extra voordeel
Neem contact op
voor onze actuele levertijd.
Niet op voorraad
Informeer naar de levertijd
Computational Logic and Set Theory
Jacob T. Schwartz

Omschrijving

Applying Formalized Logic to Analysis
This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.
Lees meer Lees minder
0 Beoordelingen
Toon alle beoordelingen
Productinformatie
  • ISBN: 9780857298072
  • Auteur: Jacob T. Schwartz
  • Uitgave: Springer London Ltd
  • Jaar van uitgave: 2019
  • Taal: Engels
  • Bladzijden: 416
  • Afm.: 167 x 242 x 30 mm
  • Gewicht: 785 gr
  • Artikelnummer: 72846633
Lees meer Lees minder
Gratis
Bezorgd
€ 84,95
Lees meer over het Paagman Privilege Programma  prijs v.a. € 72,21
Extra voordeel
  • Aantal Prijs per stuk
  • 1 - 9 € 84,95
  • 10 - 29 € 80,70
  • 30 + € 76,46
Neem contact op
voor onze actuele levertijd.
Niet op voorraad
Informeer naar de levertijd
Even geduld AUB ...
Laden even geduld aub ...