Studies in Universal Logic - The Life and Work of Leon Henkin
Latest Publications

TOTAL DOCUMENTS

20
(FIVE YEARS 0)

H-INDEX

2
(FIVE YEARS 0)

Published By Springer International Publishing

9783319097183, 9783319097190
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals Changing a Semantics: Opportunism or Courage?

2014 ◽  
pp. 307-337 ◽  
Author(s):  
Hajnal Andréka ◽  
Johan van Benthem ◽  
Nick Bezhanishvili ◽  
István Németi

Henkin and the Suit

2014 ◽  
pp. 33-34
Author(s):  
Albert Visser

From Classical to Fuzzy Type Theory

2014 ◽  
pp. 225-247
Author(s):  
Vilém Novák
Keyword(s):  
Type Theory

The Countable Henkin Principle

2014 ◽  
pp. 179-201 ◽  
Author(s):  
Robert Goldblatt

The Henkin Sentence

2014 ◽  
pp. 249-263 ◽  
Author(s):  
Volker Halbach ◽  
Albert Visser

Henkin on Completeness

2014 ◽  
pp. 149-175 ◽  
Author(s):  
María Manzano

Henkin’s Theorem in Textbooks

2014 ◽  
pp. 135-148
Author(s):  
Enrique Alonso

Leon Henkin

2014 ◽  
pp. 3-22
Author(s):  
María Manzano ◽  
Enrique Alonso
Load More ...
Sign in / Sign up

Export Citation Format

Share Document