Menu Expand
Login
Search Titles
Search
Catalogue (Books)
Publishers
Mathematical logic
Subjects (Books)
Mathematics & Science
Mathematics
Mathematical foundations
Mathematical logic
Advanced search
Metadata Search
Availability
All Items
Open Access
Items I can access
Subjects (Books)
Any
Medicine & Nursing
Reference, Information & Interdisciplinary subjects
Earth Sciences, Geography, Environment, Planning
Technology, Engineering, Agriculture
Computing & Information Technology
History & Archaeology
Society & Social Sciences
Health, Relationships & Personal development
The Arts
Biography, Literature & Literary studies
Economics, Finance, Business & Management
Law
Sports & Active outdoor recreation
Mathematics & Science
Lifestyle, Hobbies & Leisure
Language
Any
English
German
French
Italian
Publication Year
(From)
(To)
Search
Results
(41–50 out of 65)
Sort by:
Title, ascending
Title, descending
Publication date, ascending
Publication date, descending
Newest added, ascending
Newest added, descending
BOOK
Handbook of Proof Theory
S.R. Buss
(1998)
Info
BOOK
Fuzzy Controllers Handbook
Leon Reznik
(1997)
Info
BOOK
Admissibility of Logical Inference Rules
V.V. Rybakov
(1997)
Info
BOOK
Handbook of Logic and Language
J. van Benthem
A. ter Meulen
(1996)
Info
BOOK
Principles of Logic and Logic Programming
G. Metakides
A. Nerode
(1996)
Info
BOOK
Logical Frameworks for Truth and Abstraction
A. Cantini
(1996)
Info
BOOK
Problem Solving: Methods, Programming and Future Concepts
O.V. German
D.V. Ofitserov
(1995)
Info
BOOK
Intelligent Systems in Process Engineering, Part II: Paradigms from Process Operations
John L. Anderson
George Stephanopoulos
Chonghun Han
(1995)
Info
BOOK
Selected Papers on Automath
R.P. Nederpelt
J.H. Geuvers
R.C. de Vrijer
(1994)
Info
BOOK
Computability, Complexity, and Languages
Martin Davis
Ron Sigal
Elaine J. Weyuker
(1994)
Info
‹
1
2
3
4
5
6
7
›
We use cookies to ensure that you get the best experience on our website.
Learn more about how we use cookies.
Accept all cookies
Reject non-essential cookies