Přeskočit na obsah
Váš účet
Odhlásit
Přihlášení
English
Informace o aktuálním provozu knihoven sledujte na jejich
stránkách
.
Ve čtvrtek 8. 1. 2026 od 21:00 do 22:00 dojde k plánované technické odstávce knihovního katalogu. Jako nouzové řešení lze použít starý katalog na adrese http://aleph.muni.cz
Vše
Název
Autor
Téma
ISBN/ISSN
Signatura
Čárový kód
Systémové číslo
Hledat
Pokročilé vyhledávání
Pokročilé vyhledávání
Filtr e-prezenčka
Logic /
Popis
Citace.com
×
Citace.com
Poslat emailem
Exportovat záznam
Exportovat do RefWorks
Exportovat do EndNoteWeb
Exportovat do EndNote
Exportovat do MARC
Exportovat do MARCXML
Exportovat do RDF
Exportovat do BibTeX
Exportovat do RIS
Do oblíbených
Logic /
Uloženo v:
Podrobná bibliografie
Hlavní autor:
Hodges, Wilfrid, 1941-
(Autor)
Typ dokumentu:
Kniha
Jazyk:
Angličtina
Vydáno:
London :
Penguin Books,
2001.
Vydání:
2nd ed.
Témata:
logika
matematická logika
symbolická logika
logic
mathematical logic
symbolic logic
monografie
monographs
Přejít na ObalkyKnih.cz
Jednotky
Popis
MARC21
Popis
Fyzický popis:
vii, 292 s.
ISBN:
0-14-100314-6
9780141003146
Podobné jednotky
Logic and structure /
Autor: Dalen, D. van, 1932-
Vydáno: (2013)
Papers in philosophical logic /
Autor: Lewis, David Kellog, 1941-2001
Vydáno: (1998)
Theorem proving in higher order logics : 20th International Conference, TPHOLs 2007 : Kaiserslautern, Germany, September 10-13, 2007 : proceedings /
Vydáno: (2007)
Theorem proving in higher order logics : 21th International Conference, TPHOLs 2008 : Montreal, Canada, August 18-21, 2008 : proceedings /
Vydáno: (2008)
The journal of symbolic logic
Vydáno: (1936)
×
Načítá se...