Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Martino, Enrico.

Overview

Works:	2 works in 2 publications in 1 languages

Titles

Intuitionistic proof versus classical truth = the role of Brouwer's creative subject in intuitionistic mathematics / by: Martino, Enrico.; SpringerLink (Online service) (Electronic resources)

Arbitrary reference in logic and mathematics by: Carrara, Massimiliano.; Martino, Enrico.; SpringerLink (Online service) (Electronic resources)

Subjects

Philosophy. Mathematical Logic and Foundations. Mathematical Logic and Formal Languages. Logic. Intuitionistic mathematics. Linguistics. Analytic Philosophy. Philosophy of Mathematics. Brouwerian algebras. Philology. Arbitrary constants.

Change password

Login