Collegium Logicum
Latest Publications

TOTAL DOCUMENTS

7

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By Springer Vienna

9783211826461, 9783709193945

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Methods of Functional Extension

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_7 ◽

1995 ◽

pp. 87-122 ◽

Cited By ~ 4

Author(s):

Matthias Baaz ◽

Alexander Leitsch

Keyword(s):

Functional Extension

Download Full-text

Automated Deduction and Integer Programming

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_6 ◽

1995 ◽

pp. 67-86

Author(s):

Reiner Hähnle

Keyword(s):

Integer Programming ◽

Automated Deduction

Download Full-text

Paradoxien der Prognose und der Evaluation: Eine fixpunkttheoretische Analyse

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_5 ◽

1995 ◽

pp. 54-66 ◽

Cited By ~ 1

Author(s):

Walter J. Gutjahr

Download Full-text

Existenz und Negation in Mathematik und Logik

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_4 ◽

1995 ◽

pp. 37-53

Author(s):

Erwin Engeler

Download Full-text

Vollständigkeit als Ziel historischer Explikation. Eine Fallstudie

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_3 ◽

1995 ◽

pp. 26-36

Author(s):

Detlef D. Spalt

Download Full-text

Some issues on Gödel’s unpublished philosophical manuscripts

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_2 ◽

1995 ◽

pp. 8-25

Author(s):

Francisco A. Rodríguez-Consuegra

Download Full-text

The Last Months of Gerhard Gentzen in Prague

Collegium Logicum ◽

10.1007/978-3-7091-9394-5_1 ◽

1995 ◽

pp. 1-7 ◽

Cited By ~ 1

Author(s):

Přemysl Vihan

Download Full-text