Štátna vedecká knižnica v Košiciach - Hlavná 10, 042 30 Košice, tel. +421918245888, e-mail: svkk@svkk.sk Skip to content Forgot Password
VuFind
  • 0 items (Full)
  • Sign up
  • Log Out
  • Institutional Login
  • Studyroom
    • Book studyroom
    • American Center
    • Serial studyroom
    • Germen Library
    • Studyroom Main Hall
    • Regional publication
    • Rare and old books
  • Digital collection
    • Books
    • Newspapers
    • E-book
    • Records
  • Language
    • Slovenčina
    • English
Advanced
  • Channels
  • Sheaves in geometry and logic. :
Search for more channels:

Similar Items: Sheaves in geometry and logic. :

The logical basis for computer programming. Volume 2., Deductive systems. /

Fuzzy Logic : Einfűhrung in Theorie und Anwendungen /

Logic : key concepts in philosophy /

Informal logic. /

Bounded arithmetic, propositional logic, and complexity theory

Gas source molecular beam epitaxy. : Growth and properties of phosphorus containing 3-5 heterostructures. /

A concise introduction to logic. /

Discovering formal logic. /

Philosophy of logic /

Optical properties of metal clusters. /

Handbook of the history of logic. Volume 1, Greek, Indian and Arabic logic /

Handbook of the history of logic. Volume 5, Logic from Russell to church /

Handbok of the history of logic. Volume 7 / Logic and the modalities in the twentieth century

Od jazyka k logice : filozofický úvod do moderní logiky /

Proof and disproof in formal logic : an introduction for programmers /

Základy elementárnej geometrie pre učiteľstvo 1. stupňa základnej školy. /

Reports on mathematical logic. /

Logic and structure. /

Základy elementárnej geometrie. : Zbierka úloh štúdium učiteľstva pre 1. stupeň základnej školy. /

Základy elementárnej geometrie pre štúdium učiteľstva 1. stupňa ZŠ. /

Author: Mac Lane, Saunders, 1909-2005

Categories for the working mathematician /

Przeglad algebry współczesnej /

Prehľad modernej algebry : Garrett Birkhoff, Saunders Mac Lane.

Algebra /

Gomologija /

Algebra /

Sheaves in geometry and logic. : A first introduction to topos theory. /

Author: Moerdijk, Ieke

Sheaves in geometry and logic. : A first introduction to topos theory. /


Search Options

  • Search History
  • Advanced Search

Find More

  • Browse the Catalog
  • Browse Alphabetically
  • Explore Channels
  • New Items

More opac

  • Historical fonds
  • Bibliography
  • Online name card catalog

Need Help?

  • Search Tips
  • FAQs