Filter by

  • Publication Year
  • Availability
  • Attachment
  • Collection Type
  • General Material Designation
    See More
  • Location
  • Language
Found 1 from your keywords: author="Heister, Peter Schroed...
cover
Advances in Proof-Theoretic Semantics
Comment Share
Piecha, ThomasHeister, Peter Schroeder

Buku ini adalah koleksi pertama yang dikhususkan untuk bidang semantik teori pembuktian. Kontribusi-kontribusi membahas topik-topik termasuk sistematika aturan-aturan pengenalan dan eliminasi dan bukti-bukti normalisasi, karakterisasi kategorik dari deduksi, hubungan antara pendekatan Heyting dan Gentzen tentang makna, paradoks-paradoks yang dapat diketahui, dasar-dasar teori pembuktian dari te…

Edition
-
ISBN/ISSN
978-3-319-22686-6
Collation
online resource ( VI, 283 Pages)
Series Title
Tren dalam Logika (TREN)
Call Number
160.3 PIE a