No CrossRef data available.
Article contents
Calcul en logique du premier ordre YVES BOUCHARD Montréal, Presses de l’Université du Québec, 2015, 288 p.
Published online by Cambridge University Press: 19 February 2016
Abstract
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Book Reviews/Comptes rendus
- Information
- Dialogue: Canadian Philosophical Review / Revue canadienne de philosophie , Volume 55 , Issue 1 , March 2016 , pp. 207 - 209
- Copyright
- Copyright © Canadian Philosophical Association 2016
References
Références bibliographiques
Enderton, Herbert B. 1972
A Mathematical Introduction to Logic, New York (NY) / London, Academic Press.Google Scholar
Gentzen, Gerhard
1935
«Untersuchungen über das logische Schliessen I», Mathematische Zeitschrift, vol. 39, no
1, p. 176–210.Google Scholar