Dettaglio del documento copertina Condividi Trova il documento in altre risorse ???scheda.servizi.button??? Facebook Mathematical logic : a course with exercises Cori, René Oxford university <editore> 2000 - 2001 Scrivi una recensione e condividila con gli altri lettori. Contiene Lo trovi in Scheda 1: Propositional calculus, boolean algebras, predicate calculus, completeness theorems, 2000 2: Recursion theory, Godels theorems, set theory, model theory, 2001 https://unina2.on-line.it/opac/resource/VAN00021135
