Bookmark Saya

Semantic Scholar Open Access 1996 1071 sitasi

Basic proof theory

A. Troelstra H. Schwichtenberg
Lihat Sumber DOI

Topik & Kata Kunci

Computer Science Mathematics

Penulis (2)

A

A. Troelstra

H

H. Schwichtenberg

Format Sitasi

APA MLA BibTeX
Troelstra, A., Schwichtenberg, H. (1996). Basic proof theory. https://doi.org/10.1016/s0898-1221(97)90027-4

Akses Cepat

Lihat di Sumber doi.org/10.1016/s0898-1221(97)90027-4
Informasi Jurnal
Tahun Terbit
1996
Bahasa
en
Total Sitasi
1071×
Sumber Database
Semantic Scholar
DOI
10.1016/s0898-1221(97)90027-4
Akses
Open Access ✓