Showing
1 - 1
results of
1
for search '
'
Skip to content
Feedback
Your Account
Log Out
Login
Česky
For information on the current operation of libraries, see their
websites
.
All Fields
Title
Author
Subject
ISBN/ISSN
Call Number
Barcode
System Number
Find
Advanced Search
Advanced Search
Retain current filters
author_facet:"Sterrett, S. G."
topic_facet:"teorie důkazu"
Search:
Showing
1 - 1
results of
1
for search '
'
, query time: 0.01s
Refine Results
Sort
Relevance
Date Descending
Date Ascending
Author
Title
1
Three views of logic : mathematics, philosophy, and computer science /
by
Loveland, Donald W.
,
Hodel, Richard E.
,
Sterrett, S. G.
Published 2014
Located:
Loading...
Book
Loading...
Save to List
Saved in:
Holdings
Search Tools:
Get RSS Feed
—
Email this Search
—
Save Search
Back
Narrow Search
Remove Filters
Clear Filter
Author: Sterrett, S. G.
Clear Filter
Suggested Topics: teorie důkazu
Library
Faculty of Arts
1
Format
Book
1
Author
Hodel, Richard E.
1
Loveland, Donald W.
1
Sterrett, S. G.
Language
English
1
Suggested Topics
Obecné úvahy o matematice
1
computability theory
1
computer science
1
logic
1
logika
1
matematická logika
1
more ...
mathematical logic
1
počítačová věda
1
proof theory
1
teorie důkazu
teorie vyčíslitelnosti
1
see all ...
less ...
Genre
textbooks (higher)
1
učebnice vysokých škol
1
Year of Publication
From:
To:
×
Loading...