語系
Fenstad, Jens Erik.
概要
作品: | 1 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Generalized recursion theory II = proceedings of the 1977 Oslo symposium /
by:
Gandy, R. O.; Fenstad, Jens Erik.; Workshop on the Preservation of Stability under Discretization ((2001 :); Sacks, Gerald E.
(書目-語言資料,印刷品)
Structures and algorithms = mathematics and the nature of knowledge /
by:
Fenstad, Jens Erik.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Structures and Algorithms = Mathematics and the Nature of Knowledge /
by:
SpringerLink (Online service); Fenstad, Jens Erik.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
Logic, methodology, and philosophy of science VIII = proceedings of the Eighth International Congress of Logic, Methodology, and Philosophy of Science, Moscow, 1987 /
by:
Fenstad, Jens Erik.; Frolov, I. T. (1929-1999.); Workshop on the Preservation of Stability under Discretization ((2001 :); Hilpinen, Risto.
(書目-語言資料,印刷品)
主題
Mathematical logic.
Data structures (Computer science)
Language and languages—Philosophy.
Algorithms.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Mathematics.
Science
Logic
Mathematics
Epistemology.
Mathematics—Philosophy.
Philosophy of Mathematics.
Philosophy of Language.
Recursion theory
Philosophy.