Work

Foundations for the Working Mathematician, and for Their Computer

Year: 2019

Type: book-chapter

Source: Synthese Library/Synthese library

DOI: 10.1007/978-3-030-15655-8_18

Author: Nathan Bowler

Institution: Universität Hamburg

Language: English

Topic: History and Theory of Mathematics

Subfield: Theoretical Computer Science

Field: Mathematics

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2987668437

FWCI:

Cites: 14

Cited by: 2

Related to: 10