Sveučilište u Zagrebu, Fakultet organizacije i informatike, Knjižnica
Početak
(current)
O knjižnici
Katalog
Novi naslovi
Abecedni pregled
Osobe
Godine izdanja
Stručne skupine
Nakladničke cjeline
Ključne riječi
Za slijepe i slabovidne
Kontakt
Prijavite se
E-mail:
Lozinka
Ulaz
Prijava putem AAI SSO sutava:
U slučaju neuspješne prijave provjerite
svoje podatke u knjižnici.
Pomoć za disleksiju
Povećaj slova
Smanji slova
Osnovna veličina slova
HRV
|
ENG
|
GER
|
ITA
AAI Login
×
...
Hyperproof
Tekstualna građa, tiskana
Citiranje
EXPORT
EndNote
RefMan (RIS)
MARC
MARCXML
PERMALINK
https://library.foi.hr/lib/knjiga.php?B=404&item=11304
+Wish lista
+Rezervacija
MARC 21 Zapis - ID: 11304
×
Sadržaj
Indeks
Signatura
510.6 BAR H
Autor
BARWISE, Jon
Naslov
Hyperproof / Jon Barwise, John Etchemendy ; program by Gerard Allwein, Mark Greaves and Michael Lenz. -
Impresum
Stanford : CLSI Publications, 1994. -
Materijalni opis
XVII, 255 str. ; 24 cm
Nakladnička cjelina
(CSLI Lecture Notes : 42)
UDK
510.6:164
MATEMATIČKA LOGIKA
ISBN
1-881526-11-9
Jezik
Engleski
Ključne riječi
LOGIKA
MATEMATIKA
SIMBOLIKA
Inv.br
Info
Signatura
A9712776
Dostupno
510.6 BAR H
Fakultet organizacije i informatike
- Pavlinska 2,
Varaždin -
Tel: 042 390 878, 042 390 877
Sva pojavljivanja:
×
...
Katalog
Za slijepe i slabovidne
Djela istog autora
Turing’s World 3.0 for the Macintosh : an introduction to computability theory / Jon Barwise, John Etchemendy. -
The language of first-order logic : including the IBM-compatible Windows version of TARSKI’S world 4.0 / Jon Barwise, John Etchemendy
Language, proof and logic / Jon Barwise, John Etchemendy ; in collaboration with Gerard Allwein, Dave Barker-Plummer, and Albert Liu. -