Štátna vedecká knižnica v Košiciach
- Hlavná 10, 042 30 Košice, tel. +421918245888, e-mail: svkk@svkk.sk
Showing
1 - 2
results of
2
for search '
"lambda calculus"
'
Skip to content
Forgot Password
Toggle navigation
VuFind
0
items
(Full)
Sign up
Log Out
Institutional Login
Studyroom
Book studyroom
American Center
Serial studyroom
Germen Library
Studyroom Main Hall
Regional publication
Rare and old books
Digital collection
Books
Newspapers
E-book
Records
Language
Slovenčina
English
All Fields
Title
Author
Subject
Call Number
Barcode
Prírastkové číslo
ISBN/ISSN
Tag
Find
Advanced
Search Results - "lambda calculus"
Suggested Topics within your search.
Suggested Topics within your search.
dejiny
1
Exclude matching results
logika
1
Exclude matching results
počítačová veda
1
Exclude matching results
počítačové modelovanie
1
Exclude matching results
Showing
1 - 2
results of
2
for search '
"lambda calculus"
'
query time: 0.01s
Refine Results
Results per page
10
20
40
60
80
100
Sort
Relevance
Date Descending
Date Ascending
Author
Title
List
Grid
Loading…
Handbook of the history of logic. Volume 5, Logic from Russell to church /
Loading…
Models of Computation : an introduction to computability theory /
Search Tools:
RSS Feed
–
Save Search
Back
Refine Results
Institution
Hlavný fond
2
Exclude matching results
Format
Book
2
Exclude matching results
Author
Fernández, Maribel
1
Exclude matching results
Gabbay, Dov M., 1945-
1
Exclude matching results
Woods, John
1
Exclude matching results
Language
Anglický
2
Exclude matching results
Genre
učebnice
1
Exclude matching results
zborníky
1
Exclude matching results
Year of Publication
From:
To:
