PageMenu- Home-

Ricerca Semplice .
Ricerca Avanzata .
Cerca Riviste .
Raffina risultati ricerca .
Preferenze .
Search Menu
- Ricerca Semplice .
- Ricerca Avanzata .
- Ricerca Nuovi Doc. .
- Cerca Riviste .
- Raffina risultati ricerca .
Bottom Menu
- Help
- Italiano .
- Inglese .
- Tedesco .
New Item Menu
- Ricerca Nuovi Doc. .
- Elenco Novità .
- Visualizza Carrello .
Legami
© LIBERO v6.4.1sp220816

You are here: > Search Simple Ricerca Risultati

Ricerca Risultati

La tua ricerca per 511.3 restituito 263 Documenti

Ordina Preferenze SELEZIONARE IL TITOLO PER INFORMAZIONI SULLA DISPONIBILITA'

Refine Results

Autori:

1 AUTHOR(30)
1 EDITOR(17)
1 MUELLER GERT H(8)
1 DALEN DIRK VAN(6)
1 EBBINGHAUS HEINZ DIETER(5)
Mostra altro Autori

Anno Pubbl.:

1 1996(12)
2 1998(12)
1 2003(11)
1 1995(9)
2 2001(9)
Mostra altro Anno Pubbl.

Soggetti:

1 MATHEMATICAL LOGIC AND FOUNDATIONS(248)
1 MATHEMATICAL LOGIC(217)
2 MATHEMATICS(217)
1 LOGIC(40)
2 LOGIC SYMBOLIC AND MATHEMATICAL(40)
Mostra altro Soggetti

Tipo:

1 Ebook(260)
1 Monograph (3)

Sezione:

1 General(3)

Lingua:

1 English(260)
1 Italiano(2)
1 French(1)

Localizzazione:

1 SISSA(3)

Display results in table format.

- Previous Shelf Top Next ShelfTop-

- Bounded arithmetic, propositional logic, and complexity theory Krajicek, Jan

510.6 KRA 1 -

Titolo: Bounded arithmetic, propositional logic, and complexity theory
Autore: Krajicek, Jan
Anno: 1995
Sezioni: General.

- Cellular automata machines: a new environment for modeling Margolus, Norman

517.97 TOF 2 -

Titolo: Cellular automata machines: a new environment for modeling
Autore: Margolus, Norman
Anno: 1987
Sezioni: General.

- Complexity and information Traub, Joseph Frederick 1932-

519.6 TRA 3 -

Titolo: Complexity and information
Autore: Traub, Joseph Frederick 1932-
Anno: 1998
Sezioni: General.

- Towards a General Theory of Classifications Parrochia, Daniel

Online Resource : Birkhäuser 4 -

Titolo: Towards a General Theory of Classifications
Autore: Parrochia, Daniel
Anno: 2013

- Institution-independent Model Theory Diaconescu, Răzvan

Online Resource : Birkhäuser 5 -

Titolo: Institution-independent Model Theory
Autore: Diaconescu, Răzvan
Anno: 2008

- Non solo calcoli: Domande e risposte sui perché della matematica Villani, Vinicio

Online Resource : Springer 6 -

Titolo: Non solo calcoli: Domande e risposte sui perché della matematica
Autore: Villani, Vinicio
Anno: 2012

- Logic: A Brief Course Mundici, Daniele

Online Resource : Springer 7 -

Titolo: Logic: A Brief Course
Autore: Mundici, Daniele
Anno: 2012

- Kolmogorov's Heritage in Mathematics Charpentier, Éric

Online Resource :Springer 8 -

Titolo: Kolmogorov's Heritage in Mathematics
Autore: Charpentier, Éric
Anno: 2007

- A Beginner's Guide to Discrete Mathematics Wallis, Walter D. 1941-

Online Resource: Birkhäuser 9 -

Titolo: A Beginner's Guide to Discrete Mathematics
Autore: Wallis, Walter D. 1941-
Anno: 2012

- Proofs and Fundamentals: A First Course in Abstract Mathematics Bloch, Ethan D. 1956-

Online Resource: Birkhäuser 10 -

Titolo: Proofs and Fundamentals: A First Course in Abstract Mathematics
Autore: Bloch, Ethan D. 1956-
Anno: 2003

- Previous Shelf Bottom Next ShelfBottom-