Martin Davis on computability, computational logic, and mathematical foundations
type: Item
instance of: scholarly article
title: Martin Davis on computability, computational logic, and mathematical foundations
zbMATH Open document ID: 1365.03013
DOI: 10.1007/978-3-319-41842-1
published in: Outstanding Contributions to Logic
publication date: 2017-01-20T00:00:00Z
Mathematics Subject Classification ID: 03-06
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 01A60
Mathematics Subject Classification ID: 03D10
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 00B15
zbMATH DE Number: 6676683
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-3-319-41842-1
OpenAlex ID: W2584219801
Recommended article: Book review of: E. G. Omodeo (ed.) and A. Policriti (ed.), Martin Davis on computability, computational logic, and mathematical foundations
Recommended article: Logical Foundations of Mathematics and Computational Complexity
Recommended article: Q3993070
Recommended article: On computability by logic programs
Recommended article: Q3571948
Recommended article: Q4914978
Recommended article: Q4297316
Recommended article: Computational Logic and Set Theory
Recommended article: Q4585824
Recommended article: Introduction to computability logic
description: scientific article; zbMATH DE number 6676683