Saxo Access
Indkøbskurv

PBC

Vis søgefilter

Vis mig kun

Structural Analysis of Non-Classical Logics

Structural Analysis of Non-Classical Logics

Lin, Hanti

875,33 DKK

Category Theory

Category Theory

Rosolini, Giuseppe

436,85 DKK

Zur Logik der Logik-Programmierung

Zur Logik der Logik-Programmierung

Beckstein, Clemens

343,95 DKK

Einleitung in die Mengenlehre

Einleitung in die Mengenlehre

Fraenkel, Abraham Adolf

265,81 DKK

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Junktoren und Quantoren. Baumverfahren. Sequenzenlogik. Dialogspiele. Axiomatik. Natürliches Schließen. Kalkül der Positiv- und Negativteile. Spielarten der Semantik

Stegmuller, Wolfgang

154,35 DKK

Automation of Reasoning

Automation of Reasoning

Wrightson, G.

875,33 DKK

Automated Theorem Proving

Automated Theorem Proving

Bibel, Wolfgang

692,63 DKK

Around Classification Theory of Models

Around Classification Theory of Models

Shelah, Saharon

436,85 DKK

Reduktionssysteme

Reduktionssysteme

Avenhaus, Jurgen

343,95 DKK

Decidable Theories

Decidable Theories

Siefkes, D.

337,32 DKK

Théorie des ensembles

Théorie des ensembles

Bourbaki, N.

238,03 DKK

Formal Concept Analysis

Formal Concept Analysis

Rudolph, Sebastian

436,85 DKK

Petri-Netze

Petri-Netze

Wimmel, Harro

177,19 DKK

Berechenbarkeit

Berechenbarkeit

Felscher, Walter

322,59 DKK

Recent Trends in Algebraic Development Techniques

Recent Trends in Algebraic Development Techniques

Montanari, Ugo

436,85 DKK

Hilary Putnam on Logic and Mathematics

Hilary Putnam on Logic and Mathematics

Cook, Roy T.

1021,49 DKK

Mathematisch-strukturelle Grundlagen der Informatik

Mathematisch-strukturelle Grundlagen der Informatik

Zeitz, P.

192,41 DKK

Parameterized Complexity Theory

Parameterized Complexity Theory

Grohe, M.

656,09 DKK

Models of Computation in Context

Models of Computation in Context

Soskova, Alexandra

436,85 DKK

Enumerative Theory of Conics after Halphen

Enumerative Theory of Conics after Halphen

Xambo-Descamps, Sebastian

223,05 DKK

Mathematics of Fuzzy Sets and Fuzzy Logic

Mathematics of Fuzzy Sets and Fuzzy Logic

Bede, Barnabas

1240,73 DKK

Category Theory

Category Theory

Tholen, W.

260,50 DKK

Concept Lattices

Concept Lattices

Eklund, Peter

436,85 DKK

Logical Foundations of Computer Science

Logical Foundations of Computer Science

Nerode, Anil

436,85 DKK

Computer Science Logic

Computer Science Logic

Seyr, Katrin

436,85 DKK

Logic, Rationality, and Interaction

Logic, Rationality, and Interaction

Yamada, Tomoyuki

436,85 DKK

Field Arithmetic

Field Arithmetic

Jarden, Moshe

692,63 DKK

Structural Complexity II

Structural Complexity II

Gabarro, Joaquim

948,41 DKK

Types for Proofs and Programs

Types for Proofs and Programs

Smith, Jan

436,85 DKK

L. E. J. Brouwer: Intuitionismus

L. E. J. Brouwer: Intuitionismus

Rowe, David E.

253,01 DKK