A philosophical introduction to higher-order logics /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Bacon, Andrew (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: New York : Routledge, Taylor & Francis Group, 2024
Vydání:First published
Témata:
LEADER 01561nam a22004337i 4500
001 MUB01006560165
003 CZ BrMU
005 20251201113026.0
008 251124s2024 xxu||||| |||||||||||eng d
020 |a 978-0-367-48301-2  |q (pbk) 
020 |a 978-0-367-48302-9  |q (hbk) 
040 |a BOD001  |b cze  |e rda 
072 7 |a 16  |x Logika  |2 Konspekt  |9 5 
080 |a 164.2  |2 MRF 
080 |a 510.6  |2 MRF 
080 |a 164.01  |2 MRF 
080 |a (075)  |2 MRF 
100 1 |a Bacon, Andrew  |4 aut 
245 1 2 |a A philosophical introduction to higher-order logics /  |c Andrew Bacon 
250 |a First published 
264 1 |a New York :  |b Routledge, Taylor & Francis Group,  |c 2024 
300 |a xviii, 459 stran :  |b ilustrace 
336 |a text  |b txt  |2 rdacontent 
337 |a bez média  |b n  |2 rdamedia 
338 |a svazek  |b nc  |2 rdacarrier 
650 0 7 |a predikátová logika  |7 ph124584  |2 czenas 
650 0 7 |a matematická logika  |7 ph122671  |2 czenas 
650 0 7 |a symbolická logika  |7 ph126346  |2 czenas 
650 0 9 |a predicate calculus  |2 eczenas 
650 0 9 |a mathematical logic  |2 eczenas 
650 0 9 |a symbolic logic  |2 eczenas 
655 7 |a učebnice  |7 fd133770  |2 czenas 
655 9 |a textbooks  |2 eczenas 
CAT |a REZACOVA  |b 02  |c 20251124  |l MUB01  |h 1051 
CAT |a BEHANOVA  |b 02  |c 20251201  |l MUB01  |h 1130 
M54 |a 16 
994 - 1 |l MUB01  |l MUB01  |m BOOK  |1 FF  |a FF - ustredni knihovna  |2 VYBER  |b volný výběr  |3 16-BACO1-1  |5 2572507797  |4 *  |8 20251124  |f 74  |f Měsíční  |r 20251124  |s kup 
AVA |a FIL50  |b FF  |c volný výběr  |d 16-BACO1-1  |e available  |t K dispozici  |f 1  |g 0  |h N  |i 0  |j VYBER