Aspects du Theoreme de completude selon Herbrand

Saved in:
Bibliographic Details
Published inSymposium on Automatic Demonstration pp. 73 - 86
Main Author Fraïssè, Roland
Format Book Chapter
LanguageFrench
Published Berlin, Heidelberg Springer Berlin Heidelberg 23.08.2006
SeriesLecture Notes in Mathematics
Subjects
Etant Donnee
Finite Axiomatizability
Nous Allons
Nous Appellerons
Occurrence Distinctes
Online AccessGet full text

Cover

More Information
ISBN:9783540049142
3540049142
ISSN:0075-8434
1617-9692
DOI:10.1007/BFb0060625