학술논문 – 부산대학교 도서관

학술논문

replay검색결과 돌아가기

search검색화면

A classical first-order normalization procedure with ∀ and ∃ based on the Milne–Kürbis approach

Document Type

Article

Author

Source

In: Synthese. (Synthese, August 2023, 202(2))

Subject

Language

English

ISSN

15730964
00397857

Online Access

Full Text (ProQuest Central) Web of Science JCR 저널정보 Scopus Find it@PNU

이메일