Semantic Scholar Open Access 1994 509 sitasi

The proof theory and semantics of intuitionistic modal logic

A. Simpson

Lihat Sumber

Topik & Kata Kunci

Computer Science Mathematics

Penulis (1)

A. Simpson

Format Sitasi

APA MLA BibTeX

Simpson, A. (1994). The proof theory and semantics of intuitionistic modal logic. https://www.semanticscholar.org/paper/2a141d77d86da96753fc45ef87e21f4f7f6c5426

Akses Cepat

PDF tidak tersedia langsung

Cek di sumber asli →

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 1994
Bahasa: en
Total Sitasi: 509×
Sumber Database: Semantic Scholar
Akses: Open Access ✓