Logica: Metodo Breve
type: Item
instance of: scholarly article
title: Logica: Metodo Breve
zbMATH Open document ID: 1211.03001
DOI: 10.1007/978-88-470-1884-6
author: Daniele Mundici
published in: UNITEXT
publication date: 2011-03-03T00:00:00Z
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03B05
Mathematics Subject Classification ID: 03B10
zbMATH DE Number: 5860088
zbMATH Keywords: textbook
zbMATH Keywords: propositional logic
zbMATH Keywords: first-order logic
zbMATH Keywords: logic of clauses
zbMATH Keywords: logic of equality
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-88-470-1884-6
OpenAlex ID: W2504623569
description: scientific article