Skip to main content
ETH Zurich
ETH Library
Research Collection
Help
English
English
Deutsch
Research Collection
search
Search
search
lock
Login
Statistics
Browse
Home
The IfCoLog Journal of Logics and their Applications
Journal:
The IfCoLog Journal of Logics and their Applications
Loading...
Abbreviation
Publisher
College Publications
Journal Volumes
ISSN
2055-3706
2055-3714
Description
Show all metadata
Publications
Research Data
3 results
Back to results
Filters
Author / Producer
3
Wirth, Claus-Peter
Search author name
Submit
Publication Type
3
Journal Article
Search publication type
Submit
Date
Start
End
Submit
2017
3
Availability
3
Metadata only
Search Available
Submit
ETH Publication
3
yes
Search ETH Publication
Submit
Reset filters
search
Search
Search Tools
Search Results
Publications
1 - 3 of 3
keyboard_arrow_down
10 Results Per Page
check
1
check
5
check
10
check
20
check
40
check
60
check
80
check
100
keyboard_arrow_down
Descending
check
Ascending
check
Descending
Loading...
A Simplified and Improved Free-Variable Framework for Hilbert’s epsilon as an Operator of Indefinite Committed Choice
Item type:
Journal Article
Wirth, Claus-Peter
(
2017
)
Show more
The IfCoLog Journal of Logics and their Applications
Loading...
The Explicit Definition of Quantifiers via Hilbert’s epsilon is Confluent and Terminating
Item type:
Journal Article
Wirth, Claus-Peter
(
2017
)
Show more
The IfCoLog Journal of Logics and their Applications
Loading...
Barry Hartley Slater (1936–2016): A Logical Obituary
Item type:
Journal Article
Wirth, Claus-Peter
(
2017
)
Show more
The IfCoLog Journal of Logics and their Applications
Publications
1 - 3 of 3
Show statistical information