First-order logic and first-order functions
type: Item
instance of: scholarly article
title: First-order logic and first-order functions
zbMATH Open document ID: 1373.03010
author: Rodrigo Freire
published in: Logica Universalis
publication date: 2015-09-25T00:00:00Z
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 6485449
zbMATH Keywords: Boolean functions
zbMATH Keywords: foundations of first-order logic
zbMATH Keywords: definability
MaRDI profile type: Publication
full work available at URL: s11787-015-0126-8
OpenAlex ID: W218854924
cites work: Q5659496
cites work: Q5659497
cites work: Q5818467
cites work: Monadic representability of certain binary relations
cites work: Q3707983
cites work: The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)
cites work: Q5560258
DOI: 10.1007/S11787-015-0126-8
description: scientific article; zbMATH DE number 6485449