Logic Colloquium '90
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

3
(FIVE YEARS 0)

Published By Cambridge University Press

9781316718254
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

On complete filters

2017 ◽  
pp. 62-65
Author(s):  
Hans-Dieter Bonder

Absoluteness for projective sets

2017 ◽  
pp. 145-154 ◽  
Author(s):  
Haim Judah

Decidability questions for theories of modules

2017 ◽  
pp. 266-280
Author(s):  
Françoise Point

New foundations for mathematical theories

2017 ◽  
pp. 122-144 ◽  
Author(s):  
Jaakko Hintikka
Keyword(s):  
New Foundations

scholarly journals A note on the ordinal analysis of KPM

2017 ◽  
pp. 1-9 ◽  
Author(s):  
Wilfried Buchholz
Keyword(s):  
Ordinal Analysis

On similarities of complete theories

2017 ◽  
pp. 259-265
Author(s):  
T. G. Mustafin
Keyword(s):  
Complete Theories

Foreword

2017 ◽  
pp. v-vi
Author(s):  
Juha Oikkonen ◽  
Jouko Väänänen

About the irreflexivity hypothesis for free left distributive magmas

2017 ◽  
pp. 46-61
Author(s):  
Patrick Dehornoy
Keyword(s):  
Free Left

A transfinite version of Puiseux's theorem, with applications to real closed fields

2017 ◽  
pp. 250-258
Author(s):  
M. H. Mourgues ◽  
J.-P. Ressayre
Keyword(s):  
Real Closed Fields ◽  
Closed Fields

Gentzen-type systems and resolution rule. Part II. Predicate logic

2017 ◽  
pp. 163-190 ◽  
Author(s):  
Grigori Mints
Keyword(s):  
Predicate Logic ◽  
Type Systems ◽  
Resolution Rule
Load More ...
Sign in / Sign up

Export Citation Format

Share Document