Kapak Resmi

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas /

Diğer sürümleri göster (1)

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introduction to simple type theory, a classical higher-order version of predicate logic that extends first...

Ful tanımlama

Kaydedildi:
Detaylı Bibliyografya
Yazar: Farmer, William M. (Yazar)
Müşterek Yazar: SpringerLink (Online service)
Materyal Türü: Elektronik Ekitap
Dil:İngilizce
Baskı/Yayın Bilgisi: Cham : Springer International Publishing : Imprint: Birkhäuser, 2023.
Edisyon:1st ed. 2023.
Seri Bilgileri:Computer Science Foundations and Applied Logic,
Konular:
Computer science.
Mathematical logic.
Computational complexity.
Reasoning.
Set theory.
Computer Science Logic and Foundations of Programming.
Mathematical Logic and Foundations.
Computational Complexity.
Formal Reasoning.
Set Theory.
Online Erişim:https://doi.org/10.1007/978-3-031-21112-6
Etiketler: Etiketle
Etiket eklenmemiş, İlk siz ekleyin!
İçindekiler:
  • 1 Introduction
  • 2 Answers to Readers’ Questions
  • 3 Preliminary Concepts
  • 4 Syntax
  • 5 Semantics
  • 6 Additional Notation
  • 7 Beta-reduction and Substitution
  • 8 Proof Systems
  • 9 Theories
  • 10 Sequences
  • 11 Developments
  • 12 Real Number Mathematics
  • 13 Morphisms 14 Alonzo Variants
  • 15 Software Support.

Benzer Materyaller