Advances in proof-theoretic semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs o…
- Edisi
- -
- ISBN/ISSN
- 9783319226866
- Deskripsi Fisik
- 283 p.; 23 cm.
- Judul Seri
- -
- No. Panggil
- 412.01 ADV a
Hasil Pencarian
Ditemukan 1 dari pencarian Anda melalui kata kunci: Pengarang : Heister, Peter
Permintaan membutuhkan 0.00062 detik untuk selesai
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah