Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Melvin Fitting 35 träffar

Titel Författare År Språk
1 Justification logic: reasoning with reasons Artemov 2019 Engelska
2 Intuitionistic Logic Model Theory and Forcing Melvin Chris. Fitting 1969 Okänt
3 Fundamentals of Generalized Recursion Theory (Studies in logic and the foundations of mathematics v. 105) Melvin Fitting 1981 Okänt
4 Computability theory, semantics, and logic programming Melvin Fitting 1987 Engelska
5 First-order logic and automated theorem proving Melvin Fitting cop. 1996 Engelska
6 First-order modal logic Melvin Fitting c1998 Engelska
7 Fundamentals of generalized recursion theory Melvin Fitting cop. 1981 Engelska
8 Intuitionistic logic - model theory and forcing Melvin Fitting 1969 Engelska
9 Intuitionistic logic model theory and forcing Melvin Fitting 1969 Engelska
10 Proof methods for modal and intuitionistic logics Melvin Fitting cop. 1983 Engelska
11 Types, tableaus, and Gödel's God Melvin Fitting 2002 Engelska
12 Set theory and the continuum problem Raymond M. Smullyan 2010 Engelska
13 Justification logic - reasoning with reasons Sergei Artemov 2019 Engelska
14 Beyond Two: Theory and Applications of Multiple-Valued Logic 2003 Okänt
15 First-Order Logic and Automated Theorem Proving / by Melvin Fitting Melvin. author. Fitting uuuu-uuuu Okänt
16 First-Order Logic and Automated Theorem Proving electronic resource / by Melvin Fitting Melvin. author. Fitting uuuu-uuuu Okänt
17 First-order modal logic Melvin Author Fitting uuuu-uuuu Okänt
18 First-Order Modal Logic electronic resource / by Melvin Fitting, Richard L. Mendelsohn Melvin. author. Fitting uuuu-uuuu Okänt
19 First-order logic and automated theorem proving Melvin Chris Fitting cop. 1990 Engelska
20 Intuitionistic logic, model theory and forcing electronic resource Melvin Chris. Fitting uuuu-uuuu Okänt

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.