ALBERT — All Library Books, journals and Electronic Records Telegrafenberg

1

Unbekannt

Tools and techniques in modal logic (1999)

Kracht, Marcus

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.46 ; Modality (Logic)

Seiten: Online-Ressource (xiii, 559 pages)

Ausgabe: 1st ed

ISBN: 9780444500557

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=142

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

2

Unbekannt

Computable structures and the hyperarithmetical hierarchy (2000)

Ash, C. J. ; Knight, Julia

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.59 ; Computable functions

Seiten: Online-Ressource (xv, 346 pages)

Ausgabe: 1st ed

ISBN: 9780444500724

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=144

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

3

Unbekannt

Admissibility of logical inference rules (1997)

Rybakov, Vladimir V.

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9 ; Inference ; Logic, Symbolic and mathematical

Seiten: Online-Ressource (617 pages)

ISBN: 9780444895059

URL: http://www.sciencedirect.com/science/bookseries/0049237X/136

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

4

Unbekannt

Quantum theoretic machines : what is thought from the point of view of physics (2000)

Stern, August

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.9 ; Brain - Mathematical models ; Cognition ; Cognition - Mathematical models ; Matrix logic ; Models, Theoretical ; Physics ; Quantum theory

Seiten: Online-Ressource (xii, 588 pages)

ISBN: 9780444826183

URL: http://www.sciencedirect.com/science/book/9780444826183

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

5

Unbekannt

Handbook of computability theory (1999)

Griffor, Edward R.

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 511.3 ; LC QA9.59 ; Computable functions

Seiten: Online-Ressource (xii, 727 pages)

Ausgabe: 1st ed

ISBN: 9780444898821

URL: http://www.sciencedirect.com/science/publication?issn=0049237X&volume=140

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

6

Unbekannt

Handbook of Algebra, Volume 1 (1996)

Hazewinkel, Michiel

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 512 ; LC QA155.2 ; Algebra

Seiten: Online-Ressource (xix, 915 pages)

ISBN: 9780444822123

URL: http://www.sciencedirect.com/science/publication?issn=15707954&volume=1

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext

7

Unbekannt

Handbook of Algebra, Volume 2 (2000)

Hazewinkel, Michiel

Amsterdam ; New York : Elsevier

zur Merkliste hinzufügen auf der Merkliste

Details

Schlagwort(e): DDC 512 ; LC QA155.2 ; Algebra

Seiten: Online-Ressource (xix, 878 pages)

ISBN: 9780444503961

URL: http://www.sciencedirect.com/science/publication?issn=15707954&volume=2

Sprache: Englisch

Permalink

	Standort	Signatur	Erwartet	Verfügbarkeit

Andere fanden auch interessant ...

E-BOOK

Volltext