Schöning, Uwe.

Logik für Informatiker / Uwe Schöning
(Visualizza in formato Marc21)

Pubblicazione Mannheim : B. I. Wissenschaftsverlag, [1989]
Edizione 2., überarbeitete Aufl
Descrizione fisica 172 p. ; 21 cm
Collana Reihe Informatik ; 056
Titolo uniforme di collana Reihe Informatik ; 056.
Classe di argomenti Filosofia. Logica. Epistemologia. Gnoseologia -- Logica matematica - Logica simbolica
Classificazione 642 G
Livello bibliografico Monografia
Formato Materiale linguistico
Lingua Tedesco
Record Nr. 220899BIB
Copie disponibili
  Barcode Inventario Posseduto Nr. item Locazione Collocazione Stato
Pontificia Università Gregoriana
Pontificia Università Gregoriana - Biblioteca
1. 258765 92 172 Magazzino Mag. 642 G 37 Disponibile
Documenti simili
1 - 10 di 119 risultati trovati  1 2 3 4 5 6 7 8 9 10 11 12 > >>
Logica e aritmetica / Friedrich Gottlob Frege ; Scritti raccolti a cura di Corrado Mangione
Frege, Gottlob, 1848-1925
Completezza, compattezza e indecidibilità : un'introduzione alla logica matematica / Alfred B. Manaster ; traduzione di Serenella Cerrito e Marta Cialdea
Manaster, Alfred B.
Lineamenti di logica matematica / Ettore Casari
Casari, Ettore
Nove lezioni di logica simbolica / Innocenzo Bochenski
Bocheński, Innocenz Marie Joseph, o.p., 1902-1995
The logic of decision / Richard C. Jeffrey
Jeffrey, Richard C.
Intensional logic and the metaphysics of intentionality / Edward N. Zalta
Zalta, Edward N.
Philosophy of logics / Susan Haack
Haack, Susan
Logik / Horst Wessel
Wessel, Horst
A companion to modal logic / G.E. Hughes, M.J. Cresswell
Hughes, George Edward, 1918-
Grundriss der Logistik / Innocenz M. Bochenski ; Aus dem Französichen übersetzt, neu bearbeitet und erweitert von Albert Menne
Bocheński, Innocenz Marie Joseph, o.p., 1902-1995