Simple Type Theory

A Practical Logic for Expressing and Reasoning About Mathematical Ideas

AvWilliam M Farmer

Häftad, Engelska, 2023

652 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

877 kr

883 kr

1 116 kr

664 kr

Tillf. slut

Produktinformation

Utgivningsdatum:2023-01-02
Mått:156 x 234 x 17 mm
Vikt:440 g
Format:Häftad
Språk:Engelska
Antal sidor:312
Förlag:Birkhauser
ISBN:9783031211133

Utforska kategorier

Systemvetenskap och AI inom Data och IT
Matematikens grunder inom Naturvetenskap och teknik
Programmeringsböcker inom Data och IT

Mer från samma författare

Del 11006

Intelligent Computer Mathematics

Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef

Häftad, 2018

571 kr

Intelligent Computer Mathematics

Abdou Youssef, Grant O. Passmore, William M. Farmer, Florian Rabe

E-bok

2018

698 kr

Mathematical Knowledge Management

Jonathan Borwein, William M. Farmer

Häftad, 2006

571 kr

Mathematical Knowledge Management

William M. Farmer, Jonathan Borwein

E-bok

2006

718 kr

Intelligent Computer Mathematics

James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban

Häftad, 2011

571 kr

Intelligent Computer Mathematics

Josef Urban, Florian Rabe, William M. Farmer, James H. Davenport

E-bok

2011

739 kr

Du kanske också är intresserad av