Follow us on
Search Search in the site

Search results

Search Results

Results: 1-120 of 2184903

Active filters:

Simili a: Computability & unsolvability
Category: Testo
Computability & unsolvability
Testo
Computability & unsolvability

Davis, Martin <1928-2023>

Computability : a mathematical sketchbook
Testo
Computability : a mathematical sketchbook

Bridges, Douglas S. <1945- >

Logica matematica
Testo
Logica matematica

Toffalori, Carlo

Medieval Europe
Testo
Medieval Europe

Davis, Henry William Carless <1874-1928>

Lineamenti di logica matematica
Testo
Lineamenti di logica matematica

Casari, Ettore <1933-2019>

A mathematical introduction to logic
Testo
A mathematical introduction to logic

Enderton, Herbert B.

Logica simbolica e diritto
Testo
Logica simbolica e diritto

Amato, Nicol

Mathematical logic
Testo
Mathematical logic

Kleene, Stephen Cole

Esperienza a-ah!
Testo
Esperienza a-ah!

Gardner, Martin <1914-2010>

Foundations of logic programming
Testo
Foundations of logic programming

Lloyd, John Wylie

Introduction to mathematical logic
Testo
Introduction to mathematical logic

Mendelson, Elliott

Logica matematica per l'informatica
Testo
Logica matematica per l'informatica

Ben-Ari, Mordechai <1948- >

L'esperienza matematica : da Talete al computer
Testo
L'esperienza matematica : da Talete al computer

Davis, Philip J. <1923-2018>

Logica matematica
Testo
Logica matematica

Burali-Forti, Cesare

Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987
Testo
Atti del Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee : Cesena, 7-10 gennaio 1987

Congresso Temi e prospettive della logica e della filosofia della scienza contemporanee <1987

Formale Logik
Testo
Formale Logik

Bocheński, Joseph M.

Logica fuzzy : teoria ed applicazioni
Testo
Logica fuzzy : teoria ed applicazioni

Veronesi, Massimiliano

Circulant matrices
Testo
Circulant matrices

Davis, Philip J. <1923-2018>

The mathematical experience
Testo
The mathematical experience

Davis, Philip J. <1923-2018>

2: Logica
Testo
2: Logica

Congresso Nuovi problemi della logica e della filosofia della scienza <1990

Varieties of lattices
Testo
Varieties of lattices

Jipsen, Peter

Lezioni di logica matematica
Testo
Lezioni di logica matematica

Lolli, Gabriele

Logic programming and automated reasoning : international conference LPAR '92
Testo
Logic programming and automated reasoning : international conference LPAR '92

International conference on logic programming and automated reasoning <3. ; 1992

Lineamenti di logica matematica
Testo
Lineamenti di logica matematica

Casari, Ettore <1933-2019>

Elementi di logica matematica
Testo
Elementi di logica matematica

Mangione, Corrado

Theory of formal systems
Testo
Theory of formal systems

Smullyan, Raymond

Elementi di logica matematica
Testo
Elementi di logica matematica

Mangione, Corrado

The theory of ultrafilters
Testo
The theory of ultrafilters

Comfort, William Wistar

Residuation theory
Testo
Residuation theory

Blyth, Thomas Scott

Annibale Pastore : istanze e limiti della logica del potenziamento
Testo
Annibale Pastore : istanze e limiti della logica del potenziamento

Russo, Giuseppe <omonimi non identificati>

Logic and social choice
Testo
Logic and social choice

Murakami, Yasusuke

Atti del Congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990
Testo
Atti del Congresso Nuovi problemi della logica e della filosofia della scienza : Viareggio, 8-13 gennaio 1990

Congresso Nuovi problemi della logica e della filosofia della scienza <1990

Markov models and optimization
Testo
Markov models and optimization

Davis, Mark Herbert Ainsworth

Mathematical logic
Testo
Mathematical logic

Shoenfield, Joseph Robert

1: Somatologie
Testo
1: Somatologie

Martin, Rudolf

Da Euclide a Godel
Testo
Da Euclide a Godel

Lolli, Gabriele

Logica matematica
Testo
Logica matematica

Ferrater Mora, Jos

Sperimentare la logica
Testo
Sperimentare la logica

Dalla Chiara, Maria Luisa

Beweistheorie
Testo
Beweistheorie

Schütte, Kurt

Nomography and empirical equations
Testo
Nomography and empirical equations

Davis, Dale Stroble <1901- >

First-order logic
Testo
First-order logic

Smullyan, Raymond

Automata, languages and machines
Testo
Automata, languages and machines

Eilenberg, Samuel

Proof theory
Testo
Proof theory

Schütte, Kurt

Filter results