Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

₺4.549,00
+ ₺1.015,99 Kargo

Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

Satıcı:
  • product image

₺4.549,00

Şu anda mevcut değil
+ ₺1.015,99 Kargo

14 Günlük İade Politikası

Ödeme yöntemleri:

  • Marka: Unbranded
Ürün detayları

Ürün detayları

Simple Type Theory A Practical Logic For Expressing And Reasoning About Mathemat - William M. Farmer

This Unique Textbook, In Contrast To A Standard Logic Text, Provides The Reader With A Logic That Actually Can Benbsp;nbsp;in Practice To Express And Reason About Mathematical Ideas.the Book Is An Introduction Tonbsp;simple Type Theory, A Classical Higher-order Version Of Predicate Logic That Extends First-order Logic. It Presents A Practice-oriented Logic Callednbsp;alonzonbsp;that Is Based On Alonzo Churchs Formulation Of Simple Type Theory Known Asnbsp;churchs Type Theory. Unlike Traditional Predicate Logics, Alonzo Admits Undefined Expressions.
  • Marka: Unbranded
  • Kategoriye Göre: Referans
  • Biçim: Paperback
  • Yayın Tarihi: 2024-01-03
  • Dil: English
  • Yazar: William M. Farmer
  • Sayfa Sayısı: 312
  • Yayıncı / Etiket: Springer Nature B.V
  • Fruugo Kimliği: 469769824-983724756
  • ISBN: 9783031211140
Teslimat

Teslimat

-1 gün içinde kargoya verilir

  • STANDARD: ₺1.015,99 - Arasında teslimat Pzt 19 Ekim 2026–Pzt 26 Ekim 2026

Kargo çıkış noktası Birleşik Krallık.

İadeler

İadeler

Sipariş ettiğiniz ürünlerin size bütün ve belirttiğiniz özelliklere göre teslim edilmesi için elimizden gelenin en iyisini yapıyoruz. Fakat, bütün gelmeyen veya siparişiniz ettiğinizden farklı çıkan bir ürünün elinize ulaşması ya da siparişinizden başka bir sebepten ötürü memnun kalmamanız durumunda, siparişi veya siparişe dahil ürünlerden herhangi birini iade edebilir ve ürünler için tam para iadesi alabilirsiniz.

Tam iade politikasını görüntüle