Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444864178

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Fifty Years of Deduction Theorems

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71888-3 ◽

1982 ◽

pp. 243-250 ◽

Cited By ~ 3

Author(s):

Jean Porte

Un Jour de Juillet 1931, Dans Le Massif D'oisans …

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71873-1 ◽

1982 ◽

pp. 9-10

Author(s):

A. Guinier

Functors and Ordinal Notations III - Dilators and Gardens

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71894-9 ◽

1982 ◽

pp. 333-364 ◽

Cited By ~ 6

Author(s):

Jacqueline Vauzeilles

Keyword(s):

Ordinal Notations

Copyright page

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71867-6 ◽

1982 ◽

pp. iv

Relative Recursive Enumerability

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71892-5 ◽

1982 ◽

pp. 299-324 ◽

Cited By ~ 7

Author(s):

Robert I. Soare ◽

Michael Stob

Keyword(s):

Recursive Enumerability

Jacques Herbrand

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71871-8 ◽

1982 ◽

pp. 1-2

Author(s):

C. Chevalley

Case Distinctions are Necessary for Representing polynomials as Sums of Squares

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71878-0 ◽

1982 ◽

pp. 87-103 ◽

Cited By ~ 6

Author(s):

Charles N. Delzell

Keyword(s):

Sums Of Squares

Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For Σ2 - Formulas

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71876-7 ◽

1982 ◽

pp. 39-55 ◽

Cited By ~ 4

Author(s):

G. Kreisel

Keyword(s):

Herbrand’S Theorem ◽

Finiteness Theorems ◽

Herbrand's Theorem

Introducing Homogeneous Trees

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71881-0 ◽

1982 ◽

pp. 147-158 ◽

Cited By ~ 4

Author(s):

Herman R. Jervell

Keyword(s):

Homogeneous Trees

Effective Ramsey Theorems in the Projective Hierarchy

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics ◽

10.1016/s0049-237x(08)71883-4 ◽

1982 ◽

pp. 179-187

Author(s):

Alexander S. Kechris

Keyword(s):

Projective Hierarchy

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of MathematicsLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

Fifty Years of Deduction Theorems

Un Jour de Juillet 1931, Dans Le Massif D'oisans …

Functors and Ordinal Notations III - Dilators and Gardens

Copyright page

Relative Recursive Enumerability

Jacques Herbrand

Case Distinctions are Necessary for Representing polynomials as Sums of Squares

Finiteness Theorems in Arithmetic: An Application of Herbrand's Theorem For Σ2 - Formulas

Introducing Homogeneous Trees

Effective Ramsey Theorems in the Projective Hierarchy

Proceedings of the Herbrand Symposium - Studies in Logic and the Foundations of Mathematics
Latest Publications