CIRM - Videos & books LibraryDocuments

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

ISBN 978-3-540-07152-5

Lecture notes in mathematics , 0450

Localisation : Collection 1er étage

action nilpotente sur groupe nilpotent # anneau commutatif # anneau de polynôme commutatif # anneau de série de puissance # classe d'axiome # forcing # logique et fondation # logique modale propositionnelle # système de remplacement # théorie de la dimension # théorie de récursion et algèbre # théorème de Church- Rosser # théorème de structure pour inverse semi-groupe

Documents

Thesaurus

Revues

Documents 03-03 | enregistrements trouvés : 102

Algebra and logicpapers from the 1974 summer Research Institute of the Australian Mathematical Societyheld at Monash UniversityClayton Jan. 6 - Fev. 16 Crossley, J. N. | Springer-Verlag 1975 Nouveau

Cahiers du Séminaire d'histoire des mathématiques 1991 2èmè série Vol. I Université Pierre et Marie Curie | Université Pierre et Marie Curie, Laboratoire de mathématiques fondamentales 1991 Nouveau

Fonder autrement les mathématiques Nabonnand, Philippe | Editions Kimé 2005 Nouveau

Foundations of probability theory,statistical inference,and statistical theories of science. Vol. 1proceedings of an international research colloquium held at the university of western ontario,london,canada,10- 13 may,1973 Harper, W. L. ; Hooker, C. A. | D. Reidel Publisher Co. 1976 Nouveau

Logic,methodology and philosophy of science viiproceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau

Mathematical logic,the theory of algorithms and the theory of setsdedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Perspectives on the history of mathematical logicspecial session on the history of logic at the american mathematical society's meeting in march Drucker, Thomas | Birkhäuser 1991 Nouveau

A history of formal logic Bochenski, I.M. ; Thomas, Ivo | Chelsea Publishing Co. 1970 Nouveau

Abstract set theory Skolem, Thoralf A. | University of Notre Dame 1962 Nouveau

Alan Turing's systems of logic: the Princeton thesis Turing, Alan ; Appel, Andrew W. | Princeton University Press 2012 Nouveau

Alfred Tarski:life and logic Feferman, Anita Burdman ; Feferman, Solomon | Cambridge University Press 2004 Nouveau

an Introduction to Gödel's theorems Smith, Peter | Cambridge University Press 2007 Nouveau

an Introduction to non-classical logic:from if to is Priest, Graham | Cambridge University Press 2008 Nouveau

Ancient formal logic Bochenski, I.M. | North-Holland Publishing Co. 1968 Nouveau

Aristotle's modal syllogisms McCall, Storrs | North-Holland Publishing Co. 1963 Nouveau

Automation of reasoning,vol. 1classical papers on computational logic 1957-1966 Siekmann, Jorg ; Wrightson, Graham | Springer-Verlag 1983 Nouveau

Begriffsschrift und andere aufsätze Frege, Gottlob ; Angelelli, Ignacio | Georg Olms Verlag 1977 Nouveau

Bernard Bolzano's :grundlegung der logik#ausgewählte paragraphen aus der wissenschaftslehre. Band I und II Bolzano, Bernard ; Kambartel, Friedrich | Felix Meiner Verlag 1978 Nouveau

Bibliographia logicaverzeichnis der handschriften zur logik Risse, Wihelm | Georg Olms Verlag 1974 Nouveau

Bibliographia logica :verzeichnis der druckschriften zur logik mit angabe ihrer fundorte Risse, Wilhelm | Georg Olms Verlagsbuchhandlung 1965 Nouveau

Filtrer

Type

Codes MSC

Documents

Références

Auteurs

Thesaurus

Algebra and logic
papers from the 1974 summer Research Institute of the Australian Mathematical Society
held at Monash University
Clayton
Jan. 6 - Fev. 16 Crossley, J. N. | Springer-Verlag 1975 Nouveau

Foundations of probability theory,statistical inference,and statistical theories of science. Vol. 1
proceedings of an international research colloquium held at the university of western ontario,london,canada,10- 13 may,1973 Harper, W. L. ; Hooker, C. A. | D. Reidel Publisher Co. 1976 Nouveau

Logic,methodology and philosophy of science vii
proceedings of the 7th international congress held at the university of salzburg,austria,july 11-1 6,1983 Dorn, Georg J. W. ; Marcus, Ruth Barcan ; Weingartner, Paul | North-Holland 1986 Nouveau

Mathematical logic,the theory of algorithms and the theory of sets
dedicated to p s. novikov on his seventieth birthday Adjan, S. I. | American Mathematical Society 1977 Nouveau

Perspectives on the history of mathematical logic
special session on the history of logic at the american mathematical society's meeting in march Drucker, Thomas | Birkhäuser 1991 Nouveau

Alan Turing's systems of logic:
the Princeton thesis Turing, Alan ; Appel, Andrew W. | Princeton University Press 2012 Nouveau

Alfred Tarski:
life and logic Feferman, Anita Burdman ; Feferman, Solomon | Cambridge University Press 2004 Nouveau

an Introduction to non-classical logic:
from if to is Priest, Graham | Cambridge University Press 2008 Nouveau

Automation of reasoning,vol. 1
classical papers on computational logic 1957-1966 Siekmann, Jorg ; Wrightson, Graham | Springer-Verlag 1983 Nouveau

Bernard Bolzano's :
grundlegung der logik#ausgewählte paragraphen aus der wissenschaftslehre. Band I und II Bolzano, Bernard ; Kambartel, Friedrich | Felix Meiner Verlag 1978 Nouveau

Bibliographia logica
verzeichnis der handschriften zur logik Risse, Wihelm | Georg Olms Verlag 1974 Nouveau

Bibliographia logica :
verzeichnis der druckschriften zur logik mit angabe ihrer fundorte Risse, Wilhelm | Georg Olms Verlagsbuchhandlung 1965 Nouveau