Lectures Year : 2019

Kit de survie - Logique

François Schwarzentruber
Logic and Applications
CV

Domains

Computer Science [cs] Mathematics [math]
Fichier principal
Vignette du fichier
logique_agreg.pdf (1.99 Mo) Télécharger le fichier
Origin Files produced by the author(s)

François Schwarzentruber  : Connect in order to contact the contributor

https://cel.hal.science/cel-01995410

Submitted on : Saturday, January 26, 2019-6:12:14 PM

Last modification on : Tuesday, August 27, 2024-12:49:53 PM

Long-term archiving on : Saturday, April 27, 2019-12:59:01 PM

Download

Dates and versions

cel-01995410 , version 1 (26-01-2019)

Identifiers

  • HAL Id : cel-01995410 , version 1

Cite

François Schwarzentruber. Kit de survie - Logique. Master. France. 2019, pp.1-72. ⟨cel-01995410⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA ENS-RENNES CENTRALESUPELEC IRISA-D4 UR1-MATH-STIC UNIV-PARIS-SACLAY UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY
302 View
2678 Download

Share

More